Difference between revisions of "ApCoCoA-1:BBF.RetrieveBorderBasisLTs"
From ApCoCoAWiki
(Moved to other category) |
(Added parameter and return value list.) |
||
| Line 10: | Line 10: | ||
The second function with parameter <tt>Degree</tt> >= 0 retrieves the leading terms of degree <tt>Degree</tt> of the computed border basis polynomials. | The second function with parameter <tt>Degree</tt> >= 0 retrieves the leading terms of degree <tt>Degree</tt> of the computed border basis polynomials. | ||
Please note that in order to use this function you have to start the ApCoCoABBFServer. | Please note that in order to use this function you have to start the ApCoCoABBFServer. | ||
| + | <itemize> | ||
| + | <item>@return List of polynomials (list of terms in fact).</item> | ||
| + | </itemize> | ||
<example> | <example> | ||
Use Z/(32003)[x, y, z],DegLex; | Use Z/(32003)[x, y, z],DegLex; | ||
Revision as of 12:04, 22 April 2009
BBF.RetrieveBorderBasisLTs
Retrieve leading terms of computed border basis.
Syntax
BBF.RetrieveBorderBasisLTs():LIST BBF.RetrieveBorderBasisLTs(Degree:INT):LIST
Description
The first function without parameter retrieves the leading terms of the computed border basis polynomials from the ApCoCoABBFServer.
The second function with parameter Degree >= 0 retrieves the leading terms of degree Degree of the computed border basis polynomials.
Please note that in order to use this function you have to start the ApCoCoABBFServer.
@return List of polynomials (list of terms in fact).
Example
Use Z/(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.RetrieveBorderBasisLTs(); Output: [z^2, y^2, x^2, yz^2, y^2z, xz^2, xy^2, x^2z, x^2y, xyz^2, xy^2z, x^2yz]
Example
Use Z/(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.RetrieveBorderBasisLTs(2); Output: [z^2, y^2, x^2]
Border Basis Framework overview
BBF.RetrieveBorderBasisPolyByLT
