Enum Commutativity 

pub enum Commutativity {
    Commutative,
    Noncommutative,
}

Commutativity of an expression or operation

Variants

Commutative

Operation is commutative (ab = ba) Examples: scalar multiplication, addition

Noncommutative

Operation is noncommutative (ab may not equal ba) Examples: matrix multiplication, operator multiplication, quaternion multiplication

Implementations

impl Commutativity

pub fn can_sort(self) -> bool

Can factors be sorted during canonicalization?

Returns true only if commutativity is guaranteed.

pub fn combine<I>(factors: I) -> Self

where I: IntoIterator<Item = Self>,

Combine commutativity of multiple factors

Rule: If ANY factor is noncommutative, the entire product is noncommutative. Only if ALL factors are commutative is the product commutative.

Examples

use mathhook_core::core::commutativity::Commutativity;

// All commutative → result commutative
let factors = vec![Commutativity::Commutative, Commutativity::Commutative];
assert_eq!(Commutativity::combine(factors), Commutativity::Commutative);

// Any noncommutative → result noncommutative
let factors = vec![Commutativity::Commutative, Commutativity::Noncommutative];
assert_eq!(Commutativity::combine(factors), Commutativity::Noncommutative);

Trait Implementations

impl Clone for Commutativity

fn clone(&self) -> Commutativity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Commutativity

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

Formats the value using the given formatter.

impl Hash for Commutativity

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Commutativity

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Commutativity

impl Eq for Commutativity

impl StructuralPartialEq for Commutativity