From CoCoAWiki
Jump to: navigation, search


 <short_description>Computes the border of an order ideal.</short_description>

<syntax> BB.Border(OO:LIST):LIST </syntax>


This command computes the border of an order ideal OO. <itemize>

 <item>@param OO A list of terms representing an order ideal.</item>
 <item>@return A list of border terms of OO in ascending order.</item>

</itemize> <example> Use QQ[x,y,z]; BB.Border([1,x]);

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