ApCoCoA-1:BB.HomBBscheme
From ApCoCoAWiki
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 second element must be a non-constant polynomial. The output is an ideal in the ring <formula>BBS = K[c_{ij}]</formula>.