Difference between revisions of "ApCoCoA-1:BB.BBasis"
From ApCoCoAWiki
(Updated description) |
m (Fixed typo) |
||
Line 1: | Line 1: | ||
<command> | <command> | ||
<title>BBasis</title> | <title>BBasis</title> | ||
− | <short_description>border basis of a zero dimensional ideal</short_description> | + | <short_description>border basis of a zero-dimensional ideal</short_description> |
<syntax> | <syntax> | ||
BBasis(I:IDEAL):LIST of POLY | BBasis(I:IDEAL):LIST of POLY |
Revision as of 14:17, 20 June 2008
BBasis
border basis of a zero-dimensional ideal
Syntax
BBasis(I:IDEAL):LIST of POLY
Description
Let <formula>\sigma</formula> be a degree compatible term ordering. The function BBasis calls the ApCoCoAServer to compute the <formula>\mathcal{O}_\sigma(I)</formula>-border basis of the zero-dimensional input ideal I and returns it as a list of polynomials.
Example
Use Q[x, y], DegLex; I := Ideal([x^2, xy + y^2]); BB := BBasis(I); BB; ------------------------------- [xy + y^2, x^2, y^3, xy^2] -------------------------------