[][src]Struct softposit::p8e0::P8E0

pub struct P8E0(_);

Methods

impl P8E0[src]

pub fn mul_add(self, b: Self, c: Self) -> Self[src]

pub fn floor(self) -> Self[src]

pub fn ceil(self) -> Self[src]

pub fn round(self) -> Self[src]

pub fn trunc(self) -> Self[src]

pub fn fract(self) -> Self[src]

pub fn div_euclid(self, rhs: Self) -> Self[src]

pub fn rem_euclid(self, rhs: Self) -> Self[src]

pub fn powi(self, _n: i32) -> Self[src]

pub fn powf(self, _n: Self) -> Self[src]

pub fn sqrt(self) -> Self[src]

pub fn exp(self) -> Self[src]

pub fn exp2(self) -> Self[src]

pub fn ln(self) -> Self[src]

pub fn log(self, _base: Self) -> Self[src]

pub fn log2(self) -> Self[src]

pub fn log10(self) -> Self[src]

pub fn cbrt(self) -> Self[src]

pub fn hypot(self, _other: Self) -> Self[src]

pub fn sin(self) -> Self[src]

pub fn cos(self) -> Self[src]

pub fn tan(self) -> Self[src]

pub fn asin(self) -> Self[src]

pub fn acos(self) -> Self[src]

pub fn atan(self) -> Self[src]

pub fn atan2(self, _other: Self) -> Self[src]

pub fn sin_cos(self) -> (Self, Self)[src]

pub fn exp_m1(self) -> Self[src]

pub fn ln_1p(self) -> Self[src]

pub fn sinh(self) -> Self[src]

pub fn cosh(self) -> Self[src]

pub fn tanh(self) -> Self[src]

pub fn asinh(self) -> Self[src]

pub fn acosh(self) -> Self[src]

pub fn atanh(self) -> Self[src]

impl P8E0[src]

pub const SIZE: usize[src]

pub const ES: usize[src]

pub const EPSILON: Self[src]

Machine epsilon (3.125e-2).

pub const MIN: Self[src]

Smallest finite value (-64).

pub const MIN_POSITIVE: Self[src]

Smallest positive normal value (0.015625).

pub const MAX: Self[src]

Largest finite value (64).

pub const NAR: Self[src]

Not a Real (NaR).

pub const NAN: Self[src]

Not a Number (NaN).

pub const INFINITY: Self[src]

Infinity (∞).

pub const ZERO: Self[src]

Zero.

pub const ONE: Self[src]

Identity.

pub const fn new(i: i8) -> Self[src]

pub fn from_bits(v: u8) -> Self[src]

pub fn to_bits(self) -> u8[src]

pub fn abs(self) -> Self[src]

pub fn is_nar(self) -> bool[src]

pub fn is_nan(self) -> bool[src]

pub fn is_infinite(self) -> bool[src]

pub fn is_finite(self) -> bool[src]

pub fn is_normal(self) -> bool[src]

pub fn classify(self) -> FpCategory[src]

pub fn is_sign_positive(self) -> bool[src]

pub fn is_sign_negative(self) -> bool[src]

pub fn copysign(self, other: Self) -> Self[src]

pub fn signum(self) -> Self[src]

pub fn recip(self) -> Self[src]

impl P8E0[src]

Trait Implementations

impl Polynom for P8E0[src]

fn poly1(self, c: &[Self]) -> Self[src]

fn poly2(self, c: &[Self]) -> Self[src]

fn poly3(self, c: &[Self]) -> Self[src]

fn poly4(self, c: &[Self]) -> Self[src]

fn poly5(self, c: &[Self]) -> Self[src]

fn poly6(self, c: &[Self]) -> Self[src]

fn poly7(self, c: &[Self]) -> Self[src]

fn poly8(self, c: &[Self]) -> Self[src]

fn poly9(self, c: &[Self]) -> Self[src]

fn poly10(self, c: &[Self]) -> Self[src]

fn poly11(self, c: &[Self]) -> Self[src]

fn poly12(self, c: &[Self]) -> Self[src]

fn poly13(self, c: &[Self]) -> Self[src]

fn poly14(self, c: &[Self]) -> Self[src]

fn poly15(self, c: &[Self]) -> Self[src]

fn poly16(self, c: &[Self]) -> Self[src]

fn poly17(self, c: &[Self]) -> Self[src]

fn poly18(self, c: &[Self]) -> Self[src]

