Struct nalgebra::geometry::Quaternion

#[repr(C)]
pub struct Quaternion<N: Real> {
    pub coords: Vector4<N>,
}

A quaternion. See the type alias UnitQuaternion = Unit<Quaternion> for a quaternion that may be used as a rotation.

Fields

coords: Vector4<N>

This quaternion as a 4D vector of coordinates in the [ x, y, z, w ] storage order.

Implementations

impl<N: Real> Quaternion<N>

pub fn into_owned(self) -> Quaternion<N>

👎Deprecated: This method is a no-op and will be removed in a future release.

Moves this unit quaternion into one that owns its data.

pub fn clone_owned(&self) -> Quaternion<N>

👎Deprecated: This method is a no-op and will be removed in a future release.

Clones this unit quaternion into one that owns its data.

pub fn normalize(&self) -> Quaternion<N>

Normalizes this quaternion.

Example

let q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
let q_normalized = q.normalize();
relative_eq!(q_normalized.norm(), 1.0);

pub fn conjugate(&self) -> Quaternion<N>

The conjugate of this quaternion.

Example

let q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
let conj = q.conjugate();
assert!(conj.i == -2.0 && conj.j == -3.0 && conj.k == -4.0 && conj.w == 1.0);

pub fn try_inverse(&self) -> Option<Quaternion<N>>

Inverts this quaternion if it is not zero.

Example

let q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
let inv_q = q.try_inverse();

assert!(inv_q.is_some());
assert_relative_eq!(inv_q.unwrap() * q, Quaternion::identity());

//Non-invertible case
let q = Quaternion::new(0.0, 0.0, 0.0, 0.0);
let inv_q = q.try_inverse();

assert!(inv_q.is_none());

pub fn lerp(&self, other: &Quaternion<N>, t: N) -> Quaternion<N>

Linear interpolation between two quaternion.

Computes self * (1 - t) + other * t.

Example

let q1 = Quaternion::new(1.0, 2.0, 3.0, 4.0);
let q2 = Quaternion::new(10.0, 20.0, 30.0, 40.0);

assert_eq!(q1.lerp(&q2, 0.1), Quaternion::new(1.9, 3.8, 5.7, 7.6));

pub fn vector(
    &self
) -> MatrixSlice<'_, N, U3, U1, RStride<N, U4, U1>, CStride<N, U4, U1>>

The vector part (i, j, k) of this quaternion.

Example

let q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
assert_eq!(q.vector()[0], 2.0);
assert_eq!(q.vector()[1], 3.0);
assert_eq!(q.vector()[2], 4.0);

pub fn scalar(&self) -> N

The scalar part w of this quaternion.

Example

let q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
assert_eq!(q.scalar(), 1.0);

pub fn as_vector(&self) -> &Vector4<N>

Reinterprets this quaternion as a 4D vector.

Example

let q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
// Recall that the quaternion is stored internally as (i, j, k, w)
// while the ::new constructor takes the arguments as (w, i, j, k).
assert_eq!(*q.as_vector(), Vector4::new(2.0, 3.0, 4.0, 1.0));

pub fn norm(&self) -> N

The norm of this quaternion.

Example

let q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
assert_relative_eq!(q.norm(), 5.47722557, epsilon = 1.0e-6);

pub fn magnitude(&self) -> N

A synonym for the norm of this quaternion.

Aka the length. This is the same as .norm()

Example

let q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
assert_relative_eq!(q.magnitude(), 5.47722557, epsilon = 1.0e-6);

pub fn norm_squared(&self) -> N

The squared norm of this quaternion.

Example

let q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
assert_eq!(q.magnitude_squared(), 30.0);

pub fn magnitude_squared(&self) -> N

A synonym for the squared norm of this quaternion.

Aka the squared length. This is the same as .norm_squared()

Example

let q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
assert_eq!(q.magnitude_squared(), 30.0);

pub fn dot(&self, rhs: &Self) -> N

The dot product of two quaternions.

Example

