Trait free_algebra::module::AlgebraRule

pub trait AlgebraRule<R, T> {
    fn apply(t1: T, t2: T) -> (Option<R>, T);
}

Dictates a rule for how to multiply terms in a ModuleString

Required methods

fn apply(t1: T, t2: T) -> (Option<R>, T)

Multiplies two terms together to produce another T and an optional coeffient

Loading content...

Implementors

impl<R, T: Add<Output = T>> AlgebraRule<R, T> for AddRule

fn apply(t1: T, t2: T) -> (Option<R>, T)

impl<R, T: Mul<Output = T>> AlgebraRule<R, T> for MulRule

fn apply(t1: T, t2: T) -> (Option<R>, T)

Loading content...