Trait maths_traits::analysis::ordered::ArchCommutativeSemiring

pub trait ArchCommutativeSemiring: ArchUnitalSemiring + OrdCommutativeSemiring { }

An ordered commutative semiring with the Archimedean property and Archimedean division

Implementors

impl<_G: ArchUnitalSemiring + OrdCommutativeSemiring> ArchCommutativeSemiring for _G

Loading content...