Trait algebraics::polynomial::PolynomialReducingFactorSupported

pub trait PolynomialReducingFactorSupported: PolynomialCoefficient {
    fn get_nonzero_reducing_factor(
        elements: &[Self::Element], 
        divisor: &Self::Divisor
    ) -> Option<Self>;
}

Required methods

fn get_nonzero_reducing_factor(
    elements: &[Self::Element],
    divisor: &Self::Divisor
) -> Option<Self>

returns the factor f of the passed in polynomial p where p / f is content-free (for integer polynomials) or monic (for polynomials over fields).

Implementations on Foreign Types

impl<T: PolynomialCoefficientElement + Integer + NumAssign + FromPrimitive + GCD<Output = T> + ExactDivAssign + for<'a> ExactDivAssign<&'a T>> PolynomialReducingFactorSupported for Ratio<T>

fn get_nonzero_reducing_factor(
    elements: &[Self::Element],
    divisor: &Self::Divisor
) -> Option<Self>

impl PolynomialReducingFactorSupported for i8

fn get_nonzero_reducing_factor(
    elements: &[Self::Element],
    _divisor: &Self::Divisor
) -> Option<Self>

impl PolynomialReducingFactorSupported for i16

fn get_nonzero_reducing_factor(
    elements: &[Self::Element],
    _divisor: &Self::Divisor
) -> Option<Self>

impl PolynomialReducingFactorSupported for i32

fn get_nonzero_reducing_factor(
    elements: &[Self::Element],
    _divisor: &Self::Divisor
) -> Option<Self>

impl PolynomialReducingFactorSupported for i64

fn get_nonzero_reducing_factor(
    elements: &[Self::Element],
    _divisor: &Self::Divisor
) -> Option<Self>

impl PolynomialReducingFactorSupported for i128

fn get_nonzero_reducing_factor(
    elements: &[Self::Element],
    _divisor: &Self::Divisor
) -> Option<Self>

impl PolynomialReducingFactorSupported for isize

fn get_nonzero_reducing_factor(
    elements: &[Self::Element],
    _divisor: &Self::Divisor
) -> Option<Self>

impl PolynomialReducingFactorSupported for BigInt

fn get_nonzero_reducing_factor(
    elements: &[Self::Element],
    _divisor: &Self::Divisor
) -> Option<Self>

Implementors

impl<V, M> PolynomialReducingFactorSupported for ModularInteger<V, M> where
    V: ModularReducePow<usize> + Integer + Debug + Hash,
    M: PrimeModulus<V> + Debug + Hash,