let q1 = Quaternion::new(1.0, 2.0, 3.0, 4.0);
let q2 = Quaternion::new(5.0, 6.0, 7.0, 8.0);
assert_eq!(q1.dot(&q2), 70.0);

pub fn polar_decomposition(&self) -> (N, N, Option<Unit<Vector3<N>>>)

The polar decomposition of this quaternion.

Returns, from left to right: the quaternion norm, the half rotation angle, the rotation axis. If the rotation angle is zero, the rotation axis is set to None.

Example

let q = Quaternion::new(0.0, 5.0, 0.0, 0.0);
let (norm, half_ang, axis) = q.polar_decomposition();
assert_eq!(norm, 5.0);
assert_eq!(half_ang, f32::consts::FRAC_PI_2);
assert_eq!(axis, Some(Vector3::x_axis()));

pub fn ln(&self) -> Quaternion<N>

Compute the natural logarithm of a quaternion.

Example

let q = Quaternion::new(2.0, 5.0, 0.0, 0.0);
assert_relative_eq!(q.ln(), Quaternion::new(1.683647, 1.190289, 0.0, 0.0), epsilon = 1.0e-6)

pub fn exp(&self) -> Quaternion<N>

Compute the exponential of a quaternion.

Example

let q = Quaternion::new(1.683647, 1.190289, 0.0, 0.0);
assert_relative_eq!(q.exp(), Quaternion::new(2.0, 5.0, 0.0, 0.0), epsilon = 1.0e-5)

pub fn exp_eps(&self, eps: N) -> Quaternion<N>

Compute the exponential of a quaternion. Returns the identity if the vector part of this quaternion has a norm smaller than eps.

Example

let q = Quaternion::new(1.683647, 1.190289, 0.0, 0.0);
assert_relative_eq!(q.exp_eps(1.0e-6), Quaternion::new(2.0, 5.0, 0.0, 0.0), epsilon = 1.0e-5);

// Singular case.
let q = Quaternion::new(0.0000001, 0.0, 0.0, 0.0);
assert_eq!(q.exp_eps(1.0e-6), Quaternion::identity());

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

Raise the quaternion to a given floating power.

Example

let q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
assert_relative_eq!(q.powf(1.5), Quaternion::new( -6.2576659, 4.1549037, 6.2323556, 8.3098075), epsilon = 1.0e-6);

pub fn as_vector_mut(&mut self) -> &mut Vector4<N>

Transforms this quaternion into its 4D vector form (Vector part, Scalar part).

Example

let mut q = Quaternion::identity();
*q.as_vector_mut() = Vector4::new(1.0, 2.0, 3.0, 4.0);
assert!(q.i == 1.0 && q.j == 2.0 && q.k == 3.0 && q.w == 4.0);

pub fn vector_mut(
    &mut self
) -> MatrixSliceMut<'_, N, U3, U1, RStride<N, U4, U1>, CStride<N, U4, U1>>

The mutable vector part (i, j, k) of this quaternion.

Example

let mut q = Quaternion::identity();
{
    let mut v = q.vector_mut();
    v[0] = 2.0;
    v[1] = 3.0;
    v[2] = 4.0;
}
assert!(q.i == 2.0 && q.j == 3.0 && q.k == 4.0 && q.w == 1.0);

pub fn conjugate_mut(&mut self)

Replaces this quaternion by its conjugate.

Example

let mut q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
q.conjugate_mut();
assert!(q.i == -2.0 && q.j == -3.0 && q.k == -4.0 && q.w == 1.0);

pub fn try_inverse_mut(&mut self) -> bool

Inverts this quaternion in-place if it is not zero.

Example

let mut q = Quaternion::new(1.0, 2.0, 3.0, 4.0);

assert!(q.try_inverse_mut());
assert_relative_eq!(q * Quaternion::new(1.0, 2.0, 3.0, 4.0), Quaternion::identity());

//Non-invertible case
let mut q = Quaternion::new(0.0, 0.0, 0.0, 0.0);
assert!(!q.try_inverse_mut());

pub fn normalize_mut(&mut self) -> N

Normalizes this quaternion.

Example

