lexIdeal(...,OrderVariables=>...) -- Option to set the order of indexed variables

Description

This option can be used to specify the order of the indexed variables of the polynomial ring containing the ideals, when calling lexIdeal giving as input only the number of variables of the polynomial ring. If OrderVariables is set to Up then x_i < x_j iff i < j, otherwise if OrderVariables is set to Down then x_i < x_j iff i > j.

The default is Down.

i1 : lexIdeal(3, 3, OrderVariables=>Down)

                 3
o1 = ideal (x , x )
             0   1

o1 : Ideal of QQ[x ..x ]
                  0   2

i2 : lexIdeal(3, 3, OrderVariables=>Up)

                 3
o2 = ideal (x , x )
             2   1

o2 : Ideal of QQ[x , x , x ]
                  2   1   0

Further information

Default value: Down
Function: lexIdeal -- Compute the saturated lexicographic ideal in the given ambient space with given Hilbert polynomial
Option key: OrderVariables -- Option to set the order of indexed variables

Functions with optional argument named OrderVariables :

lexIdeal(...,OrderVariables=>...) -- Option to set the order of indexed variables
stronglyStableIdeals(...,OrderVariables=>...) -- Option to set the order of indexed variables