1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74
use simba::scalar::{RealField, SubsetOf}; use crate::base::allocator::Allocator; use crate::base::dimension::{DimName, DimNameAdd, DimNameSum, U1}; use crate::base::{DefaultAllocator, MatrixN}; use crate::geometry::{SuperTCategoryOf, TCategory, Transform}; impl<N1, N2, D: DimName, C1, C2> SubsetOf<Transform<N2, D, C2>> for Transform<N1, D, C1> where N1: RealField + SubsetOf<N2>, N2: RealField, C1: TCategory, C2: SuperTCategoryOf<C1>, 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, { #[inline] fn to_superset(&self) -> Transform<N2, D, C2> { Transform::from_matrix_unchecked(self.to_homogeneous().to_superset()) } #[inline] fn is_in_subset(t: &Transform<N2, D, C2>) -> bool { <Self as SubsetOf<_>>::is_in_subset(t.matrix()) } #[inline] fn from_superset_unchecked(t: &Transform<N2, D, C2>) -> Self { Self::from_superset_unchecked(t.matrix()) } } impl<N1, N2, D: DimName, C> SubsetOf<MatrixN<N2, DimNameSum<D, U1>>> for Transform<N1, D, C> where N1: RealField + SubsetOf<N2>, N2: RealField, 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, { #[inline] fn to_superset(&self) -> MatrixN<N2, DimNameSum<D, U1>> { self.matrix().to_superset() } #[inline] fn is_in_subset(m: &MatrixN<N2, DimNameSum<D, U1>>) -> bool { C::check_homogeneous_invariants(m) } #[inline] fn from_superset_unchecked(m: &MatrixN<N2, DimNameSum<D, U1>>) -> Self { Self::from_matrix_unchecked(crate::convert_ref_unchecked(m)) } } impl<N: RealField, D: DimName, C> From<Transform<N, D, C>> for MatrixN<N, DimNameSum<D, U1>> where D: DimNameAdd<U1>, C: TCategory, DefaultAllocator: Allocator<N, DimNameSum<D, U1>, DimNameSum<D, U1>>, { #[inline] fn from(t: Transform<N, D, C>) -> Self { t.to_homogeneous() } }