ApCoCoA-1:BB.LiftHomND
From ApCoCoAWiki
BB.LiftHomND
homogeneous BBS ideal generators from lifting of ND neighbors
Syntax
BB.LiftHomND(OO:LIST):LIST
Description
Computes the generators of the border basis scheme ideal <formula>I(\mathbb{B}^{\textrm{hom}}_\mathcal{O})</formula> that result from the lifting of next-door neighbors. The input is a list of terms OO (2nd element of type POLY). The output is a list of poly in the ring <formula>BBS=K[c_{ij}]</formula>.
