Trait maths_traits::analysis::ordered::OrdUnitalRing

pub trait OrdUnitalRing: OrdRing + UnitalRing + Sign { }

A unital ring with ordered addition and multiplication

Implementors

impl<_G: OrdRing + UnitalRing + Sign> OrdUnitalRing for _G

Loading content...