# 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([ [,], [,] ]); -------------------------------