let mut q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
q.normalize_mut();
assert_relative_eq!(q.norm(), 1.0);

impl<N: Real> Quaternion<N>

pub fn from_vector(vector: Vector4<N>) -> Self

👎Deprecated: Use ::from instead.

Creates a quaternion from a 4D vector. The quaternion scalar part corresponds to the w vector component.

pub fn new(w: N, i: N, j: N, k: N) -> Self

Creates a new quaternion from its individual components. Note that the arguments order does not follow the storage order.

The storage order is [ i, j, k, w ] while the arguments for this functions are in the order (w, i, j, k).

Example

let q = Quaternion::new(1.0, 2.0, 3.0, 4.0);
assert!(q.i == 2.0 && q.j == 3.0 && q.k == 4.0 && q.w == 1.0);
assert_eq!(*q.as_vector(), Vector4::new(2.0, 3.0, 4.0, 1.0));

pub fn from_parts<SB>(scalar: N, vector: Vector<N, U3, SB>) -> Selfwhere
    SB: Storage<N, U3>,

Creates a new quaternion from its scalar and vector parts. Note that the arguments order does not follow the storage order.

The storage order is [ vector, scalar ].

Example

let w = 1.0;
let ijk = Vector3::new(2.0, 3.0, 4.0);
let q = Quaternion::from_parts(w, ijk);
assert!(q.i == 2.0 && q.j == 3.0 && q.k == 4.0 && q.w == 1.0);
assert_eq!(*q.as_vector(), Vector4::new(2.0, 3.0, 4.0, 1.0));

pub fn from_polar_decomposition<SB>(
    scale: N,
    theta: N,
    axis: Unit<Vector<N, U3, SB>>
) -> Selfwhere
    SB: Storage<N, U3>,

Creates a new quaternion from its polar decomposition.

Note that axis is assumed to be a unit vector.

pub fn identity() -> Self

The quaternion multiplicative identity.

Example

let q = Quaternion::identity();
let q2 = Quaternion::new(1.0, 2.0, 3.0, 4.0);

assert_eq!(q * q2, q2);
assert_eq!(q2 * q, q2);

Trait Implementations

impl<N: Real + AbsDiffEq<Epsilon = N>> AbsDiffEq<Quaternion<N>> for Quaternion<N>

type Epsilon = N

Used for specifying relative comparisons.

fn default_epsilon() -> Self::Epsilon

The default tolerance to use when testing values that are close together.

fn abs_diff_eq(&self, other: &Self, epsilon: Self::Epsilon) -> bool

A test for equality that uses the absolute difference to compute the approximate equality of two numbers.

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

The inverse of ApproxEq::abs_diff_eq.

impl<N: Real> AbstractGroupAbelian<Additive> for Quaternion<N>

fn prop_is_commutative_approx(args: (Self, Self)) -> boolwhere
    Self: RelativeEq<Self>,

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

impl<N: Real> AbstractMagma<Additive> for Quaternion<N>

fn operate(&self, rhs: &Self) -> Self

Performs an operation.

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

Performs specific operation.

impl<N: Real> AbstractMagma<Multiplicative> for Quaternion<N>

fn operate(&self, rhs: &Self) -> Self

Performs an operation.

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

Performs specific operation.

impl<N: Real> AbstractModule<Additive, Additive, Multiplicative> for Quaternion<N>

type AbstractRing = N

The underlying scalar field.

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

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

impl<N: Real> AbstractMonoid<Additive> for Quaternion<N>

fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> boolwhere
    Self: RelativeEq<Self>,

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

impl<N: Real> AbstractMonoid<Multiplicative> for Quaternion<N>

fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> boolwhere
    Self: RelativeEq<Self>,

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

impl<N: Real> AbstractQuasigroup<Additive> for Quaternion<N>

fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> boolwhere
    Self: RelativeEq<Self>,

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

impl<N: Real> AbstractSemigroup<Additive> for Quaternion<N>

fn prop_is_associative_approx(args: (Self, Self, Self)) -> boolwhere
    Self: RelativeEq<Self>,

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

