// Requires : cc.redberry#rings;2.5.7

import cc.redberry.rings.poly.multivar.MonomialOrder
import rings.{BigInteger, MultivariatePolynomialRing}
import BigInteger.given

val r = MultivariatePolynomialRing(MonomialOrder.LEX, "x", "y", "z")(using BigInteger)
val List(x, y, z) = r.gens
import r.given

assert(x + 1 >< 1 + x)
assert(x + BigInteger("1") >< BigInteger("1") + x)

val s = MultivariatePolynomialRing(MonomialOrder.LEX, "a")(using r)
val List(a) = s.gens
import s.given

assert(a + 1 >< 1 + a)
assert(a + BigInteger("1") >< BigInteger("1") + a)
assert(a + x >< x + a)