oiOrbit -- compute the n-orbit of a list of elements of a free OI-module

Usage:

oiOrbit(L, n)
Inputs:
- L, a list,
- n, an integer,
Outputs:
- a list,

Description

Returns the $n$-orbit of the list L of VectorInWidth objects.

i1 : P = makePolynomialOIAlgebra(2, x, QQ);

i2 : F = makeFreeOIModule(e, {1,1}, P);

i3 : installGeneratorsInWidth(F, 2);

i4 : b = x_(1,1)*e_(2,{1},1)+x_(2,1)*e_(2,{1},2)

o4 = x   e        + x   e
      1,1 2,{1},1    2,1 2,{1},2

                                 4
o4 : (QQ[x   , x   , x   , x   ])  in width 2
          2,2   2,1   1,2   1,1

i5 : oiOrbit({b}, 4)

o5 = {x   e        + x   e       , x   e        + x   e       , x   e       
       1,1 4,{1},1    2,1 4,{1},2   1,2 4,{2},1    2,2 4,{2},2   1,3 4,{3},1
     ------------------------------------------------------------------------
     + x   e       }
        2,3 4,{3},2

o5 : List

Ways to use oiOrbit:

oiOrbit(List,ZZ)

For the programmer

The object oiOrbit is a method function.

The source of this document is in OIGroebnerBases.m2:1860:0.