Difference between revisions of "ApCoCoA-1:BBF.RetrieveBorderBasis"

From ApCoCoAWiki
m (Bot: fixed typo)
m (fixed links to namespace ApCoCoA)
Line 26: Line 26:
 
</example>
 
</example>
 
   </description>
 
   </description>
   <see>BBF.RetrieveBorderBasisLTs</see>
+
   <see>ApCoCoA-1:BBF.RetrieveBorderBasisLTs|BBF.RetrieveBorderBasisLTs</see>
   <see>BBF.RetrieveBorderBasisPolyByLT</see>
+
   <see>ApCoCoA-1:BBF.RetrieveBorderBasisPolyByLT|BBF.RetrieveBorderBasisPolyByLT</see>
   <see>BB.BBasis</see>
+
   <see>ApCoCoA-1:BB.BBasis|BB.BBasis</see>
 
   <types>
 
   <types>
 
     <type>borderbasis</type>
 
     <type>borderbasis</type>

Revision as of 08:00, 7 October 2020

BBF.RetrieveBorderBasis

Retrieves a computed border basis.

Syntax

BBF.RetrieveBorderBasis():LIST

Description

Please note: The function(s) explained on this page is/are using the ApCoCoABBFServer. You will have to start the ApCoCoABBFServer in order to use it/them.

This command retrieves the computed border basis from the ApCoCoABBFServer.

  • @return List of border basis polynomials.

Example

Use ZZ/(32003)[x, y, z],DegLex;
I:=Ideal(-4*x^2 + 1, -4*y^2 - 1, 5*z^2);
BBF.Init(I);
BBF.Finish();
-- After computation has finished:
BBF.RetrieveBorderBasis();

Output:
[z^2, y^2 + 8001, x^2 - 8001, yz^2, y^2z + 8001z, xz^2, xy^2 + 8001x, x^2z - 8001z, x^2y - 8001y, xyz^2, xy^2z + 8001xz, x^2yz - 8001yz]

BBF.RetrieveBorderBasisLTs

BBF.RetrieveBorderBasisPolyByLT

BB.BBasis