Type Definition nalgebra::base::MatrixN

type MatrixN<N, D> = MatrixMN<N, D, D>;

A staticaly sized column-major square matrix with D rows and columns.

Methods

impl<N, D: DimName> MatrixN<N, D> where     N: Scalar + Ring,     DefaultAllocator: Allocator<N, D, D>,

pub fn new_scaling(scaling: N) -> Self

Creates a new homogeneous matrix that applies the same scaling factor on each dimension.

pub fn new_nonuniform_scaling<SB>(     scaling: &Vector<N, DimNameDiff<D, U1>, SB> ) -> Self where     D: DimNameSub<U1>,     SB: Storage<N, DimNameDiff<D, U1>>,

Creates a new homogeneous matrix that applies a distinct scaling factor for each dimension.

pub fn new_translation<SB>(     translation: &Vector<N, DimNameDiff<D, U1>, SB> ) -> Self where     D: DimNameSub<U1>,     SB: Storage<N, DimNameDiff<D, U1>>,

Creates a new homogeneous matrix that applies a pure translation.

impl<N, D: Dim> MatrixN<N, D> where     N: Scalar,     DefaultAllocator: Allocator<N, D, D>,

pub fn from_diagonal<SB: Storage<N, D>>(diag: &Vector<N, D, SB>) -> Self where     N: Zero,

Creates a square matrix with its diagonal set to diag and all other entries set to 0.

Trait Implementations

impl<N, D: DimName> Product for MatrixN<N, D> where     N: Scalar + Zero + One + ClosedMul + ClosedAdd,     DefaultAllocator: Allocator<N, D, D>,

fn product<I: Iterator<Item = MatrixN<N, D>>>(iter: I) -> MatrixN<N, D>

Method which takes an iterator and generates Self from the elements by multiplying the items.

impl<'a, N, D: DimName> Product<&'a MatrixN<N, D>> for MatrixN<N, D> where     N: Scalar + Zero + One + ClosedMul + ClosedAdd,     DefaultAllocator: Allocator<N, D, D>,

fn product<I: Iterator<Item = &'a MatrixN<N, D>>>(iter: I) -> MatrixN<N, D>

Method which takes an iterator and generates Self from the elements by multiplying the items.

impl<N: Real, D: DimNameSub<U1>> Transformation<Point<N, DimNameDiff<D, U1>>> for MatrixN<N, D> where     DefaultAllocator: Allocator<N, D, D> + Allocator<N, DimNameDiff<D, U1>> + Allocator<N, DimNameDiff<D, U1>, DimNameDiff<D, U1>>,

fn transform_vector(     &self,     v: &VectorN<N, DimNameDiff<D, U1>> ) -> VectorN<N, DimNameDiff<D, U1>>

Applies this group's action on a vector from the euclidean space.

fn transform_point(     &self,     pt: &Point<N, DimNameDiff<D, U1>> ) -> Point<N, DimNameDiff<D, U1>>

Applies this group's action on a point from the euclidean space.

impl<N, D: DimName> One for MatrixN<N, D> where     N: Scalar + Zero + One + ClosedMul + ClosedAdd,     DefaultAllocator: Allocator<N, D, D>,

fn one() -> Self

Returns the multiplicative identity element of Self, 1.

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

Returns true if self is equal to the multiplicative identity.

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

fn identity() -> Self

The identity element.

fn id(O) -> Self

Specific identity.

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

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

Performs an operation.

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

Performs specific operation.

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

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

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

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

Returns true if associativity holds for the given arguments.

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

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

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

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<N1, N2, D> SubsetOf<MatrixN<N2, DimNameSum<D, U1>>> for Rotation<N1, D> where     N1: Real,     N2: Real + SupersetOf<N1>,     D: DimNameAdd<U1> + DimMin<D, Output = D>,     DefaultAllocator: Allocator<N1, D, D> + Allocator<N2, D, D> + Allocator<N1, DimNameSum<D, U1>, DimNameSum<D, U1>> + Allocator<N2, DimNameSum<D, U1>, DimNameSum<D, U1>> + Allocator<(usize, usize), D>,

fn to_superset(&self) -> MatrixN<N2, DimNameSum<D, U1>>

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

fn is_in_subset(m: &MatrixN<N2, DimNameSum<D, U1>>) -> bool

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

