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