Difference between revisions of "ApCoCoA-1:BB.BBasisForMP"
(Updated description. (Skaspar)) |
(Updated short description. (Skaspar)) |
||
| Line 1: | Line 1: | ||
<command> | <command> | ||
<title>BB.BBasisForMP</title> | <title>BB.BBasisForMP</title> | ||
| − | <short_description>Computes the border basis of | + | <short_description>Computes the border basis of a zero-dimensional ideal generated by marked polynomials.</short_description> |
<syntax> | <syntax> | ||
Revision as of 12:33, 28 September 2009
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
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([ [,], [,] ]); -------------------------------
