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

From ApCoCoAWiki
(Added parameter and return value list.)
(Key and see section update.)
Line 19: Line 19:
 
     </description>
 
     </description>
 
     <see>BB.Border</see>
 
     <see>BB.Border</see>
     <key>kreuzer</key>
+
     <key>Box</key>
     <key>bb.box</key>
+
     <key>BB.Box</key>
     <key>borderbasis.box</key>
+
     <key>borderbasis.Box</key>
 
     <wiki-category>Package_borderbasis</wiki-category>
 
     <wiki-category>Package_borderbasis</wiki-category>
 
</command>
 
</command>

Revision as of 18:41, 22 April 2009

BB.Box

Compute a box order ideal.

Syntax

BB.Box(D:LIST):LIST

Description

Computes the box order ideal of type <formula>D=[D_1,..,D_N]</formula>. The input is a list of integers D of length NumIndets(). The output is a list of terms sorted in ascending order with respect to the current term ordering.

  • @param D List of integer values representing an exponent vector of a term. The order ideal spanned by the term represented by this exponent vector will be computed.

  • @return A list of terms of the order ideal spanned by the term represented by the exponent vector D, sorted in ascending order w.r.t. the current term ordering.

Example

Use Q[x,y,z];
BB.Box([2,1,1]);
[1, x]
-------------------------------

BB.Border