[][src]Struct nalgebra::Id

#[repr(C)]
pub struct Id<O = Multiplicative> where
    O: Operator
{ /* fields omitted */ }

The universal identity element wrt. a given operator, usually noted Id with a context-dependent subscript.

By default, it is the multiplicative identity element. It represents the degenerate set containing only the identity element of any group-like structure. It has no dimension known at compile-time. All its operations are no-ops.

Methods

impl<O> Id<O> where
    O: Operator
[src]

pub fn new() -> Id<O>[src]

Creates a new identity element.

Trait Implementations

impl DivAssign<Id<Multiplicative>> for Id<Multiplicative>[src]

impl<O> RelativeEq<Id<O>> for Id<O> where
    O: Operator
[src]

fn relative_ne(
    &self,
    other: &Rhs,
    epsilon: Self::Epsilon,
    max_relative: Self::Epsilon
) -> bool
[src]

The inverse of ApproxEq::relative_eq.

impl<E> Scaling<E> for Id<Multiplicative> where
    E: EuclideanSpace
[src]

fn to_real(&self) -> <E as EuclideanSpace>::RealField[src]

Converts this scaling factor to a real. Same as self.to_superset().

fn from_real(r: <E as EuclideanSpace>::RealField) -> Option<Self>[src]

Attempts to convert a real to an element of this scaling subgroup. Same as Self::from_superset(). Returns None if no such scaling is possible for this subgroup. Read more

fn powf(&self, n: <E as EuclideanSpace>::RealField) -> Option<Self>[src]

Raises the scaling to a power. The result must be equivalent to self.to_superset().powf(n). Returns None if the result is not representable by Self. Read more

fn scale_between(
    a: &<E as EuclideanSpace>::Coordinates,
    b: &<E as EuclideanSpace>::Coordinates
) -> Option<Self>
[src]

The scaling required to make a have the same norm as b, i.e., |b| = |a| * norm_ratio(a, b). Read more

impl<E> Isometry<E> for Id<Multiplicative> where
    E: EuclideanSpace
[src]

impl Div<Id<Multiplicative>> for Id<Multiplicative>[src]

type Output = Id<Multiplicative>

The resulting type after applying the / operator.

impl<O> AbstractGroup<O> for Id<O> where
    O: Operator
[src]

impl Add<Id<Additive>> for Id<Additive>[src]

type Output = Id<Additive>

The resulting type after applying the + operator.

impl<O> AbstractLoop<O> for Id<O> where
    O: Operator
[src]

impl<E> Similarity<E> for Id<Multiplicative> where
    E: EuclideanSpace
[src]

type Scaling = Id<Multiplicative>

The type of the pure (uniform) scaling part of this similarity transformation.

fn translate_point(&self, pt: &E) -> E[src]

Applies this transformation's pure translational part to a point.

fn rotate_point(&self, pt: &E) -> E[src]

Applies this transformation's pure rotational part to a point.

fn scale_point(&self, pt: &E) -> E[src]

Applies this transformation's pure scaling part to a point.

fn rotate_vector(
    &self,
    pt: &<E as EuclideanSpace>::Coordinates
) -> <E as EuclideanSpace>::Coordinates
[src]

Applies this transformation's pure rotational part to a vector.

fn scale_vector(
    &self,
    pt: &<E as EuclideanSpace>::Coordinates
) -> <E as EuclideanSpace>::Coordinates
[src]

Applies this transformation's pure scaling part to a vector.

fn inverse_translate_point(&self, pt: &E) -> E[src]

Applies this transformation inverse's pure translational part to a point.

fn inverse_rotate_point(&self, pt: &E) -> E[src]

Applies this transformation inverse's pure rotational part to a point.

fn inverse_scale_point(&self, pt: &E) -> E[src]

Applies this transformation inverse's pure scaling part to a point.

fn inverse_rotate_vector(
    &self,
    pt: &<E as EuclideanSpace>::Coordinates
) -> <E as EuclideanSpace>::Coordinates
[src]

Applies this transformation inverse's pure rotational part to a vector.

fn inverse_scale_vector(
    &self,
    pt: &<E as EuclideanSpace>::Coordinates
) -> <E as EuclideanSpace>::Coordinates
[src]

