ApCoCoA-1:BB.Box: Difference between revisions

From ApCoCoAWiki
Skaspar (talk | contribs)
Example section update.
Description update.
Line 1: Line 1:
<command>
<command>
    <title>BB.Box</title>
  <title>BB.Box</title>
    <short_description>Compute a box order ideal.</short_description>
  <short_description>Compute a box order ideal.</short_description>
<syntax>
  <syntax>BB.Box(D:LIST):LIST</syntax>
BB.Box(D:LIST):LIST
  <description>
</syntax>
Computes the box order ideal of type D=[D_1,..,D_N]. The input is a list of integers D of length <ref>NumIndets</ref>(). The output is a list of terms sorted in ascending order with respect to the current term ordering.
    <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.
<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 17: Line 15:
-------------------------------
-------------------------------
</example>
</example>
    </description>
  </description>
<types>
  <types>
<type>list</type>
    <type>list</type>
</types>
  </types>
    <see>BB.Border</see>
  <see>BB.Border</see>
    <key>Box</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 10:43, 24 April 2009

BB.Box

Compute 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, x]
-------------------------------

BB.Border