up previous next
BB.LiftHomND

Computes the homogeneous border basis scheme ideal generators obtained from lifting of next-door neighbors.
Syntax
          
BB.LiftHomND(OO:LIST):LIST

          

Description
This command computes the generators of the border basis scheme ideal I(B^hom_O) that result from the lifting of next-door (ND) neighbors.

Example
Use QQ[x,y,z], DegRevLex;
BB.LiftHomND([Poly(1), x, y, xy]);

[BBS :: c[3,1]c[4,4] + c[2,1] - c[4,2],
 BBS :: c[2,1]c[4,5] + c[3,1] - c[4,3]]
-------------------------------


See Also