fn poly3a(self, c: &[Self]) -> Self[src]

fn poly4a(self, c: &[Self]) -> Self[src]

impl MathConsts for P8E0[src]

impl AssociatedQuire<P8E0> for P8E0[src]

type Q = Q8E0

impl Quire<P8E0> for Q8E0[src]

type Bits = u32

impl From<P8E0> for Q8E0[src]

impl From<i8> for P8E0[src]

impl From<P8E0> for i8[src]

impl From<i16> for P8E0[src]

impl From<P8E0> for i16[src]

impl From<isize> for P8E0[src]

impl From<P8E0> for isize[src]

impl From<u8> for P8E0[src]

impl From<P8E0> for u8[src]

impl From<u16> for P8E0[src]

impl From<P8E0> for u16[src]

impl From<usize> for P8E0[src]

impl From<P8E0> for usize[src]

impl From<f32> for P8E0[src]

impl From<f64> for P8E0[src]

impl From<P8E0> for f32[src]

impl From<P8E0> for f64[src]

impl From<P8E0> for i32[src]

impl From<P8E0> for i64[src]

impl From<P8E0> for u32[src]

impl From<P8E0> for u64[src]

impl From<u32> for P8E0[src]

impl From<i32> for P8E0[src]

impl From<u64> for P8E0[src]

impl From<i64> for P8E0[src]

impl From<Q8E0> for P8E0[src]

impl From<P8E0> for P16E1[src]

impl From<P16E1> for P8E0[src]

impl From<P8E0> for P32E2[src]

impl From<P32E2> for P8E0[src]

impl Debug for P8E0[src]

impl Display for P8E0[src]

impl Rem<P8E0> for P8E0[src]

type Output = Self

The resulting type after applying the % operator.

impl PartialEq<P8E0> for P8E0[src]

impl Eq for P8E0[src]

impl Ord for P8E0[src]

fn max(self, other: Self) -> Self1.21.0[src]

Compares and returns the maximum of two values. Read more

fn min(self, other: Self) -> Self1.21.0[src]

Compares and returns the minimum of two values. Read more

fn clamp(self, min: Self, max: Self) -> Self[src]

🔬 This is a nightly-only experimental API. (clamp)

Restrict a value to a certain interval. Read more

impl PartialOrd<P8E0> for P8E0[src]

impl FromStr for P8E0[src]

type Err = ParseFloatError

The associated error which can be returned from parsing.

impl Add<P8E0> for P8E0[src]

type Output = Self

The resulting type after applying the + operator.

impl Sub<P8E0> for P8E0[src]

type Output = Self

The resulting type after applying the - operator.

impl Mul<P8E0> for P8E0[src]

type Output = Self

The resulting type after applying the * operator.

impl Div<P8E0> for P8E0[src]

type Output = Self

The resulting type after applying the / operator.

impl Neg for P8E0[src]

type Output = Self

The resulting type after applying the - operator.

impl AddAssign<P8E0> for P8E0[src]

impl SubAssign<P8E0> for P8E0[src]

impl MulAssign<P8E0> for P8E0[src]

impl DivAssign<P8E0> for P8E0[src]

impl RemAssign<P8E0> for P8E0[src]

impl Hash for P8E0[src]

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

Feeds a slice of this type into the given [Hasher]. Read more

impl Copy for P8E0[src]

impl Clone for P8E0[src]

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

Performs copy-assignment from source. Read more

impl Default for P8E0[src]

impl AbsDiffEq<P8E0> for P8E0[src]

type Epsilon = P8E0

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 RelativeEq<P8E0> for P8E0[src]

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

The inverse of ApproxEq::relative_eq.

impl UlpsEq<P8E0> for P8E0[src]

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

The inverse of ApproxEq::ulps_eq.

impl Bounded for P8E0[src]

impl ToPrimitive for P8E0[src]

fn to_isize(&self) -> Option<isize>[src]

Converts the value of self to an isize.

fn to_i8(&self) -> Option<i8>[src]

Converts the value of self to an i8.

fn to_i16(&self) -> Option<i16>[src]

Converts the value of self to an i16.

fn to_i32(&self) -> Option<i32>[src]

Converts the value of self to an i32.

fn to_i128(&self) -> Option<i128>[src]

Converts the value of self to an i128. Read more

fn to_usize(&self) -> Option<usize>[src]

Converts the value of self to a usize.

fn to_u8(&self) -> Option<u8>[src]

