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

From ApCoCoAWiki
m (Bot: fixed typo)
m (insert version info)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
 +
{{Version|1}}
 
<command>
 
<command>
 
   <title>BB.Box</title>
 
   <title>BB.Box</title>
Line 7: Line 8:
 
</syntax>
 
</syntax>
 
   <description>
 
   <description>
Computes the box order ideal of type <tt>D=[D_1,..,D_N]</tt>. The input is a list of integers <tt>D</tt> of length <ref>NumIndets</ref>(). The output is a list of terms sorted in ascending order with respect to the current term ordering.
+
Computes the box order ideal of type <tt>D=[D_1,..,D_N]</tt>. The input is a list of integers <tt>D</tt> of length <ref>ApCoCoA-1:NumIndets|NumIndets</ref>(). The output is a list of terms sorted in ascending order with respect to the current term ordering.
 
<itemize>
 
<itemize>
 
   <item>@param <em>D</em> 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.</item>
 
   <item>@param <em>D</em> 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.</item>
Line 24: Line 25:
 
     <type>ideal</type>
 
     <type>ideal</type>
 
   </types>
 
   </types>
   <see>BB.Border</see>
+
   <see>ApCoCoA-1:BB.Border|BB.Border</see>
  
 
   <key>Box</key>
 
   <key>Box</key>

Latest revision as of 09:40, 7 October 2020

This article is about a function from ApCoCoA-1.

BB.Box

Computes a box order ideal.

Syntax

BB.Box(D:LIST):LIST

Description

Computes the box order ideal of type D=[D_1,..,D_N]. 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 QQ[x,y,z];
BB.Box([2,1,1]);

[1, z, y, x, yz, xz, xy, x^2, xyz, x^2z, x^2y, x^2yz]
-------------------------------

BB.Border