Trait Alias maths_traits::analysis::ordered::ArchCommutativeSemiring

trait ArchCommutativeSemiring = ArchUnitalSemiring + OrdCommutativeSemiring;

An ordered commutative semiring with the Archimedean property and Archimedean division