Function test_integer_axioms

pub fn test_integer_axioms<R: IntegerRingStore, I: Iterator<Item = El<R>>>(
    ring: R,
    edge_case_elements: I,
)
where
    R::Type: IntegerRing,