Trait maths_traits::analysis::ordered::OrdDivisionRing

pub trait OrdDivisionRing: OrdCommutativeRing + DivisionRing { }

A division ring with ordered addition and multiplication

Implementors

impl<_G: OrdCommutativeRing + DivisionRing> OrdDivisionRing for _G

Loading content...