import scas.base.
import scas.polynomial.tree.MultivariatePolynomial
import .given

val r = MultivariatePolynomial.withSubresGCD()("x", "y", "z")
val xyz = r.generators
import r.{gcd, given}

assert (gcd(xy, xz) >< x)