Trait Ring
cycle::ring
pub trait Ring: Domain + PartialEq { }
impl Ring for Rational
impl Ring for Integer