import scas.structure.Group
import scas.base.
import .given

val a = BigInteger("1")
val r = Group()
import r.given

assert (a * a >< 2)
assert (a \ -1 >< -1)