ApCoCoA-1:BB.BBscheme

borderbasis.BBscheme

Compute defining equations of BB scheme

Syntax

$borderbasis.BBscheme(OO:LIST):IDEAL

Description

Computes the defining equations of the border basis scheme using the commutators of the 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}].