ApCoCoA-1:BB.BBasisForMP

From ApCoCoAWiki
Revision as of 12:32, 28 September 2009 by 132.231.10.58 (talk) (Updated description. (Skaspar))

BB.BBasisForMP

Computes the border basis of an ideal generated by marked polynomials.

Syntax

BB.BBasisForMP(F:LIST of LIST):LIST of LIST

Description

Computes the border basis of the zero-dimensional ideal I = <F> with respect to the set of marked polynomials F. The input is a list of tuples [P, T] where P is a polynomial and T must be a term of the support of P such that deg(P) = deg(T). The output is a list of tuples [P, T] denoting a border basis of I where P is a polynomial and T is the term of the support of P such that deg(P) = deg(T) and T is a border term. An error will indicate if the given term marking does not lead to a successful computation.

  • @param F List of tuples [P, T] where P is a polynomial and T must be a term of the support of P such that deg(P) = deg(T). The polynomials P must generate a zero-dimensional ideal.

  • @return A list of tuples [P, T] denoting a border basis of I where P is a polynomial and T is the term of the support of P such that deg(P) = deg(T) and T is a border term.

Example

Use QQ[x,y];
BB.BBasisForMP([ [,], [,] ]);

-------------------------------

BB.BBasis

BB.BBasisForOI