Converts the value of self to an u8.

fn to_u16(&self) -> Option<u16>[src]

Converts the value of self to an u16.

fn to_u32(&self) -> Option<u32>[src]

Converts the value of self to an u32.

fn to_u128(&self) -> Option<u128>[src]

Converts the value of self to an u128. Read more

fn to_f32(&self) -> Option<f32>[src]

Converts the value of self to an f32.

impl FromPrimitive for P8E0[src]

fn from_isize(n: isize) -> Option<Self>[src]

Convert an isize to return an optional value of this type. If the value cannot be represented by this value, then None is returned. Read more

fn from_i128(n: i128) -> Option<Self>[src]

Convert an i128 to return an optional value of this type. If the type cannot be represented by this value, then None is returned. Read more

fn from_usize(n: usize) -> Option<Self>[src]

Convert a usize to return an optional value of this type. If the type cannot be represented by this value, then None is returned. Read more

fn from_u128(n: u128) -> Option<Self>[src]

Convert an u128 to return an optional value of this type. If the type cannot be represented by this value, then None is returned. Read more

impl NumCast for P8E0[src]

impl Float for P8E0[src]

fn epsilon() -> Self[src]

Returns epsilon, a small positive value. Read more

fn to_degrees(self) -> Self[src]

Converts radians to degrees. Read more

fn to_radians(self) -> Self[src]

Converts degrees to radians. Read more

impl FloatConst for P8E0[src]

impl Num for P8E0[src]

type FromStrRadixErr = ParseFloatError

impl Zero for P8E0[src]

fn set_zero(&mut self)[src]

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

impl One for P8E0[src]

fn set_one(&mut self)[src]

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

impl Signed for P8E0[src]

impl AbstractMagma<Additive> for P8E0[src]

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

Performs specific operation.

impl AbstractMagma<Multiplicative> for P8E0[src]

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

Performs specific operation.

