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

From ApCoCoAWiki
(adding formula tags)
(Reviewed text)
Line 1: Line 1:
 
<command>
 
<command>
 
     <title>borderbasis.HomBBscheme</title>
 
     <title>borderbasis.HomBBscheme</title>
     <short_description>Compute defining eqns of hom. BB scheme</short_description>
+
     <short_description>defining equations of homogeneous border basis scheme</short_description>
 
<syntax>
 
<syntax>
 
$borderbasis.HomBBscheme(OO:LIST):IDEAL
 
$borderbasis.HomBBscheme(OO:LIST):IDEAL
 
</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 <formula>BBS = K[c_{ij}]</formula>.
+
Computes the defining equations of the homogeneous border basis scheme using the commutators of the generic homogeneous multiplication matrices. The input is a list OO of terms that specify an order ideal. The output is an ideal in the ring <formula>BBS = K[c_{ij}]</formula>.
 
     </description>
 
     </description>
 +
    <see>borderbasis.BBscheme</see>
 
     <key>Kreuzer</key>
 
     <key>Kreuzer</key>
 
     <key>borderbasis.hombbscheme</key>
 
     <key>borderbasis.hombbscheme</key>

Revision as of 22:45, 7 November 2007

borderbasis.HomBBscheme

defining equations of homogeneous border basis 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 a list OO of terms that specify an order ideal. The output is an ideal in the ring <formula>BBS = K[c_{ij}]</formula>.

borderbasis.BBscheme