Function lattices::algebra::nonzero_inverse

source ·

pub fn nonzero_inverse<S: Debug + PartialEq + Clone, const N: usize>(
    items: &[S; N],
    f: impl Fn(S, S) -> S,
    e: S,
    zero: S,
    b: impl Fn(S) -> S
) -> Result<(), &'static str>

Expand description

Defines the non_zero inverse property. Every element except zero must have an inverse.