import scas._
import Implicits.{, coef2polynomial}
implicit val r = Polynomial(, 'x)
implicit val s = Polynomial(r, 'y)
val Array(x) = r.generators
val Array(y) = s.generators
assert (x + 1 >< 1x)
assert (x + BigInteger(1) >< BigInteger(1) + x)
assert (y + x >< xy)
assert (y + 1 >< 1y)
assert (y + BigInteger(1) >< BigInteger(1) + y)