Trait ScalarField 

pub trait ScalarField:
    Mul<Self, Output = Self>
    + Div<Self, Output = Self>
    + Add<Self, Output = Self>
    + Sub<Self, Output = Self>
    + Neg<Output = Self>
    + Default
    + Debug
    + Clone
    + Copy {
    const ZERO: Self;
    const ONE: Self;

    // Provided method
    fn recip(self) -> Self { ... }
}

A type that supports the operations of a scalar field. An implementation should support:

• Addition and subtraction
• Multiplication and division
• Negation
• Zero (additive identity)
• One (multiplicative identity)

Within the limitations of floating point arithmetic, all the following are required to hold:

• (Associativity of addition) For all u, v, w: Self, (u + v) + w == u + (v + w).
• (Commutativity of addition) For all u, v: Self, u + v == v + u.
• (Additive identity) For all v: Self, v + Self::ZERO == v.
• (Additive inverse) For all v: Self, v - v == v + (-v) == Self::ZERO.
• (Associativity of multiplication) For all u, v, w: Self, (u * v) * w == u * (v * w).
• (Commutativity of multiplication) For all u, v: Self, u * v == v * u.
• (Multiplicative identity) For all v: Self, v * Self::ONE == v.
• (Multiplicative inverse) For all v: Self, v / v == v * v.inverse() == Self::ONE.
• (Distributivity over addition) For all a, b: Self, u, v: Self, (u + v) * a == u * a + v * a.

Required Associated Constants

const ZERO: Self

The additive identity.

const ONE: Self

The multiplicative identity.

Provided Methods

fn recip(self) -> Self

The multiplicative inverse of this element. This is equivalent to 1.0 / self.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl ScalarField for f32

const ZERO: Self = 0.0

const ONE: Self = 1.0

impl ScalarField for f64

const ZERO: Self = 0.0

const ONE: Self = 1.0

Implementors