VariableOrder -- variable ordering for polynomial OI-algebras

Description

Used as an optional argument in makePolynomialOIAlgebra to specify an ordering on the variables of a polynomial OI-algebra.

Permissible values:

VariableOrder => ColUpRowUp
VariableOrder => ColUpRowDown
VariableOrder => ColDownRowUp
VariableOrder => ColDownRowDown
VariableOrder => RowUpColUp
VariableOrder => RowUpColDown
VariableOrder => RowDownColUp
VariableOrder => RowDownColDown

i1 : P = makePolynomialOIAlgebra(2, x, QQ, VariableOrder => RowDownColUp)

o1 = Number of variable rows: 2
     Variable symbol: x
     Base field: QQ
     Variable order: RowDownColUp

o1 : PolynomialOIAlgebra

Functions with optional argument named VariableOrder:

makePolynomialOIAlgebra(...,VariableOrder=>...) -- see makePolynomialOIAlgebra -- make a PolynomialOIAlgebra object

For the programmer

The object VariableOrder is a symbol.

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