[][src]Struct softposit::p16e1::P16E1

pub struct P16E1(_);

Methods

impl P16E1[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 P16E1[src]

pub const SIZE: usize[src]

pub const ES: usize[src]

pub const EPSILON: Self[src]

Machine epsilon (2.44140625e-4).

pub const MIN: Self[src]

Smallest finite value (-268435456).

pub const MIN_POSITIVE: Self[src]

Smallest positive normal value (3.725290298_e-9).

pub const MAX: Self[src]

Largest finite value (268435456).

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: i16) -> Self[src]

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

pub fn to_bits(self) -> u16[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]

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

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

impl P16E1[src]

Trait Implementations

impl Polynom for P16E1[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 P16E1[src]

impl AssociatedQuire<P16E1> for P16E1[src]

type Q = Q16E1

impl Quire<P16E1> for Q16E1[src]

type Bits = [u64; 2]

impl Copy for P16E1[src]

impl Clone for P16E1[src]

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

Performs copy-assignment from source. Read more

impl From<P16E1> for Q16E1[src]

impl From<i8> for P16E1[src]

impl From<P16E1> for i8[src]

impl From<i16> for P16E1[src]

impl From<P16E1> for i16[src]

impl From<isize> for P16E1[src]

impl From<P16E1> for isize[src]

impl From<u8> for P16E1[src]

impl From<P16E1> for u8[src]

impl From<u16> for P16E1[src]

impl From<P16E1> for u16[src]

impl From<usize> for P16E1[src]

impl From<P16E1> for usize[src]

impl From<i32> for P16E1[src]

impl From<u32> for P16E1[src]

impl From<i64> for P16E1[src]

impl From<u64> for P16E1[src]

impl From<P16E1> for i32[src]

impl From<P16E1> for i64[src]

impl From<P16E1> for u32[src]

impl From<P16E1> for u64[src]

impl From<f32> for P16E1[src]

impl From<f64> for P16E1[src]

impl From<P16E1> for f32[src]

impl From<P16E1> for f64[src]

impl From<Q16E1> for P16E1[src]

impl From<P8E0> for P16E1[src]

impl From<P16E1> for P8E0[src]

impl From<P16E1> for P32E2[src]

impl From<P32E2> for P16E1[src]

impl Debug for P16E1[src]

impl Display for P16E1[src]

impl Rem<P16E1> for P16E1[src]

type Output = Self

The resulting type after applying the % operator.

impl PartialEq<P16E1> for P16E1[src]

impl Eq for P16E1[src]

impl Ord for P16E1[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<P16E1> for P16E1[src]

impl FromStr for P16E1[src]

type Err = ParseFloatError

The associated error which can be returned from parsing.

impl Add<P16E1> for P16E1[src]

type Output = Self

The resulting type after applying the + operator.

impl Sub<P16E1> for P16E1[src]

type Output = Self

The resulting type after applying the - operator.

impl Mul<P16E1> for P16E1[src]

type Output = Self

The resulting type after applying the * operator.

impl Div<P16E1> for P16E1[src]

type Output = Self

The resulting type after applying the / operator.

impl Neg for P16E1[src]

type Output = Self

The resulting type after applying the - operator.

impl AddAssign<P16E1> for P16E1[src]

impl SubAssign<P16E1> for P16E1[src]

impl MulAssign<P16E1> for P16E1[src]

impl DivAssign<P16E1> for P16E1[src]

impl RemAssign<P16E1> for P16E1[src]

impl Hash for P16E1[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 Default for P16E1[src]

impl AbsDiffEq<P16E1> for P16E1[src]

type Epsilon = P16E1

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

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

The inverse of ApproxEq::relative_eq.

impl UlpsEq<P16E1> for P16E1[src]

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

The inverse of ApproxEq::ulps_eq.

impl Bounded for P16E1[src]

impl ToPrimitive for P16E1[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 P16E1[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 P16E1[src]

impl Float for P16E1[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 P16E1[src]

impl Num for P16E1[src]

type FromStrRadixErr = ParseFloatError

impl Zero for P16E1[src]

fn set_zero(&mut self)[src]

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

impl One for P16E1[src]

fn set_one(&mut self)[src]

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

impl Signed for P16E1[src]

impl AbstractMagma<Additive> for P16E1[src]

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

Performs specific operation.

impl AbstractMagma<Multiplicative> for P16E1[src]

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

Performs specific operation.

impl AbstractQuasigroup<Additive> for P16E1[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 P16E1[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 P16E1[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 P16E1[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 P16E1[src]

impl AbstractLoop<Multiplicative> for P16E1[src]

impl AbstractMonoid<Additive> for P16E1[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 P16E1[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 P16E1[src]

impl AbstractGroup<Multiplicative> for P16E1[src]

impl AbstractGroupAbelian<Additive> for P16E1[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 P16E1[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 TwoSidedInverse<Additive> for P16E1[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 P16E1[src]

fn two_sided_inverse_mut(&mut self)[src]

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

impl Identity<Additive> for P16E1[src]

fn id(O) -> Self[src]

Specific identity.

impl Identity<Multiplicative> for P16E1[src]

fn id(O) -> Self[src]

Specific identity.

impl ComplexField for P16E1[src]

type RealField = P16E1

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 P16E1[src]

impl JoinSemilattice for P16E1[src]

impl SubsetOf<P16E1> 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<P16E1> 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<P16E1> 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<P16E1> 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<P16E1> 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<P16E1> 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<P16E1> 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<P16E1> 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<P16E1> 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<P16E1> 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<P16E1> 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<P16E1> 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<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<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<P16E1> 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<P32E2> 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<P16E1> 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 RealField for P16E1[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 Lattice for P16E1[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 P16E1[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 P16E1[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 P16E1[src]

impl Distribution<P16E1> 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 P16E1

impl Sync for P16E1

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> 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> 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> 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> 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> 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> 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<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<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