Enum ScalarDomain 

#[non_exhaustive]
pub enum ScalarDomain {
    Field,
    NonField,
}

Algebra that a scalar’s ordinary arithmetic belongs to.

Examples

use tenferro_tensor_core::{Scalar, ScalarDomain};

assert_eq!(<f64 as Scalar>::DOMAIN, ScalarDomain::Field);
assert_eq!(<bool as Scalar>::DOMAIN, ScalarDomain::NonField);

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Field

Addition, subtraction, multiplication, and multiplication by a negative value follow the ordinary real or complex field rules, so the canonical mathematical derivative definitions apply.

NonField

Any other algebra: tropical or min-plus, boolean, saturating, or another semiring. Such a scalar can still be stored and computed with, but the canonical field derivative rules are not valid for it.

Trait Implementations

impl Clone for ScalarDomain

fn clone(&self) -> ScalarDomain

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for ScalarDomain

impl Debug for ScalarDomain

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for ScalarDomain

impl PartialEq for ScalarDomain

fn eq(&self, other: &ScalarDomain) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ScalarDomain