impl<N: Real> AbstractSemigroup<Multiplicative> for Quaternion<N>

fn prop_is_associative_approx(args: (Self, Self, Self)) -> boolwhere
    Self: RelativeEq<Self>,

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

impl<'a, 'b, N: Real> Add<&'b Quaternion<N>> for &'a Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

type Output = Quaternion<N>

The resulting type after applying the + operator.

fn add(self, rhs: &'b Quaternion<N>) -> Self::Output

Performs the + operation.

impl<'b, N: Real> Add<&'b Quaternion<N>> for Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

type Output = Quaternion<N>

The resulting type after applying the + operator.

fn add(self, rhs: &'b Quaternion<N>) -> Self::Output

Performs the + operation.

impl<'a, N: Real> Add<Quaternion<N>> for &'a Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

type Output = Quaternion<N>

The resulting type after applying the + operator.

fn add(self, rhs: Quaternion<N>) -> Self::Output

Performs the + operation.

impl<N: Real> Add<Quaternion<N>> for Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

type Output = Quaternion<N>

The resulting type after applying the + operator.

fn add(self, rhs: Quaternion<N>) -> Self::Output

Performs the + operation.

impl<'b, N: Real> AddAssign<&'b Quaternion<N>> for Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

fn add_assign(&mut self, rhs: &'b Quaternion<N>)

Performs the += operation.

impl<N: Real> AddAssign<Quaternion<N>> for Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

fn add_assign(&mut self, rhs: Quaternion<N>)

Performs the += operation.

impl<N: Real> Clone for Quaternion<N>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: Debug + Real> Debug for Quaternion<N>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<N: Real> Deref for Quaternion<N>

type Target = IJKW<N>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<N: Real> DerefMut for Quaternion<N>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<N: Real + Display> Display for Quaternion<N>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<N: Real> Distribution<Quaternion<N>> for Standardwhere
    Standard: Distribution<N>,

fn sample<'a, R: Rng + ?Sized>(&self, rng: &'a mut R) -> Quaternion<N>

Generate a random value of T, using rng as the source of randomness.

fn sample_iter<R, 'a>(&'a self, rng: &'a mut R) -> DistIter<'a, Self, R, T>where
    Self: Sized,
    R: Rng,

Create an iterator that generates random values of T, using rng as the source of randomness.

impl<'a, N: Real> Div<N> for &'a Quaternion<N>

type Output = Quaternion<N>

The resulting type after applying the / operator.

fn div(self, n: N) -> Self::Output

Performs the / operation.

impl<N: Real> Div<N> for Quaternion<N>

type Output = Quaternion<N>

The resulting type after applying the / operator.

fn div(self, n: N) -> Self::Output

Performs the / operation.

impl<N: Real> DivAssign<N> for Quaternion<N>

fn div_assign(&mut self, n: N)

Performs the /= operation.

impl<N: Real> FiniteDimVectorSpace for Quaternion<N>

fn dimension() -> usize

The vector space dimension.

fn canonical_basis_element(i: usize) -> Self

The i-the canonical basis element.

fn dot(&self, other: &Self) -> N

The dot product between two vectors.

unsafe fn component_unchecked(&self, i: usize) -> &N

Same as &self[i] but without bound-checking.

unsafe fn component_unchecked_mut(&mut self, i: usize) -> &mut N

Same as &mut self[i] but without bound-checking.

fn canonical_basis<F>(f: F)where
    F: FnMut(&Self) -> bool,

Applies the given closule to each element of this vector space’s canonical basis. Stops if f returns false.

impl<N: Real> From<Matrix<N, U4, U1, <DefaultAllocator as Allocator<N, U4, U1>>::Buffer>> for Quaternion<N>

fn from(coords: Vector4<N>) -> Self

Converts to this type from the input type.

impl<N: Real + Hash> Hash for Quaternion<N>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<N: Real> Identity<Additive> for Quaternion<N>

fn identity() -> Self

The identity element.

fn id(_: O) -> Selfwhere
    Self: Sized,

Specific identity.

impl<N: Real> Identity<Multiplicative> for Quaternion<N>

fn identity() -> Self

The identity element.

fn id(_: O) -> Selfwhere
    Self: Sized,

Specific identity.

impl<N: Real> Index<usize> for Quaternion<N>

type Output = N

The returned type after indexing.

fn index(&self, i: usize) -> &N

Performs the indexing (container[index]) operation.

impl<N: Real> IndexMut<usize> for Quaternion<N>

fn index_mut(&mut self, i: usize) -> &mut N

Performs the mutable indexing (container[index]) operation.

impl<N: Real> Inverse<Additive> for Quaternion<N>

fn inverse(&self) -> Self

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

fn inverse_mut(&mut self)

In-place inversin of self.

impl<N: Real> Module for Quaternion<N>

type Ring = N

The underlying scalar field.

impl<'a, 'b, N: Real> Mul<&'b Quaternion<N>> for &'a Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

type Output = Quaternion<N>

The resulting type after applying the * operator.

fn mul(self, rhs: &'b Quaternion<N>) -> Self::Output

Performs the * operation.

impl<'b, N: Real> Mul<&'b Quaternion<N>> for Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

type Output = Quaternion<N>

The resulting type after applying the * operator.

fn mul(self, rhs: &'b Quaternion<N>) -> Self::Output

Performs the * operation.

impl<'b> Mul<&'b Quaternion<f32>> for f32

type Output = Quaternion<f32>

The resulting type after applying the * operator.

fn mul(self, right: &'b Quaternion<f32>) -> Self::Output

Performs the * operation.

impl<'b> Mul<&'b Quaternion<f64>> for f64

type Output = Quaternion<f64>

The resulting type after applying the * operator.

fn mul(self, right: &'b Quaternion<f64>) -> Self::Output

Performs the * operation.

impl<'a, N: Real> Mul<N> for &'a Quaternion<N>

type Output = Quaternion<N>

The resulting type after applying the * operator.

fn mul(self, n: N) -> Self::Output

Performs the * operation.

impl<N: Real> Mul<N> for Quaternion<N>

type Output = Quaternion<N>

The resulting type after applying the * operator.

fn mul(self, n: N) -> Self::Output

Performs the * operation.

impl<'a, N: Real> Mul<Quaternion<N>> for &'a Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

type Output = Quaternion<N>

The resulting type after applying the * operator.

fn mul(self, rhs: Quaternion<N>) -> Self::Output

Performs the * operation.

impl<N: Real> Mul<Quaternion<N>> for Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

type Output = Quaternion<N>

The resulting type after applying the * operator.

fn mul(self, rhs: Quaternion<N>) -> Self::Output

Performs the * operation.

impl Mul<Quaternion<f32>> for f32

type Output = Quaternion<f32>

The resulting type after applying the * operator.

fn mul(self, right: Quaternion<f32>) -> Self::Output

Performs the * operation.

impl Mul<Quaternion<f64>> for f64

type Output = Quaternion<f64>

The resulting type after applying the * operator.

fn mul(self, right: Quaternion<f64>) -> Self::Output

Performs the * operation.

impl<'b, N: Real> MulAssign<&'b Quaternion<N>> for Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

fn mul_assign(&mut self, rhs: &'b Quaternion<N>)

Performs the *= operation.

impl<N: Real> MulAssign<N> for Quaternion<N>

fn mul_assign(&mut self, n: N)

Performs the *= operation.

impl<N: Real> MulAssign<Quaternion<N>> for Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

fn mul_assign(&mut self, rhs: Quaternion<N>)

Performs the *= operation.

impl<'a, N: Real> Neg for &'a Quaternion<N>

type Output = Quaternion<N>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<N: Real> Neg for Quaternion<N>

type Output = Quaternion<N>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<N: Real> NormedSpace for Quaternion<N>

fn norm_squared(&self) -> N

The squared norm of this vector.

fn norm(&self) -> N

The norm of this vector.

fn normalize(&self) -> Self

Returns a normalized version of this vector.

fn normalize_mut(&mut self) -> N

Normalizes this vector in-place and returns its norm.

fn try_normalize(&self, min_norm: N) -> Option<Self>

Returns a normalized version of this vector unless its norm as smaller or equal to eps.

fn try_normalize_mut(&mut self, min_norm: N) -> Option<N>

Normalizes this vector in-place or does nothing if its norm is smaller or equal to eps.

impl<N: Real> One for Quaternion<N>

fn one() -> Self

Returns the multiplicative identity element of Self, 1.

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

fn is_one(&self) -> boolwhere
    Self: PartialEq<Self>,

Returns true if self is equal to the multiplicative identity.

impl<N: Real> PartialEq<Quaternion<N>> for Quaternion<N>

fn eq(&self, rhs: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<N: Real + RelativeEq<Epsilon = N>> RelativeEq<Quaternion<N>> for Quaternion<N>

fn default_max_relative() -> Self::Epsilon

The default relative tolerance for testing values that are far-apart.

fn relative_eq(
    &self,
    other: &Self,
    epsilon: Self::Epsilon,
    max_relative: Self::Epsilon
) -> bool

A test for equality that uses a relative comparison if the values are far apart.

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

The inverse of ApproxEq::relative_eq.

impl<'a, 'b, N: Real> Sub<&'b Quaternion<N>> for &'a Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

type Output = Quaternion<N>

The resulting type after applying the - operator.

fn sub(self, rhs: &'b Quaternion<N>) -> Self::Output

Performs the - operation.

impl<'b, N: Real> Sub<&'b Quaternion<N>> for Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

type Output = Quaternion<N>

The resulting type after applying the - operator.

fn sub(self, rhs: &'b Quaternion<N>) -> Self::Output

Performs the - operation.

impl<'a, N: Real> Sub<Quaternion<N>> for &'a Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

type Output = Quaternion<N>

The resulting type after applying the - operator.

fn sub(self, rhs: Quaternion<N>) -> Self::Output

Performs the - operation.

impl<N: Real> Sub<Quaternion<N>> for Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

type Output = Quaternion<N>

The resulting type after applying the - operator.

fn sub(self, rhs: Quaternion<N>) -> Self::Output

Performs the - operation.

impl<'b, N: Real> SubAssign<&'b Quaternion<N>> for Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

fn sub_assign(&mut self, rhs: &'b Quaternion<N>)

Performs the -= operation.

impl<N: Real> SubAssign<Quaternion<N>> for Quaternion<N>where
    DefaultAllocator: Allocator<N, U4, U1>,

fn sub_assign(&mut self, rhs: Quaternion<N>)

Performs the -= operation.

impl<N1, N2> SubsetOf<Quaternion<N2>> for Quaternion<N1>where
    N1: Real,
    N2: Real + SupersetOf<N1>,

fn to_superset(&self) -> Quaternion<N2>

The inclusion map: converts self to the equivalent element of its superset.

fn is_in_subset(q: &Quaternion<N2>) -> bool

Checks if element is actually part of the subset Self (and can be converted to it).

unsafe fn from_superset_unchecked(q: &Quaternion<N2>) -> Self

Use with care! Same as self.to_superset but without any property checks. Always succeeds.

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

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

impl<N: Real + UlpsEq<Epsilon = N>> UlpsEq<Quaternion<N>> for Quaternion<N>

fn default_max_ulps() -> u32

The default ULPs to tolerate when testing values that are far-apart.

fn ulps_eq(&self, other: &Self, epsilon: Self::Epsilon, max_ulps: u32) -> bool

A test for equality that uses units in the last place (ULP) if the values are far apart.

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

The inverse of ApproxEq::ulps_eq.

impl<N: Real> VectorSpace for Quaternion<N>

type Field = N

The underlying scalar field.

impl<N: Real> Zero for Quaternion<N>

fn zero() -> Self

Returns the additive identity element of Self, 0.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

impl<N: Real> AbstractGroup<Additive> for Quaternion<N>

impl<N: Real> AbstractLoop<Additive> for Quaternion<N>

impl<N: Real> Copy for Quaternion<N>

impl<N: Real + Eq> Eq for Quaternion<N>