Trait PolynomialGcdOps

Source

pub trait PolynomialGcdOps: PolynomialClassification {
    // Required methods
    fn polynomial_gcd(
        &self,
        other: &Self,
    ) -> Result<Expression, PolynomialError>;
    fn polynomial_lcm(
        &self,
        other: &Self,
    ) -> Result<Expression, PolynomialError>;
    fn polynomial_cofactors(
        &self,
        other: &Self,
    ) -> Result<(Expression, Expression, Expression), PolynomialError>;
}

Expand description

Trait for polynomial GCD operations

Provides methods for computing GCD, LCM, and cofactors of polynomial expressions. The implementation uses IntPoly fast-path when possible.

§Examples

use mathhook_core::core::polynomial::PolynomialGcdOps;
use mathhook_core::core::Expression;
use mathhook_core::{symbol, expr};

let x = symbol!(x);
// x^2 - 1 = (x-1)(x+1)
let p1 = expr!((x ^ 2) - 1);
// x - 1
let p2 = expr!(x - 1);

let gcd = p1.polynomial_gcd(&p2).unwrap();
// GCD divides both polynomials