Difference between revisions of "Package borderbasis"
From ApCoCoAWiki
| Line 9: | Line 9: | ||
<pre> | <pre> | ||
IsOrderIdeal(OO): checks whether OO is an order ideal. | IsOrderIdeal(OO): checks whether OO is an order ideal. | ||
| − | + | input: OO a non-empty set of terms in K[x[1..N]] | |
| − | + | output: boolean value for checking OO being an order ideal | |
| + | </pre> | ||
| + | [[Border]] | ||
| + | <pre> | ||
| + | Border(OO): computes the border of an order ideal. | ||
| + | input: list of terms | ||
| + | output: list of terms in ascending order | ||
</pre> | </pre> | ||
Revision as of 23:53, 17 November 2022
| This article is about a function from ApCoCoA-2. If you are looking for the ApCoCoA-1 version of it, see Category:ApCoCoA-1:Package borderbasis. |
This page describes the borderbasis package. The package contains various functions for computing with border bases of order ideals in a polynomial ring P=K[x_1,...,x_n] over a field K. We refer the book [M. Kreuzer and L. Robbiano, Computational Commutative Algebra 2, Springer-Verlag, Berlin, 2005] for more details about border bases. For a complete list of functions, see also Category:Package borderbasis.
The Global Alias of the package is BB.
List of the main functions
IsOrderIdeal(OO): checks whether OO is an order ideal.
input: OO a non-empty set of terms in K[x[1..N]]
output: boolean value for checking OO being an order ideal
Border(OO): computes the border of an order ideal.
input: list of terms
output: list of terms in ascending order
Example for computations
- See also: BB.Border
