Math.Algebra.Commutative.MPoly
data MPoly ord r
var
b
c
d
s
t
u
v
w
x
y
z
a
x1
x2
x3
x0
toLex
toGlex
toGrevlex
toElim