From ApCoCoAWiki
Revision as of 01:36, 2 November 2007 by KHiddemann (talk | contribs) (adding formula tags)


Compute gens of vanishing ideal of hom. BB scheme corresp. to lifting of an element of NDneighbors(OO)




Computes the generators of the vanishing ideal of the homogenous border basis scheme corresponding to the lifting of the K-th element of NDneighbors(OO). The input is an integer K In 1..<ttref>Len</ttref>(NDneighbors(OO)) and 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>.