univariate_gcd_modular

mathhook_core::algebra::gcd

Function univariate_gcd_modular 

Source 
pub fn univariate_gcd_modular(
    p1: &Expression,
    p2: &Expression,
    var: &Symbol,
) -> Result<(Expression, Expression, Expression), PolynomialError>
Expand description

Univariate polynomial GCD with cofactors

Returns (gcd, cofactor_p1, cofactor_p2) using IntPoly fast-path.

§Arguments

  • p1 - First univariate polynomial
  • p2 - Second univariate polynomial
  • var - The variable of the polynomials

§Returns

Tuple of (gcd, cofactor_p1, cofactor_p2)