Expand description
Contains the trait ordered::OrderedRing for rings with a total ordering that is compatible
with the ring operations.
Traitsยง
- Ordered
Ring - Trait for rings that have a total ordering on their elements. The ordering must be compatible with addition and multiplication in the usual sense.
- Ordered
Ring Store - Trait for
RingStores that storeOrderedRings. Mainly used to provide a convenient interface to theOrderedRing-functions.