ApCoCoA-1:BB.HomBBscheme
From ApCoCoAWiki
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>.
