Difference between revisions of "ApCoCoA-1:BB.HomBBscheme"

From ApCoCoAWiki
(Shortened short description)
(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>.