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

From ApCoCoAWiki
(Updated example and "see"-entries. (Skaspar))
Line 15: Line 15:
 
Use QQ[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]
 
-------------------------------
 
-------------------------------
Line 23: Line 24:
 
     <type>ideal</type>
 
     <type>ideal</type>
 
   </types>
 
   </types>
   <see>BBasis</see>
+
   <see>BB.BBasis</see>
 
   <see>BB.BorderBasis</see>
 
   <see>BB.BorderBasis</see>
 
   <see>BB.Box</see>
 
   <see>BB.Box</see>

Revision as of 13:50, 28 March 2011

BB.Border

Computes the border of an order ideal.

Syntax

BB.Border(OO:LIST):LIST

Description

This command computes the border of an order ideal OO.

  • @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]
-------------------------------

BB.BBasis

BB.BorderBasis

BB.Box