Trait maths_traits::analysis::ordered::MulOrdered

pub trait MulOrdered: PartialOrd { }

A marker trait signifying that for x > y, x*z > x*z and z*x > z*x for all z > 0

Like for AddOrdered, for this also implies for non-trivial structures that they are infinite and provides for embeddings of the Naturals and Integers in much the same way.

Implementations on Foreign Types

impl MulOrdered for i8

impl MulOrdered for i16

impl MulOrdered for i32

impl MulOrdered for i64

impl MulOrdered for i128

impl MulOrdered for isize

impl MulOrdered for u8

impl MulOrdered for u16

impl MulOrdered for u32

impl MulOrdered for u64

impl MulOrdered for u128

impl MulOrdered for usize

impl MulOrdered for f32

impl MulOrdered for f64

Loading content...

Implementors

Loading content...