Difference between revisions of "ApCoCoA-1:BB.Border"

From ApCoCoAWiki
(Types section update.)
(Example section update.)
Line 12: Line 12:
 
</itemize>
 
</itemize>
 
<example>
 
<example>
Use Q[x,y,z];
+
Use QQ[x,y,z];
 
BB.Border([1,x]);
 
BB.Border([1,x]);
 
[z, y, xz, xy, x^2]
 
[z, y, xz, xy, x^2]

Revision as of 13:06, 23 April 2009

BB.Border

Compute the border of an order ideal.

Syntax

BB.Border(OO:LIST):LIST

Description

Computes the border of an order ideal OO. The input/output is a list of terms.

  • @param OO A list of terms representing an order ideal.

  • @return A list of border terms of OO.

Example

Use QQ[x,y,z];
BB.Border([1,x]);
[z, y, xz, xy, x^2]
-------------------------------

BBasis

BB.BorderBasis

BB.Box