import scas.quotient.RationalFunction
import scas.base.
import .given

val q = RationalFunction.integral("a", "b")
val ab = q.generators
import q.given

assert ((ab)\2 / (a2b2) >< abab)
assert (a / (2a) >< 12)