i2 : options R
o2 = OptionTable{ConstantCoefficients => true }
DegreeRank => 1
Degrees => {{1}, {1}, {1}, {1}, {1}, {1}, {1}, {1}, {1}, {1}}
Global => true
Heft => {1}
Inverses => false
Local => false
MonomialOrder => {GRevLex => {1, 1, 1, 1}, GRevLex => {1, 1, 1, 1, 1, 1}, Position => Up}
MonomialSize => 32
SkewCommutative => {}
VariableBaseName => p
Variables => {x , x , x , x , x , x , x , x , x , x }
1 2 3 4 5 6 7 8 9 10
Weights => {}
WeylAlgebra => {}
o2 : OptionTable
|
i3 : (options R).MonomialOrder
o3 = {GRevLex => {1, 1, 1, 1}, GRevLex => {1, 1, 1, 1, 1, 1}, Position => Up}
o3 : List
|
i5 : (options S).MonomialOrder
o5 = {GRevLex => {1, 1, 1, 1}, Position => Up}
o5 : List
|