Struct na::Multiplicative

pub struct Multiplicative;

The multiplication operator, commonly symbolized by ×.

Trait Implementations

impl<N> TwoSidedInverse<Multiplicative> for Unit<Quaternion<N>> where
    N: RealField, 

fn two_sided_inverse(&self) -> Unit<Quaternion<N>>

Returns the two_sided_inverse of self, relative to the operator O.

fn two_sided_inverse_mut(&mut self)

In-place inversion of self, relative to the operator O.

impl<N, D> TwoSidedInverse<Multiplicative> for Translation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, U1>, 

fn two_sided_inverse(&self) -> Translation<N, D>

Returns the two_sided_inverse of self, relative to the operator O.

fn two_sided_inverse_mut(&mut self)

In-place inversion of self, relative to the operator O.

impl<N, D, R> TwoSidedInverse<Multiplicative> for Similarity<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

fn two_sided_inverse(&self) -> Similarity<N, D, R>

Returns the two_sided_inverse of self, relative to the operator O.

fn two_sided_inverse_mut(&mut self)

In-place inversion of self, relative to the operator O.

impl<N, D, R> TwoSidedInverse<Multiplicative> for Isometry<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

fn two_sided_inverse(&self) -> Isometry<N, D, R>

Returns the two_sided_inverse of self, relative to the operator O.

fn two_sided_inverse_mut(&mut self)

In-place inversion of self, relative to the operator O.

impl<N> TwoSidedInverse<Multiplicative> for Unit<Complex<N>> where
    N: RealField, 

fn two_sided_inverse(&self) -> Unit<Complex<N>>

Returns the two_sided_inverse of self, relative to the operator O.

fn two_sided_inverse_mut(&mut self)

In-place inversion of self, relative to the operator O.

impl<N, D, C> TwoSidedInverse<Multiplicative> for Transform<N, D, C> where
    C: SubTCategoryOf<TProjective>,
    D: DimNameAdd<U1>,
    N: RealField,
    DefaultAllocator: Allocator<N, <D as DimNameAdd<U1>>::Output, <D as DimNameAdd<U1>>::Output>, 

fn two_sided_inverse(&self) -> Transform<N, D, C>

Returns the two_sided_inverse of self, relative to the operator O.

fn two_sided_inverse_mut(&mut self)

In-place inversion of self, relative to the operator O.

impl<N, D> TwoSidedInverse<Multiplicative> for Rotation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, D>, 

fn two_sided_inverse(&self) -> Rotation<N, D>

Returns the two_sided_inverse of self, relative to the operator O.

fn two_sided_inverse_mut(&mut self)

In-place inversion of self, relative to the operator O.

impl<N> AbstractGroup<Multiplicative> for Unit<Complex<N>> where
    N: RealField, 

impl<N> AbstractGroup<Multiplicative> for Unit<Quaternion<N>> where
    N: RealField, 

impl<N, D, R> AbstractGroup<Multiplicative> for Similarity<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

impl<N, D> AbstractGroup<Multiplicative> for Translation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, U1>, 

impl<N, D, R> AbstractGroup<Multiplicative> for Isometry<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

impl<N, D, C> AbstractGroup<Multiplicative> for Transform<N, D, C> where
    C: SubTCategoryOf<TProjective>,
    D: DimNameAdd<U1>,
    N: RealField,
    DefaultAllocator: Allocator<N, <D as DimNameAdd<U1>>::Output, <D as DimNameAdd<U1>>::Output>, 

impl<N, D> AbstractGroup<Multiplicative> for Rotation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, D>, 

impl<N> AbstractSemigroup<Multiplicative> for Quaternion<N> where
    N: RealField, 

default fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

default fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    Self: Eq, 

Returns true if associativity holds for the given arguments.

impl<N, D> AbstractSemigroup<Multiplicative> for Translation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, U1>, 

default fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

default fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    Self: Eq, 

Returns true if associativity holds for the given arguments.

impl<N, D> AbstractSemigroup<Multiplicative> for Rotation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, D>, 

default fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

default fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    Self: Eq, 

Returns true if associativity holds for the given arguments.

impl<N> AbstractSemigroup<Multiplicative> for Unit<Complex<N>> where
    N: RealField, 

default fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

default fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    Self: Eq, 

Returns true if associativity holds for the given arguments.

impl<N, D, R> AbstractSemigroup<Multiplicative> for Similarity<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

default fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

default fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    Self: Eq, 

Returns true if associativity holds for the given arguments.

impl<N, D> AbstractSemigroup<Multiplicative> for Matrix<N, D, D, <DefaultAllocator as Allocator<N, D, D>>::Buffer> where
    D: DimName,
    N: Scalar + Zero + One + ClosedAdd<N> + ClosedMul<N> + AbstractSemigroup<Multiplicative>,
    DefaultAllocator: Allocator<N, D, D>, 

default fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

default fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    Self: Eq, 

Returns true if associativity holds for the given arguments.

impl<N, D, C> AbstractSemigroup<Multiplicative> for Transform<N, D, C> where
    C: TCategory,
    D: DimNameAdd<U1>,
    N: RealField,
    DefaultAllocator: Allocator<N, <D as DimNameAdd<U1>>::Output, <D as DimNameAdd<U1>>::Output>, 

default fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

default fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    Self: Eq, 

Returns true if associativity holds for the given arguments.

impl<N, D, R> AbstractSemigroup<Multiplicative> for Isometry<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

default fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

default fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    Self: Eq, 

Returns true if associativity holds for the given arguments.

impl<N> AbstractSemigroup<Multiplicative> for Unit<Quaternion<N>> where
    N: RealField, 

default fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

default fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    Self: Eq, 

Returns true if associativity holds for the given arguments.

impl<N> Identity<Multiplicative> for Quaternion<N> where
    N: RealField, 

fn identity() -> Quaternion<N>

The identity element.

default fn id(O) -> Self

Specific identity.

impl<N> Identity<Multiplicative> for Unit<Quaternion<N>> where
    N: RealField, 

fn identity() -> Unit<Quaternion<N>>

The identity element.

default fn id(O) -> Self

Specific identity.

impl<N> Identity<Multiplicative> for Unit<Complex<N>> where
    N: RealField, 

fn identity() -> Unit<Complex<N>>

The identity element.

default fn id(O) -> Self

Specific identity.

impl<N, D, R> Identity<Multiplicative> for Similarity<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

fn identity() -> Similarity<N, D, R>

The identity element.

default fn id(O) -> Self

Specific identity.

impl<N, D> Identity<Multiplicative> for Translation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, U1>, 

fn identity() -> Translation<N, D>

The identity element.

default fn id(O) -> Self

Specific identity.

impl<N, D> Identity<Multiplicative> for Rotation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, D>, 

fn identity() -> Rotation<N, D>

The identity element.

default fn id(O) -> Self

Specific identity.

impl<N, D, C> Identity<Multiplicative> for Transform<N, D, C> where
    C: TCategory,
    D: DimNameAdd<U1>,
    N: RealField,
    DefaultAllocator: Allocator<N, <D as DimNameAdd<U1>>::Output, <D as DimNameAdd<U1>>::Output>, 

fn identity() -> Transform<N, D, C>

The identity element.

default fn id(O) -> Self

Specific identity.

impl<N, D, R> Identity<Multiplicative> for Isometry<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

fn identity() -> Isometry<N, D, R>

The identity element.

default fn id(O) -> Self

Specific identity.

impl<N, D> Identity<Multiplicative> for Matrix<N, D, D, <DefaultAllocator as Allocator<N, D, D>>::Buffer> where
    D: DimName,
    N: Scalar + Zero + One,
    DefaultAllocator: Allocator<N, D, D>, 

fn identity(
) -> Matrix<N, D, D, <DefaultAllocator as Allocator<N, D, D>>::Buffer>

The identity element.

default fn id(O) -> Self

Specific identity.

impl<N> AbstractModule<Additive, Additive, Multiplicative> for Quaternion<N> where
    N: RealField, 

