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

From ApCoCoAWiki
m (Bot: fixed typo)
m (fixed links to namespace ApCoCoA)
Line 23: Line 23:
 
     <type>ideal</type>
 
     <type>ideal</type>
 
   </types>
 
   </types>
   <see>BB.BBasis</see>
+
   <see>ApCoCoA-1:BB.BBasis|BB.BBasis</see>
   <see>BB.BorderBasis</see>
+
   <see>ApCoCoA-1:BB.BorderBasis|BB.BorderBasis</see>
   <see>BB.Box</see>
+
   <see>ApCoCoA-1:BB.Box|BB.Box</see>
  
 
   <key>Border</key>
 
   <key>Border</key>

Revision as of 07:49, 7 October 2020

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 in ascending order.

Example

Use QQ[x,y,z];
BB.Border([1,x]);

[z, y, xz, xy, x^2]
-------------------------------

BB.BBasis

BB.BorderBasis

BB.Box