Applies this transformation inverse's pure scaling part to a vector.

impl<O> Debug for Id<O> where
    O: Operator + Debug
[src]

impl<O> JoinSemilattice for Id<O> where
    O: Operator
[src]

impl<O> Eq for Id<O> where
    O: Operator
[src]

impl<O> AbsDiffEq<Id<O>> for Id<O> where
    O: Operator
[src]

type Epsilon = Id<O>

Used for specifying relative comparisons.

fn abs_diff_ne(&self, other: &Rhs, epsilon: Self::Epsilon) -> bool[src]

The inverse of ApproxEq::abs_diff_eq.

impl<E> AffineTransformation<E> for Id<Multiplicative> where
    E: EuclideanSpace
[src]

type Rotation = Id<Multiplicative>

Type of the first rotation to be applied.

type NonUniformScaling = Id<Multiplicative>

Type of the non-uniform scaling to be applied.

type Translation = Id<Multiplicative>

The type of the pure translation part of this affine transformation.

fn append_rotation_wrt_point(&self, r: &Self::Rotation, p: &E) -> Option<Self>[src]

Appends to this similarity a rotation centered at the point p, i.e., this point is left invariant. Read more

impl<O> TwoSidedInverse<O> for Id<O> where
    O: Operator
[src]

impl<E> ProjectiveTransformation<E> for Id<Multiplicative> where
    E: EuclideanSpace
[src]

impl<E> Transformation<E> for Id<Multiplicative> where
    E: EuclideanSpace
[src]

impl AddAssign<Id<Additive>> for Id<Additive>[src]

impl<E> Rotation<E> for Id<Multiplicative> where
    E: EuclideanSpace
[src]

impl MulAssign<Id<Multiplicative>> for Id<Multiplicative>[src]

impl<E> DirectIsometry<E> for Id<Multiplicative> where
    E: EuclideanSpace
[src]

impl<O, T> SubsetOf<T> for Id<O> where
    O: Operator,
    T: Identity<O> + PartialEq<T>, 
[src]

fn from_superset(element: &T) -> Option<Self>[src]

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more

impl<O> PartialEq<Id<O>> for Id<O> where
    O: Operator
[src]

#[must_use]
fn ne(&self, other: &Rhs) -> bool
1.0.0
[src]

This method tests for !=.

impl Mul<Id<Multiplicative>> for Id<Multiplicative>[src]

type Output = Id<Multiplicative>

The resulting type after applying the * operator.

impl<O> Display for Id<O> where
    O: Operator
[src]

impl<O> MeetSemilattice for Id<O> where
    O: Operator
[src]

impl<O> AbstractQuasigroup<O> for Id<O> where
    O: Operator
[src]

fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 
[src]

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]

Returns true if latin squareness holds for the given arguments. Read more

impl<O> AbstractMagma<O> for Id<O> where
    O: Operator
[src]

fn op(&self, O, lhs: &Self) -> Self[src]

Performs specific operation.

impl<O> Clone for Id<O> where
    O: Operator
[src]

fn clone_from(&mut self, source: &Self)
1.0.0
[src]

Performs copy-assignment from source. Read more

impl<O> PartialOrd<Id<O>> for Id<O> where
    O: Operator
[src]

#[must_use]
fn lt(&self, other: &Rhs) -> bool
1.0.0
[src]

This method tests less than (for self and other) and is used by the < operator. Read more

#[must_use]
fn le(&self, other: &Rhs) -> bool
1.0.0
[src]

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more

#[must_use]
fn gt(&self, other: &Rhs) -> bool
1.0.0
[src]

This method tests greater than (for self and other) and is used by the > operator. Read more

#[must_use]
fn ge(&self, other: &Rhs) -> bool
1.0.0
[src]

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more

impl<O> Identity<O> for Id<O> where
    O: Operator
[src]

fn id(O) -> Self[src]

Specific identity.

impl<O> Copy for Id<O> where
    O: Operator
[src]

impl<E> Translation<E> for Id<Multiplicative> where
    E: EuclideanSpace
[src]

fn powf(&self, n: <E as EuclideanSpace>::RealField) -> Option<Self>[src]