type AbstractRing = N

The underlying scalar field.

fn multiply_by(&self, n: N) -> Quaternion<N>

Multiplies an element of the ring with an element of the module.

impl<N, R, C> AbstractModule<Additive, Additive, Multiplicative> for Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer> where
    C: DimName,
    N: Scalar + RingCommutative,
    R: DimName,
    DefaultAllocator: Allocator<N, R, C>, 

type AbstractRing = N

The underlying scalar field.

fn multiply_by(
    &self,
    n: N
) -> Matrix<N, R, C, <DefaultAllocator as Allocator<N, R, C>>::Buffer>

Multiplies an element of the ring with an element of the module.

impl<N, D, C> AbstractLoop<Multiplicative> for Transform<N, D, C> where
    C: SubTCategoryOf<TProjective>,
    D: DimNameAdd<U1>,
    N: RealField,
    DefaultAllocator: Allocator<N, <D as DimNameAdd<U1>>::Output, <D as DimNameAdd<U1>>::Output>, 

impl<N, D> AbstractLoop<Multiplicative> for Translation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, U1>, 

impl<N, D, R> AbstractLoop<Multiplicative> for Isometry<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

impl<N, D, R> AbstractLoop<Multiplicative> for Similarity<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

impl<N> AbstractLoop<Multiplicative> for Unit<Quaternion<N>> where
    N: RealField, 

impl<N> AbstractLoop<Multiplicative> for Unit<Complex<N>> where
    N: RealField, 

impl<N, D> AbstractLoop<Multiplicative> for Rotation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, D>, 

impl<N, D> AbstractMagma<Multiplicative> for Translation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, U1>, 

fn operate(&self, rhs: &Translation<N, D>) -> Translation<N, D>

Performs an operation.

default fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl<N, D> AbstractMagma<Multiplicative> for Matrix<N, D, D, <DefaultAllocator as Allocator<N, D, D>>::Buffer> where
    D: DimName,
    N: Scalar + Zero + One + ClosedAdd<N> + ClosedMul<N>,
    DefaultAllocator: Allocator<N, D, D>, 

fn operate(
    &self,
    other: &Matrix<N, D, D, <DefaultAllocator as Allocator<N, D, D>>::Buffer>
) -> Matrix<N, D, D, <DefaultAllocator as Allocator<N, D, D>>::Buffer>

Performs an operation.

default fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl<N, D, C> AbstractMagma<Multiplicative> for Transform<N, D, C> where
    C: TCategory,
    D: DimNameAdd<U1>,
    N: RealField,
    DefaultAllocator: Allocator<N, <D as DimNameAdd<U1>>::Output, <D as DimNameAdd<U1>>::Output>, 

fn operate(&self, rhs: &Transform<N, D, C>) -> Transform<N, D, C>

Performs an operation.

default fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl<N> AbstractMagma<Multiplicative> for Quaternion<N> where
    N: RealField, 

fn operate(&self, rhs: &Quaternion<N>) -> Quaternion<N>

Performs an operation.

default fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl<N, D> AbstractMagma<Multiplicative> for Rotation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, D>, 

fn operate(&self, rhs: &Rotation<N, D>) -> Rotation<N, D>

Performs an operation.

default fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl<N, D, R> AbstractMagma<Multiplicative> for Similarity<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

fn operate(&self, rhs: &Similarity<N, D, R>) -> Similarity<N, D, R>

Performs an operation.

default fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl<N> AbstractMagma<Multiplicative> for Unit<Complex<N>> where
    N: RealField, 

fn operate(&self, rhs: &Unit<Complex<N>>) -> Unit<Complex<N>>

Performs an operation.

default fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl<N> AbstractMagma<Multiplicative> for Unit<Quaternion<N>> where
    N: RealField, 

fn operate(&self, rhs: &Unit<Quaternion<N>>) -> Unit<Quaternion<N>>

Performs an operation.

default fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl<N, D, R> AbstractMagma<Multiplicative> for Isometry<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

