Trait cycle::ring::Domain[−][src]

pub trait Domain: Clone + Add<Output = Self> + Sub<Output = Self> + Mul<Output = Self> + Div<Output = Self> + Neg {
    fn name(&self) -> String;

    fn num(&self) -> i128;

    fn den(&self) -> i128;

    fn gcd(u: &Self, u: &Self) -> Self;

    fn lcm(v: &Self, v: &Self) -> Self;

    fn cofactors(&self, u: &Self, v: &Self) -> (Self, Self, Self) { ... }
}

Required methods

fn name(&self) -> String[src]

fn num(&self) -> i128[src]

fn den(&self) -> i128[src]

fn gcd(u: &Self, u: &Self) -> Self[src]

fn lcm(v: &Self, v: &Self) -> Self[src]

Loading content...

Provided methods

fn cofactors(&self, u: &Self, v: &Self) -> (Self, Self, Self)[src]

Loading content...

Implementors

impl Domain for Rational[src]

fn gcd(u: &Self, v: &Self) -> Self[src]

gcd(a/b, c/d) = gcd(a*d, c*b)/(b*d)

fn lcm(u: &Self, v: &Self) -> Self[src]

lcm(a/b, c/d) = lcm(a, c)/gcd(b, d)

impl Domain for Integer[src]

Loading content...