Trait scirust::algebra::structure::field::FieldPartial
[−]
[src]
pub trait FieldPartial: IntegralDomainPartial + Div<Output=Self> + Recip<Output=Self> { 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 partial 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
impl FieldPartial for f32
impl FieldPartial for f64
impl<T: Float + Debug> FieldPartial for Complex<T>