fn operate(&self, rhs: &Isometry<N, D, R>) -> Isometry<N, D, R>

Performs an operation.

default fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl<N, D> AbstractMonoid<Multiplicative> for Translation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, U1>, 

default fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

default 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.

impl<N> AbstractMonoid<Multiplicative> for Unit<Complex<N>> where
    N: RealField, 

default fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

default 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.

impl<N> AbstractMonoid<Multiplicative> for Unit<Quaternion<N>> where
    N: RealField, 

default fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

default 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.

impl<N, D> AbstractMonoid<Multiplicative> for Rotation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, D>, 

default fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

default 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.

impl<N, D, R> AbstractMonoid<Multiplicative> for Similarity<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

default fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

default 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.

impl<N> AbstractMonoid<Multiplicative> for Quaternion<N> where
    N: RealField, 

default fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

default 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.

impl<N, D, C> AbstractMonoid<Multiplicative> for Transform<N, D, C> where
    C: TCategory,
    D: DimNameAdd<U1>,
    N: RealField,
    DefaultAllocator: Allocator<N, <D as DimNameAdd<U1>>::Output, <D as DimNameAdd<U1>>::Output>, 

default fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

default 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.

impl<N, D, R> AbstractMonoid<Multiplicative> for Isometry<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

default fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

default 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.

impl<N, D> AbstractMonoid<Multiplicative> for Matrix<N, D, D, <DefaultAllocator as Allocator<N, D, D>>::Buffer> where
    D: DimName,
    N: Scalar + Zero + One + ClosedAdd<N> + ClosedMul<N> + AbstractMonoid<Multiplicative> + One,
    DefaultAllocator: Allocator<N, D, D>, 

default fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

default 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.

impl<N, D> AbstractQuasigroup<Multiplicative> for Rotation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, D>, 

default fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications.

default 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, D, C> AbstractQuasigroup<Multiplicative> for Transform<N, D, C> where
    C: SubTCategoryOf<TProjective>,
    D: DimNameAdd<U1>,
    N: RealField,
    DefaultAllocator: Allocator<N, <D as DimNameAdd<U1>>::Output, <D as DimNameAdd<U1>>::Output>, 

default fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications.

default 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, D> AbstractQuasigroup<Multiplicative> for Translation<N, D> where
    D: DimName,
    N: RealField,
    DefaultAllocator: Allocator<N, D, U1>, 

default fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications.

default 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, D, R> AbstractQuasigroup<Multiplicative> for Isometry<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

default fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications.

default 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> AbstractQuasigroup<Multiplicative> for Unit<Complex<N>> where
    N: RealField, 

default fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications.

default 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> AbstractQuasigroup<Multiplicative> for Unit<Quaternion<N>> where
    N: RealField, 

default fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications.

default 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, D, R> AbstractQuasigroup<Multiplicative> for Similarity<N, D, R> where
    D: DimName,
    N: RealField,
    R: Rotation<Point<N, D>>,
    DefaultAllocator: Allocator<N, D, U1>, 

default fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications.

default 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> AbstractRingCommutative<Additive, Multiplicative> for Complex<N> where
    N: AbstractRingCommutative<Additive, Multiplicative> + ClosedNeg + Clone + Num, 

default fn prop_mul_is_commutative_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if the multiplication operator is commutative for the given argument tuple. Approximate equality is used for verifications.

default 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 Copy for Multiplicative

impl Clone for Multiplicative

fn clone(&self) -> Multiplicative

Returns a copy of the value.

default fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<N> AbstractGroup<Multiplicative> for Complex<N> where
    N: Num + Clone + ClosedNeg, 

impl<N> AbstractLoop<Multiplicative> for Complex<N> where
    N: Num + Clone + ClosedNeg, 

impl<N> TwoSidedInverse<Multiplicative> for Complex<N> where
    N: ClosedNeg + Clone + Num, 

fn two_sided_inverse(&self) -> Complex<N>

Returns the two_sided_inverse of self, relative to the operator O.

