ApCoCoA-1:BB.BBasisForMP
BB.BBasisForMP
Computes the border basis of a zero-dimensional ideal generated by marked polynomials.
Syntax
BB.BBasisForMP(F:LIST of LIST):LIST of LIST
Description
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). This function computes the border basis of the zero-dimensional ideal I generated by the polynomials P with respect to the given term marking. 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 be raised 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([ [,], [,] ]); -------------------------------
