import scas.base.
import scas.polynomial.tree.MultivariatePolynomial
import .given
val r = MultivariatePolynomial.withSubresGCD()("")
val = r.generators
import r.{gcd, given}
assert (gcd(, ) >< )
assert (gcd(, ) >< )
assert (gcd(, ) >< )
assert (gcd(()*(), ()*()) >< )