Struct alga::general::Multiplicative [−][src]
pub struct Multiplicative;
The multiplication operator, commonly symbolized by ×.
Trait Implementations
impl AbstractMagma<Multiplicative> for u8[src]
impl AbstractMagma<Multiplicative> for u8fn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl AbstractMagma<Multiplicative> for u16[src]
impl AbstractMagma<Multiplicative> for u16fn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl AbstractMagma<Multiplicative> for u32[src]
impl AbstractMagma<Multiplicative> for u32fn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl AbstractMagma<Multiplicative> for u64[src]
impl AbstractMagma<Multiplicative> for u64fn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl AbstractMagma<Multiplicative> for usize[src]
impl AbstractMagma<Multiplicative> for usizefn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl AbstractMagma<Multiplicative> for i8[src]
impl AbstractMagma<Multiplicative> for i8fn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl AbstractMagma<Multiplicative> for i16[src]
impl AbstractMagma<Multiplicative> for i16fn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl AbstractMagma<Multiplicative> for i32[src]
impl AbstractMagma<Multiplicative> for i32fn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl AbstractMagma<Multiplicative> for i64[src]
impl AbstractMagma<Multiplicative> for i64fn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl AbstractMagma<Multiplicative> for isize[src]
impl AbstractMagma<Multiplicative> for isizefn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl AbstractMagma<Multiplicative> for f32[src]
impl AbstractMagma<Multiplicative> for f32fn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl AbstractMagma<Multiplicative> for f64[src]
impl AbstractMagma<Multiplicative> for f64fn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl AbstractSemigroup<Multiplicative> for u8[src]
impl AbstractSemigroup<Multiplicative> for u8fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl AbstractSemigroup<Multiplicative> for u16[src]
impl AbstractSemigroup<Multiplicative> for u16fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl AbstractSemigroup<Multiplicative> for u32[src]
impl AbstractSemigroup<Multiplicative> for u32fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl AbstractSemigroup<Multiplicative> for u64[src]
impl AbstractSemigroup<Multiplicative> for u64fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl AbstractSemigroup<Multiplicative> for usize[src]
impl AbstractSemigroup<Multiplicative> for usizefn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl AbstractMonoid<Multiplicative> for u8[src]
impl AbstractMonoid<Multiplicative> for u8fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Multiplicative> for u16[src]
impl AbstractMonoid<Multiplicative> for u16fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Multiplicative> for u32[src]
impl AbstractMonoid<Multiplicative> for u32fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Multiplicative> for u64[src]
impl AbstractMonoid<Multiplicative> for u64fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Multiplicative> for usize[src]
impl AbstractMonoid<Multiplicative> for usizefn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl<N: Num + Clone> AbstractMagma<Multiplicative> for Complex<N>[src]
impl<N: Num + Clone> AbstractMagma<Multiplicative> for Complex<N>fn operate(&self, lhs: &Self) -> Self[src]
fn operate(&self, lhs: &Self) -> SelfPerforms an operation.
fn op(&self, _: O, lhs: &Self) -> Self[src]
fn op(&self, _: O, lhs: &Self) -> SelfPerforms specific operation.
impl<N> AbstractSemigroup<Multiplicative> for Complex<N> where
N: Num + Clone + ClosedNeg, [src]
impl<N> AbstractSemigroup<Multiplicative> for Complex<N> where
N: Num + Clone + ClosedNeg, fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl<N> AbstractMonoid<Multiplicative> for Complex<N> where
N: Num + Clone + ClosedNeg, [src]
impl<N> AbstractMonoid<Multiplicative> for Complex<N> where
N: Num + Clone + ClosedNeg, fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl<N> AbstractQuasigroup<Multiplicative> for Complex<N> where
N: Num + Clone + ClosedNeg, [src]
impl<N> AbstractQuasigroup<Multiplicative> for Complex<N> where
N: Num + Clone + ClosedNeg, fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq, Returns true if latin squareness holds for the given arguments.
impl<N> AbstractLoop<Multiplicative> for Complex<N> where
N: Num + Clone + ClosedNeg, [src]
impl<N> AbstractLoop<Multiplicative> for Complex<N> where
N: Num + Clone + ClosedNeg, impl<N> AbstractGroup<Multiplicative> for Complex<N> where
N: Num + Clone + ClosedNeg, [src]
impl<N> AbstractGroup<Multiplicative> for Complex<N> where
N: Num + Clone + ClosedNeg, impl<N> AbstractGroupAbelian<Multiplicative> for Complex<N> where
N: Num + Clone + ClosedNeg, [src]
impl<N> AbstractGroupAbelian<Multiplicative> for Complex<N> where
N: Num + Clone + ClosedNeg, fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if the operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, Returns true if the operator is commutative for the given argument tuple.
impl AbstractSemigroup<Multiplicative> for i8[src]
impl AbstractSemigroup<Multiplicative> for i8fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl AbstractSemigroup<Multiplicative> for i16[src]
impl AbstractSemigroup<Multiplicative> for i16fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl AbstractSemigroup<Multiplicative> for i32[src]
impl AbstractSemigroup<Multiplicative> for i32fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl AbstractSemigroup<Multiplicative> for i64[src]
impl AbstractSemigroup<Multiplicative> for i64fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl AbstractSemigroup<Multiplicative> for isize[src]
impl AbstractSemigroup<Multiplicative> for isizefn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl AbstractMonoid<Multiplicative> for i8[src]
impl AbstractMonoid<Multiplicative> for i8fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Multiplicative> for i16[src]
impl AbstractMonoid<Multiplicative> for i16fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Multiplicative> for i32[src]
impl AbstractMonoid<Multiplicative> for i32fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Multiplicative> for i64[src]
impl AbstractMonoid<Multiplicative> for i64fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Multiplicative> for isize[src]
impl AbstractMonoid<Multiplicative> for isizefn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractRing<Additive, Multiplicative> for i8[src]
impl AbstractRing<Additive, Multiplicative> for i8fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRing<Additive, Multiplicative> for i16[src]
impl AbstractRing<Additive, Multiplicative> for i16fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRing<Additive, Multiplicative> for i32[src]
impl AbstractRing<Additive, Multiplicative> for i32fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRing<Additive, Multiplicative> for i64[src]
impl AbstractRing<Additive, Multiplicative> for i64fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRing<Additive, Multiplicative> for isize[src]
impl AbstractRing<Additive, Multiplicative> for isizefn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRingCommutative<Additive, Multiplicative> for i8[src]
impl AbstractRingCommutative<Additive, Multiplicative> for i8fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for i16[src]
impl AbstractRingCommutative<Additive, Multiplicative> for i16fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for i32[src]
impl AbstractRingCommutative<Additive, Multiplicative> for i32fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for i64[src]
impl AbstractRingCommutative<Additive, Multiplicative> for i64fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for isize[src]
impl AbstractRingCommutative<Additive, Multiplicative> for isizefn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication operator is commutative for the given argument tuple.
impl AbstractSemigroup<Multiplicative> for f32[src]
impl AbstractSemigroup<Multiplicative> for f32fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl AbstractSemigroup<Multiplicative> for f64[src]
impl AbstractSemigroup<Multiplicative> for f64fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if associativity holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_associative(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if associativity holds for the given arguments.
impl AbstractMonoid<Multiplicative> for f32[src]
impl AbstractMonoid<Multiplicative> for f32fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractMonoid<Multiplicative> for f64[src]
impl AbstractMonoid<Multiplicative> for f64fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, [src]
fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
Self: ApproxEq, Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications. Read more
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, [src]
fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
Self: Eq, Checks whether operating with the identity element is a no-op for the given argument. Read more
impl AbstractRing<Additive, Multiplicative> for f32[src]
impl AbstractRing<Additive, Multiplicative> for f32fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRing<Additive, Multiplicative> for f64[src]
impl AbstractRing<Additive, Multiplicative> for f64fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_and_add_are_distributive_approx(args: (Self, Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication and addition operators are distributive for the given argument tuple. Read more
impl AbstractRingCommutative<Additive, Multiplicative> for f32[src]
impl AbstractRingCommutative<Additive, Multiplicative> for f32fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication operator is commutative for the given argument tuple.
impl AbstractRingCommutative<Additive, Multiplicative> for f64[src]
impl AbstractRingCommutative<Additive, Multiplicative> for f64fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, Returns true if the multiplication operator is commutative for the given argument tuple.
impl AbstractQuasigroup<Multiplicative> for f32[src]
impl AbstractQuasigroup<Multiplicative> for f32fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq, Returns true if latin squareness holds for the given arguments.
impl AbstractQuasigroup<Multiplicative> for f64[src]
impl AbstractQuasigroup<Multiplicative> for f64fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications. Read more
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
Self: Eq, Returns true if latin squareness holds for the given arguments.
impl AbstractLoop<Multiplicative> for f32[src]
impl AbstractLoop<Multiplicative> for f32impl AbstractLoop<Multiplicative> for f64[src]
impl AbstractLoop<Multiplicative> for f64impl AbstractGroup<Multiplicative> for f32[src]
impl AbstractGroup<Multiplicative> for f32impl AbstractGroup<Multiplicative> for f64[src]
impl AbstractGroup<Multiplicative> for f64impl AbstractGroupAbelian<Multiplicative> for f32[src]
impl AbstractGroupAbelian<Multiplicative> for f32fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if the operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, Returns true if the operator is commutative for the given argument tuple.
impl AbstractGroupAbelian<Multiplicative> for f64[src]
impl AbstractGroupAbelian<Multiplicative> for f64fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, [src]
fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
Self: ApproxEq, Returns true if the operator is commutative for the given argument tuple. Approximate equality is used for verifications. Read more
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, [src]
fn prop_is_commutative(args: (Self, Self)) -> bool where
Self: Eq, Returns true if the operator is commutative for the given argument tuple.
impl AbstractField<Additive, Multiplicative> for f32[src]
impl AbstractField<Additive, Multiplicative> for f32impl AbstractField<Additive, Multiplicative> for f64[src]
impl AbstractField<Additive, Multiplicative> for f64impl Identity<Multiplicative> for u8[src]
impl Identity<Multiplicative> for u8fn identity() -> u8[src]
fn identity() -> u8The identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl Identity<Multiplicative> for u16[src]
impl Identity<Multiplicative> for u16fn identity() -> u16[src]
fn identity() -> u16The identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl Identity<Multiplicative> for u32[src]
impl Identity<Multiplicative> for u32fn identity() -> u32[src]
fn identity() -> u32The identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl Identity<Multiplicative> for u64[src]
impl Identity<Multiplicative> for u64fn identity() -> u64[src]
fn identity() -> u64The identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl Identity<Multiplicative> for usize[src]
impl Identity<Multiplicative> for usizefn identity() -> usize[src]
fn identity() -> usizeThe identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl Identity<Multiplicative> for i8[src]
impl Identity<Multiplicative> for i8fn identity() -> i8[src]
fn identity() -> i8The identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl Identity<Multiplicative> for i16[src]
impl Identity<Multiplicative> for i16fn identity() -> i16[src]
fn identity() -> i16The identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl Identity<Multiplicative> for i32[src]
impl Identity<Multiplicative> for i32fn identity() -> i32[src]
fn identity() -> i32The identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl Identity<Multiplicative> for i64[src]
impl Identity<Multiplicative> for i64fn identity() -> i64[src]
fn identity() -> i64The identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl Identity<Multiplicative> for isize[src]
impl Identity<Multiplicative> for isizefn identity() -> isize[src]
fn identity() -> isizeThe identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl Identity<Multiplicative> for f32[src]
impl Identity<Multiplicative> for f32fn identity() -> f32[src]
fn identity() -> f32The identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl Identity<Multiplicative> for f64[src]
impl Identity<Multiplicative> for f64fn identity() -> f64[src]
fn identity() -> f64The identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl<N: Num + Clone> Identity<Multiplicative> for Complex<N>[src]
impl<N: Num + Clone> Identity<Multiplicative> for Complex<N>fn identity() -> Self[src]
fn identity() -> SelfThe identity element.
fn id(_: O) -> Self where
Self: Sized, [src]
fn id(_: O) -> Self where
Self: Sized, Specific identity.
impl Clone for Multiplicative[src]
impl Clone for Multiplicativefn clone(&self) -> Multiplicative[src]
fn clone(&self) -> MultiplicativeReturns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)1.0.0[src]
fn clone_from(&mut self, source: &Self)Performs copy-assignment from source. Read more
impl Copy for Multiplicative[src]
impl Copy for Multiplicativeimpl Operator for Multiplicative[src]
impl Operator for Multiplicativefn operator_token() -> Self[src]
fn operator_token() -> SelfReturns the structure that identifies the operator.
impl Inverse<Multiplicative> for f32[src]
impl Inverse<Multiplicative> for f32fn inverse(&self) -> f32[src]
fn inverse(&self) -> f32Returns the inverse of self, relative to the operator O.
fn inverse_mut(&mut self)[src]
fn inverse_mut(&mut self)In-place inversin of self.
impl Inverse<Multiplicative> for f64[src]
impl Inverse<Multiplicative> for f64fn inverse(&self) -> f64[src]
fn inverse(&self) -> f64Returns the inverse of self, relative to the operator O.
fn inverse_mut(&mut self)[src]
fn inverse_mut(&mut self)In-place inversin of self.
impl<N: Num + Clone + ClosedNeg> Inverse<Multiplicative> for Complex<N>[src]
impl<N: Num + Clone + ClosedNeg> Inverse<Multiplicative> for Complex<N>fn inverse(&self) -> Self[src]
fn inverse(&self) -> SelfReturns the inverse of self, relative to the operator O.
fn inverse_mut(&mut self)[src]
fn inverse_mut(&mut self)In-place inversin of self.
Auto Trait Implementations
impl Send for Multiplicative
impl Send for Multiplicativeimpl Sync for Multiplicative
impl Sync for Multiplicative