Macro test_ring 

macro_rules! test_ring {
    ($mod_name:ident, $point:ty, $arb_point:expr) => { ... };
}

Tests the axioms required by Ring.