[][src]Trait Alias maths_traits::analysis::ordered::ArchRing

trait ArchRing = ArchAbelianGroup + OrdRing;

An ordered ring with the Archimedean property