Raises the translation to a power. The result must be equivalent to self.to_superset() * n. Returns None if the result is not representable by Self. Read more

fn translation_between(a: &E, b: &E) -> Option<Self>[src]

The translation needed to make a coincide with b, i.e., b = a * translation_to(a, b).

impl<E> OrthogonalTransformation<E> for Id<Multiplicative> where
    E: EuclideanSpace
[src]

impl<O> AbstractGroupAbelian<O> for Id<O> where
    O: Operator
[src]

fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 
[src]

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]

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

impl<O> AbstractMonoid<O> for Id<O> where
    O: Operator
[src]

fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 
[src]

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]

Checks whether operating with the identity element is a no-op for the given argument. Read more

impl<O> Lattice for Id<O> where
    O: Operator
[src]

fn meet_join(&self, other: &Self) -> (Self, Self)[src]

Returns the infimum and the supremum simultaneously.

fn partial_min(&'a self, other: &'a Self) -> Option<&'a Self>[src]

Return the minimum of self and other if they are comparable.

fn partial_max(&'a self, other: &'a Self) -> Option<&'a Self>[src]

Return the maximum of self and other if they are comparable.

fn partial_sort2(&'a self, other: &'a Self) -> Option<(&'a Self, &'a Self)>[src]

Sorts two values in increasing order using a partial ordering.

fn partial_clamp(&'a self, min: &'a Self, max: &'a Self) -> Option<&'a Self>[src]

Clamp value between min and max. Returns None if value is not comparable to min or max. Read more

impl<O> AbstractSemigroup<O> for Id<O> where
    O: Operator
[src]

fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 
[src]

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]

Returns true if associativity holds for the given arguments.

impl Zero for Id<Additive>[src]

impl<O> UlpsEq<Id<O>> for Id<O> where
    O: Operator
[src]

fn ulps_ne(&self, other: &Rhs, epsilon: Self::Epsilon, max_ulps: u32) -> bool[src]

The inverse of ApproxEq::ulps_eq.

impl One for Id<Multiplicative>[src]

fn is_one(&self) -> bool where
    Self: PartialEq<Self>, 
[src]

Returns true if self is equal to the multiplicative identity. Read more

Auto Trait Implementations

impl<O> Send for Id<O> where
    O: Send

impl<O> Sync for Id<O> where
    O: Sync

Blanket Implementations

impl<T, U> Into for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T> From for T[src]

impl<T, U> TryFrom for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized
[src]

impl<T> BorrowMut for T where
    T: ?Sized
[src]

impl<T, U> TryInto for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Same for T[src]

type Output = T

Should always be Self

impl<T, Right> ClosedAdd for T where
    T: Add<Right, Output = T> + AddAssign<Right>, 
[src]

impl<T, Right> ClosedMul for T where
    T: Mul<Right, Output = T> + MulAssign<Right>, 
[src]

impl<T, Right> ClosedDiv for T where
    T: Div<Right, Output = T> + DivAssign<Right>, 
[src]

impl<SS, SP> SupersetOf for SP where
    SS: SubsetOf<SP>, 
[src]

impl<T> AdditiveMagma for T where
    T: AbstractMagma<Additive>, 
[src]

impl<T> AdditiveSemigroup for T where
    T: AbstractSemigroup<Additive> + ClosedAdd<T> + AdditiveMagma
[src]

impl<T> AdditiveMonoid for T where
    T: AbstractMonoid<Additive> + AdditiveSemigroup + Zero
[src]

impl<T> MultiplicativeMagma for T where
    T: AbstractMagma<Multiplicative>, 
[src]

impl<T> MultiplicativeQuasigroup for T where
    T: AbstractQuasigroup<Multiplicative> + ClosedDiv<T> + MultiplicativeMagma
[src]

impl<T> MultiplicativeLoop for T where
    T: AbstractLoop<Multiplicative> + MultiplicativeQuasigroup + One
[src]

impl<T> MultiplicativeSemigroup for T where
    T: AbstractSemigroup<Multiplicative> + ClosedMul<T> + MultiplicativeMagma
[src]

impl<T> MultiplicativeMonoid for T where
    T: AbstractMonoid<Multiplicative> + MultiplicativeSemigroup + One
[src]

