Difference between revisions of "ApCoCoA-1:BB.HomBBscheme"
From ApCoCoAWiki
(Shortened short description) |
KHiddemann (talk | contribs) (adding formula tags) |
||
| Line 6: | Line 6: | ||
</syntax> | </syntax> | ||
<description> | <description> | ||
| − | Computes the defining equations of the homogeneous border basis scheme using the commutators of the generic homogeneous multiplication matrices. The input is an order ideal OO (2nd element of type POLY). The output is an ideal in the ring BBS = K[c_{ij}]. | + | Computes the defining equations of the homogeneous border basis scheme using the commutators of the generic homogeneous multiplication matrices. The input is an order ideal OO (2nd element of type POLY). The output is an ideal in the ring <formula>BBS = K[c_{ij}]</formula>. |
</description> | </description> | ||
<key>Kreuzer</key> | <key>Kreuzer</key> | ||
Revision as of 01:36, 2 November 2007
borderbasis.HomBBscheme
Compute defining eqns of hom. BB scheme
Syntax
$borderbasis.HomBBscheme(OO:LIST):IDEAL
Description
Computes the defining equations of the homogeneous border basis scheme using the commutators of the generic homogeneous multiplication matrices. The input is an order ideal OO (2nd element of type POLY). The output is an ideal in the ring <formula>BBS = K[c_{ij}]</formula>.
