import scas.base.{, }
import scas.power.Lexicographic
import scas.polynomial.tree.Polynomial
import .given
import .given

val r = Polynomial(using , Lexicographic[Int]("x"))
val x = r.generators
import r.given

assert (x + 12 >< 12 + x)
assert (x + 1 >< 1 + x)
assert (r == x)