Difference between revisions of "ApCoCoA-1:BB.HomASgens"
From ApCoCoAWiki
KHiddemann (talk | contribs) (fixing keys) |
KHiddemann (talk | contribs) m |
||
Line 6: | Line 6: | ||
</syntax> | </syntax> | ||
<description> | <description> | ||
− | Computes the generators of the vanishing ideal of the homogeneous border basis scheme corresponding to the lifting of the K-th element of ASneighbors(OO). The | + | Computes the generators of the vanishing ideal of the homogeneous border basis scheme corresponding to the lifting of the K-th element of ASneighbors(OO). The inputs are an integer K in the range 1..Len(ASneighbors(OO)) and a list OO of terms that specify an order ideal. The output is a list of polynomials in the ring <formula>BBS=K[c_{ij}]</formula>. |
</description> | </description> | ||
<see>borderbasis.ASgens</see> | <see>borderbasis.ASgens</see> |
Revision as of 12:21, 8 November 2007
borderbasis.HomASgens
generators of vanishing ideal of homogeneous border basis scheme
Syntax
$borderbasis.HomASgens(K:INT,OO:LIST):LIST
Description
Computes the generators of the vanishing ideal of the homogeneous border basis scheme corresponding to the lifting of the K-th element of ASneighbors(OO). The inputs are an integer K in the range 1..Len(ASneighbors(OO)) and a list OO of terms that specify an order ideal. The output is a list of polynomials in the ring <formula>BBS=K[c_{ij}]</formula>.