Trait Alias maths_traits::analysis::ordered::OrdCommutativeSemiring

trait OrdCommutativeSemiring = OrdUnitalSemiring + CommutativeSemiring;

A commutative semiring with ordered addition and multiplication