unsafe fn from_superset_unchecked(m: &MatrixN<N2, DimNameSum<D, U1>>) -> 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<N1, N2, D> SubsetOf<MatrixN<N2, DimNameSum<D, U1>>> for Translation<N1, D> where     N1: Real,     N2: Real + SupersetOf<N1>,     D: DimNameAdd<U1>,     DefaultAllocator: Allocator<N1, D> + Allocator<N2, D> + Allocator<N1, DimNameSum<D, U1>, DimNameSum<D, U1>> + Allocator<N2, DimNameSum<D, U1>, DimNameSum<D, U1>>,

fn to_superset(&self) -> MatrixN<N2, DimNameSum<D, U1>>

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

fn is_in_subset(m: &MatrixN<N2, DimNameSum<D, U1>>) -> bool

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

unsafe fn from_superset_unchecked(m: &MatrixN<N2, DimNameSum<D, U1>>) -> 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<N1, N2, D, R> SubsetOf<MatrixN<N2, DimNameSum<D, U1>>> for Isometry<N1, D, R> where     N1: Real,     N2: Real + SupersetOf<N1>,     R: Rotation<Point<N1, D>> + SubsetOf<MatrixN<N1, DimNameSum<D, U1>>> + SubsetOf<MatrixN<N2, DimNameSum<D, U1>>>,     D: DimNameAdd<U1> + DimMin<D, Output = D>,     DefaultAllocator: Allocator<N1, D> + Allocator<N1, D, D> + Allocator<N1, DimNameSum<D, U1>, DimNameSum<D, U1>> + Allocator<N2, DimNameSum<D, U1>, DimNameSum<D, U1>> + Allocator<N2, DimNameSum<D, U1>, DimNameSum<D, U1>> + Allocator<(usize, usize), D> + Allocator<N2, D, D> + Allocator<N2, D>,

fn to_superset(&self) -> MatrixN<N2, DimNameSum<D, U1>>

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

fn is_in_subset(m: &MatrixN<N2, DimNameSum<D, U1>>) -> bool

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

unsafe fn from_superset_unchecked(m: &MatrixN<N2, DimNameSum<D, U1>>) -> 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<N1, N2, D, R> SubsetOf<MatrixN<N2, DimNameSum<D, U1>>> for Similarity<N1, D, R> where     N1: Real,     N2: Real + SupersetOf<N1>,     R: Rotation<Point<N1, D>> + SubsetOf<MatrixN<N1, DimNameSum<D, U1>>> + SubsetOf<MatrixN<N2, DimNameSum<D, U1>>>,     D: DimNameAdd<U1> + DimMin<D, Output = D>,     DefaultAllocator: Allocator<N1, D> + Allocator<N1, D, D> + Allocator<N1, DimNameSum<D, U1>, DimNameSum<D, U1>> + Allocator<N2, DimNameSum<D, U1>, DimNameSum<D, U1>> + Allocator<(usize, usize), D> + Allocator<N2, DimNameSum<D, U1>, DimNameSum<D, U1>> + Allocator<N2, D, D> + Allocator<N2, D>,

fn to_superset(&self) -> MatrixN<N2, DimNameSum<D, U1>>

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

fn is_in_subset(m: &MatrixN<N2, DimNameSum<D, U1>>) -> bool

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

unsafe fn from_superset_unchecked(m: &MatrixN<N2, DimNameSum<D, U1>>) -> 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<N1, N2, D: DimName, C> SubsetOf<MatrixN<N2, DimNameSum<D, U1>>> for Transform<N1, D, C> where     N1: Real + SubsetOf<N2>,     N2: Real,     C: TCategory,     D: DimNameAdd<U1>,     DefaultAllocator: Allocator<N1, DimNameSum<D, U1>, DimNameSum<D, U1>> + Allocator<N2, DimNameSum<D, U1>, DimNameSum<D, U1>>,     N1::Epsilon: Copy,     N2::Epsilon: Copy,

fn to_superset(&self) -> MatrixN<N2, DimNameSum<D, U1>>

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

fn is_in_subset(m: &MatrixN<N2, DimNameSum<D, U1>>) -> bool

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

unsafe fn from_superset_unchecked(m: &MatrixN<N2, DimNameSum<D, U1>>) -> 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.