Trait algebraic_equation_over_finite_prime_field::RingNormalize

pub trait RingNormalize {
    fn leading_unit(&self) -> Self;
    fn normalize_mut(&mut self);

    fn into_normalize(self) -> Self { ... }
    fn normalize(&self) -> Self
    where
        Self: Clone,
    { ... }
    fn is_similar(&self, other: &Self) -> bool
    where
        Self: Clone + Eq,
    { ... }
}

Normarize ring element

abs(a) in $\mathbb{Z}$. a/lc(a) in $R[x]$ (lc(x) is leading coefficent of x).

Required methods

fn leading_unit(&self) -> Self

fn normalize_mut(&mut self)

Provided methods

fn into_normalize(self) -> Self

fn normalize(&self) -> Self where
    Self: Clone, 

fn is_similar(&self, other: &Self) -> bool where
    Self: Clone + Eq, 

Implementations on Foreign Types

impl RingNormalize for i32

pub fn leading_unit(&self) -> i32

pub fn normalize_mut(&mut self)

impl RingNormalize for BigInt

pub fn leading_unit(&self) -> BigInt

pub fn normalize_mut(&mut self)

impl RingNormalize for i8

pub fn leading_unit(&self) -> i8

pub fn normalize_mut(&mut self)

impl RingNormalize for i64

pub fn leading_unit(&self) -> i64

pub fn normalize_mut(&mut self)

impl RingNormalize for isize

pub fn leading_unit(&self) -> isize

pub fn normalize_mut(&mut self)

impl RingNormalize for i16

pub fn leading_unit(&self) -> i16

pub fn normalize_mut(&mut self)

impl RingNormalize for i128

pub fn leading_unit(&self) -> i128

pub fn normalize_mut(&mut self)

Implementors

impl<T> RingNormalize for PolynomialOverP<T> where
    T: Clone + Eq + Zero + One + RingNormalize,
    &'x T: for<'x> EuclideanRingOperation<T>,