import scas.base.{, }
import scas.quotient.RationalFunction
import .given
import .given

val q = RationalFunction()("x")
val x = q.generators
import q.given

assert (x + 12 >< 12 + x)
assert (x + 1 >< 1 + x)
assert ((x2-1)/(x-1) >< x+1)
assert ((1x2)/(1x) >< 1x)
assert (x / 2 >< 12x)