impl AbstractQuasigroup<Additive> for P8E0[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 AbstractQuasigroup<Multiplicative> for P8E0[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 AbstractSemigroup<Additive> for P8E0[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 AbstractSemigroup<Multiplicative> for P8E0[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 AbstractLoop<Additive> for P8E0[src]

impl AbstractLoop<Multiplicative> for P8E0[src]

impl AbstractMonoid<Additive> for P8E0[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 AbstractMonoid<Multiplicative> for P8E0[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 AbstractGroup<Additive> for P8E0[src]

impl AbstractGroup<Multiplicative> for P8E0[src]

impl AbstractGroupAbelian<Additive> for P8E0[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 AbstractGroupAbelian<Multiplicative> for P8E0[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 Identity<Additive> for P8E0[src]

fn id(O) -> Self[src]

Specific identity.

impl Identity<Multiplicative> for P8E0[src]

fn id(O) -> Self[src]

Specific identity.

impl TwoSidedInverse<Additive> for P8E0[src]

fn two_sided_inverse_mut(&mut self)[src]

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

impl TwoSidedInverse<Multiplicative> for P8E0[src]

fn two_sided_inverse_mut(&mut self)[src]

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

impl ComplexField for P8E0[src]

type RealField = P8E0

Type of the coefficients of a complex number.

fn to_polar(self) -> (Self::RealField, Self::RealField)[src]

The polar form of this complex number: (modulus, arg)

fn sinh_cosh(self) -> (Self, Self)[src]

fn sinc(self) -> Self[src]

Cardinal sine

fn sinhc(self) -> Self[src]

fn cosc(self) -> Self[src]

Cardinal cos

fn coshc(self) -> Self[src]

impl MeetSemilattice for P8E0[src]

impl RealField for P8E0[src]

fn pi() -> Self[src]

Archimedes' constant.

fn two_pi() -> Self[src]

fn frac_pi_2() -> Self[src]

pi / 2.0.

fn frac_pi_3() -> Self[src]

pi / 3.0.

fn frac_pi_4() -> Self[src]

pi / 4.0.

fn frac_pi_6() -> Self[src]

pi / 6.0.

fn frac_pi_8() -> Self[src]

pi / 8.0.

fn frac_1_pi() -> Self[src]

fn frac_2_pi() -> Self[src]

fn frac_2_sqrt_pi() -> Self[src]

2.0 / sqrt(pi).

fn e() -> Self[src]

Euler's number.

fn log2_e() -> Self[src]

log2(e).

fn log10_e() -> Self[src]

log10(e).

fn ln_2() -> Self[src]

ln(2.0).

fn ln_10() -> Self[src]

ln(10.0).

impl JoinSemilattice for P8E0[src]

impl SubsetOf<P8E0> for u8[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 SubsetOf<P8E0> for u16[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 SubsetOf<P8E0> for u32[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 SubsetOf<P8E0> for u64[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 SubsetOf<P8E0> for usize[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 SubsetOf<P8E0> for i8[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 SubsetOf<P8E0> for i16[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 SubsetOf<P8E0> for i32[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 SubsetOf<P8E0> for i64[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 SubsetOf<P8E0> for isize[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 SubsetOf<P8E0> for f32[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 SubsetOf<P8E0> for f64[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 SubsetOf<P8E0> for P8E0[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 SubsetOf<P16E1> for P8E0[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 SubsetOf<P32E2> for P8E0[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 SubsetOf<P8E0> for P16E1[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 SubsetOf<P8E0> for P32E2[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 Lattice for P8E0[src]

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 AbstractRingCommutative<Additive, Multiplicative> for P8E0[src]

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

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

fn prop_mul_is_commutative(args: (Self, Self)) -> bool where
    Self: Eq
[src]

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

impl AbstractRing<Additive, Multiplicative> for P8E0[src]

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

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

fn prop_mul_and_add_are_distributive(args: (Self, Self, Self)) -> bool where
    Self: Eq
[src]

Returns true if the multiplication and addition operators are distributive for the given argument tuple. Read more

impl AbstractField<Additive, Multiplicative> for P8E0[src]

impl Distribution<P8E0> for Standard[src]

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

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

Auto Trait Implementations

impl Send for P8E0

impl Sync for P8E0

Blanket Implementations

impl<T> From<T> for T[src]

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

type Error = Infallible

The type returned in the event of a conversion error.

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

impl<T, U> TryInto<U> 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> Borrow<T> for T where
    T: ?Sized
[src]

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

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

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

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

type Owned = T

The resulting type after obtaining ownership.

impl<T> Real for T where
    T: Float
[src]

impl<T, Rhs, Output> NumOps<Rhs, Output> for T where
    T: Sub<Rhs, Output = Output> + Mul<Rhs, Output = Output> + Div<Rhs, Output = Output> + Add<Rhs, Output = Output> + Rem<Rhs, Output = Output>, 
[src]

impl<T, Rhs> NumAssignOps<Rhs> for T where
    T: AddAssign<Rhs> + SubAssign<Rhs> + MulAssign<Rhs> + DivAssign<Rhs> + RemAssign<Rhs>, 
[src]

impl<T> NumAssign for T where
    T: Num + NumAssignOps<T>, 
[src]

impl<T> ClosedNeg for T where
    T: Neg<Output = T>, 
[src]

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

impl<T> Field for T where
    T: AbstractField<Additive, Multiplicative> + MultiplicativeGroupAbelian + RingCommutative
[src]

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

impl<T, Right> ClosedSub<Right> for T where
    T: Sub<Right, Output = T> + SubAssign<Right>, 
[src]

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

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

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

impl<T> AdditiveQuasigroup for T where
    T: AbstractQuasigroup<Additive> + ClosedSub<T> + AdditiveMagma
[src]

impl<T> AdditiveLoop for T where
    T: AbstractLoop<Additive> + ClosedNeg + AdditiveQuasigroup + Zero
[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> AdditiveGroup for T where
    T: AbstractGroup<Additive> + AdditiveLoop + AdditiveMonoid
[src]

impl<T> AdditiveGroupAbelian for T where
    T: AbstractGroupAbelian<Additive> + AdditiveGroup
[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<T> Ring for T where
    T: AbstractRing<Additive, Multiplicative> + AdditiveGroupAbelian + MultiplicativeMonoid
[src]

impl<T> RingCommutative for T where
    T: AbstractRingCommutative<Additive, Multiplicative> + Ring
[src]

impl<T> Real for T where
    T: RealField
[src]

impl<R, E> Scaling<E> 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]

impl<R, E> Similarity<E> 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> Transformation<E> 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<E> 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> ProjectiveTransformation<E> 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<T> Scalar for T where
    T: Copy + PartialEq<T> + Any + Debug
[src]

fn is<T>() -> bool where
    T: Scalar
[src]

Tests if Self the same as the type T Read more

impl<T> Same<T> for T

type Output = T

Should always be Self