PolynomialEducational

mathhook_core::core::polynomial::educational

Trait PolynomialEducational 

Source 
pub trait PolynomialEducational {
    // Required methods
    fn explain_poly_division(
        &self,
        divisor: &Expression,
        var: &Symbol,
    ) -> StepByStepExplanation;
    fn explain_poly_gcd(&self, other: &Expression) -> StepByStepExplanation;
    fn explain_poly_factorization(&self, var: &Symbol) -> StepByStepExplanation;
}
Expand description

Trait for generating educational explanations for polynomial operations

This trait provides methods to generate step-by-step explanations for various polynomial algorithms, suitable for educational purposes.

Required Methods§

Source

fn explain_poly_division( &self, divisor: &Expression, var: &Symbol, ) -> StepByStepExplanation

Generate step-by-step explanation for polynomial division

Explains the polynomial long division algorithm step by step, showing how the quotient and remainder are computed.

§Arguments
  • divisor - The polynomial to divide by
  • var - The variable to treat as the polynomial indeterminate
§Returns

A StepByStepExplanation detailing each step of the division

Source

fn explain_poly_gcd(&self, other: &Expression) -> StepByStepExplanation

Generate step-by-step explanation for GCD computation

Explains the Euclidean algorithm for polynomial GCD, showing each division and remainder step.

§Arguments
  • other - The other polynomial
§Returns

A StepByStepExplanation detailing each step of GCD computation

Source

fn explain_poly_factorization(&self, var: &Symbol) -> StepByStepExplanation

Generate step-by-step explanation for factorization

Explains the factorization process, including content extraction and common factor identification.

§Arguments
  • var - The variable to factor with respect to
§Returns

A StepByStepExplanation detailing the factorization steps

Implementors§