default fn two_sided_inverse_mut(&mut self)

In-place inversion of self, relative to the operator O.

impl<N> AbstractModule<Additive, Additive, Multiplicative> for Complex<N> where
    N: AbstractRingCommutative<Additive, Multiplicative> + ClosedNeg + Num, 

type AbstractRing = N

The underlying scalar field.

fn multiply_by(&self, r: N) -> Complex<N>

Multiplies an element of the ring with an element of the module.

impl<N> AbstractField<Additive, Multiplicative> for Complex<N> where
    N: AbstractField<Additive, Multiplicative> + ClosedNeg + Clone + Num, 

impl<N> AbstractQuasigroup<Multiplicative> for Complex<N> where
    N: Num + Clone + ClosedNeg, 

default fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications.

default 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> AbstractMagma<Multiplicative> for Complex<N> where
    N: Clone + Num, 

fn operate(&self, lhs: &Complex<N>) -> Complex<N>

Performs an operation.

default fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl Operator for Multiplicative

fn operator_token() -> Multiplicative

Returns the structure that identifies the operator.

impl Identity<Multiplicative> for f32

fn identity() -> f32

The identity element.

default fn id(O) -> Self

Specific identity.

impl Identity<Multiplicative> for i32

fn identity() -> i32

The identity element.

default fn id(O) -> Self

Specific identity.

impl Identity<Multiplicative> for i8

fn identity() -> i8

The identity element.

default fn id(O) -> Self

Specific identity.

impl Identity<Multiplicative> for u64

fn identity() -> u64

The identity element.

default fn id(O) -> Self

Specific identity.

impl Identity<Multiplicative> for isize

fn identity() -> isize

The identity element.

default fn id(O) -> Self

Specific identity.

impl Identity<Multiplicative> for u16

fn identity() -> u16

The identity element.

default fn id(O) -> Self

Specific identity.

impl Identity<Multiplicative> for i64

fn identity() -> i64

The identity element.

default fn id(O) -> Self

Specific identity.

impl Identity<Multiplicative> for i16

fn identity() -> i16

The identity element.

default fn id(O) -> Self

Specific identity.

impl<N> Identity<Multiplicative> for Complex<N> where
    N: Clone + Num, 

fn identity() -> Complex<N>

The identity element.

default fn id(O) -> Self

Specific identity.

impl Identity<Multiplicative> for u32

fn identity() -> u32

The identity element.

default fn id(O) -> Self

Specific identity.

impl Identity<Multiplicative> for f64

fn identity() -> f64

The identity element.

default fn id(O) -> Self

Specific identity.

impl Identity<Multiplicative> for usize

fn identity() -> usize

The identity element.

default fn id(O) -> Self

Specific identity.

impl Identity<Multiplicative> for u8

fn identity() -> u8

The identity element.

default fn id(O) -> Self

Specific identity.

impl<N> AbstractRing<Additive, Multiplicative> for Complex<N> where
    N: AbstractRing<Additive, Multiplicative> + ClosedNeg + Clone + Num, 

default fn prop_mul_and_add_are_distributive_approx(
    args: (Self, Self, Self)
) -> bool where
    Self: RelativeEq<Self>, 

Returns true if the multiplication and addition operators are distributive for the given argument tuple. Approximate equality is used for verifications.

default 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.

impl<N> AbstractGroupAbelian<Multiplicative> for Complex<N> where
    N: Num + Clone + ClosedNeg, 

default fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if the operator is commutative for the given argument tuple. Approximate equality is used for verifications.

default fn prop_is_commutative(args: (Self, Self)) -> bool where
    Self: Eq, 

Returns true if the operator is commutative for the given argument tuple.

impl<N> AbstractMonoid<Multiplicative> for Complex<N> where
    N: Num + Clone + ClosedNeg, 

default fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

default 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.

impl<N> AbstractSemigroup<Multiplicative> for Complex<N> where
    N: Num + Clone + ClosedNeg, 

default fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

default fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    Self: Eq, 

Returns true if associativity holds for the given arguments.