up previous next
Computes the defining equations of a homogeneous border basis scheme.
BB.HomBBscheme(OO:LIST):IDEAL
|
Computes the defining equations of the homogeneous border basis scheme using the commutators of the generic homogeneous multiplication matrices.
- @param OO A list of terms representing an order ideal. The second element of OO must be a non-constant polynomial.
- @return A list of polynomials representing the defining equations of the homogeneous border basis scheme. The polynomials will belong to the ring BBS=K[c_{ij}].