Trait scirust::algebra::structure::field::Field

pub trait Field: FieldPartial + IntegralDomain {
    fn prop_addition_is_associative(a: Self, b: Self, c: Self) -> bool { ... }
    fn prop_multiplication_is_associative(a: Self, b: Self, c: Self) -> bool { ... }
    fn prop_addition_is_commutative(a: Self, b: Self) -> bool { ... }
    fn prop_multiplication_is_commutative(a: Self, b: Self) -> bool { ... }
    fn prop_additive_identity(a: Self) -> bool { ... }
    fn prop_multiplicative_identity(a: Self) -> bool { ... }
    fn prop_distinct_zero_one(a: Self) -> bool { ... }
    fn prop_additive_inverse(a: Self) -> bool { ... }
    fn prop_multiplicative_inverse(a: Self) -> bool { ... }
    fn prop_is_distributive(a: Self, b: Self, c: Self) -> bool { ... }
    fn check_all_properties(a: Self, b: Self, c: Self) -> bool { ... }
}

Marker trait for fields with full equivalence

Provided Methods

fn prop_addition_is_associative(a: Self, b: Self, c: Self) -> bool

fn prop_multiplication_is_associative(a: Self, b: Self, c: Self) -> bool

fn prop_addition_is_commutative(a: Self, b: Self) -> bool

fn prop_multiplication_is_commutative(a: Self, b: Self) -> bool

fn prop_additive_identity(a: Self) -> bool

fn prop_multiplicative_identity(a: Self) -> bool

fn prop_distinct_zero_one(a: Self) -> bool

fn prop_additive_inverse(a: Self) -> bool

fn prop_multiplicative_inverse(a: Self) -> bool

fn prop_is_distributive(a: Self, b: Self, c: Self) -> bool

fn check_all_properties(a: Self, b: Self, c: Self) -> bool

Implementors