pub fn univariate_gcd( p1: &Expression, p2: &Expression, var: &Symbol, ) -> Result<Expression, PolynomialError>
Univariate polynomial GCD with IntPoly fast-path
Uses IntPoly for integer coefficient polynomials, falls back to Expression::gcd().
p1
p2
var
GCD of the two polynomials