Trait Alias maths_traits::analysis::ordered::ArchCommutativeRing

trait ArchCommutativeRing = ArchUnitalRing + OrdCommutativeRing;

An ordered commutative ring with the Archimedean property and Archimedean division