impl<T> MultiplicativeGroup for T where
    T: AbstractGroup<Multiplicative> + MultiplicativeLoop + MultiplicativeMonoid
[src]

impl<T> MultiplicativeGroupAbelian for T where
    T: AbstractGroupAbelian<Multiplicative> + MultiplicativeGroup
[src]

impl<R, E> Transformation for R where
    E: EuclideanSpace<RealField = R>,
    R: RealField,
    <E as EuclideanSpace>::Coordinates: ClosedMul<R>,
    <E as EuclideanSpace>::Coordinates: ClosedDiv<R>,
    <E as EuclideanSpace>::Coordinates: ClosedNeg
[src]

impl<R, E> ProjectiveTransformation for R where
    E: EuclideanSpace<RealField = R>,
    R: RealField,
    <E as EuclideanSpace>::Coordinates: ClosedMul<R>,
    <E as EuclideanSpace>::Coordinates: ClosedDiv<R>,
    <E as EuclideanSpace>::Coordinates: ClosedNeg
[src]

impl<R, E> AffineTransformation for R where
    E: EuclideanSpace<RealField = R>,
    R: RealField,
    <E as EuclideanSpace>::Coordinates: ClosedMul<R>,
    <E as EuclideanSpace>::Coordinates: ClosedDiv<R>,
    <E as EuclideanSpace>::Coordinates: ClosedNeg
[src]

type Rotation = Id<Multiplicative>

Type of the first rotation to be applied.

type NonUniformScaling = R

Type of the non-uniform scaling to be applied.

type Translation = Id<Multiplicative>

The type of the pure translation part of this affine transformation.

fn append_rotation_wrt_point(&self, r: &Self::Rotation, p: &E) -> Option<Self>[src]

Appends to this similarity a rotation centered at the point p, i.e., this point is left invariant. Read more

impl<R, E> Similarity for R where
    E: EuclideanSpace<RealField = R>,
    R: RealField + SubsetOf<R>,
    <E as EuclideanSpace>::Coordinates: ClosedMul<R>,
    <E as EuclideanSpace>::Coordinates: ClosedDiv<R>,
    <E as EuclideanSpace>::Coordinates: ClosedNeg
[src]

type Scaling = R

The type of the pure (uniform) scaling part of this similarity transformation.

fn translate_point(&self, pt: &E) -> E[src]

Applies this transformation's pure translational part to a point.

fn rotate_point(&self, pt: &E) -> E[src]

Applies this transformation's pure rotational part to a point.

fn scale_point(&self, pt: &E) -> E[src]

Applies this transformation's pure scaling part to a point.

fn rotate_vector(
    &self,
    pt: &<E as EuclideanSpace>::Coordinates
) -> <E as EuclideanSpace>::Coordinates
[src]

Applies this transformation's pure rotational part to a vector.

fn scale_vector(
    &self,
    pt: &<E as EuclideanSpace>::Coordinates
) -> <E as EuclideanSpace>::Coordinates
[src]

Applies this transformation's pure scaling part to a vector.

fn inverse_translate_point(&self, pt: &E) -> E[src]

Applies this transformation inverse's pure translational part to a point.

fn inverse_rotate_point(&self, pt: &E) -> E[src]

Applies this transformation inverse's pure rotational part to a point.

fn inverse_scale_point(&self, pt: &E) -> E[src]

Applies this transformation inverse's pure scaling part to a point.

fn inverse_rotate_vector(
    &self,
    pt: &<E as EuclideanSpace>::Coordinates
) -> <E as EuclideanSpace>::Coordinates
[src]

Applies this transformation inverse's pure rotational part to a vector.

fn inverse_scale_vector(
    &self,
    pt: &<E as EuclideanSpace>::Coordinates
) -> <E as EuclideanSpace>::Coordinates
[src]

Applies this transformation inverse's pure scaling part to a vector.

impl<R, E> Scaling for R where
    E: EuclideanSpace<RealField = R>,
    R: RealField + SubsetOf<R>,
    <E as EuclideanSpace>::Coordinates: ClosedMul<R>,
    <E as EuclideanSpace>::Coordinates: ClosedDiv<R>,
    <E as EuclideanSpace>::Coordinates: ClosedNeg
[src]