Macro test_vector 

macro_rules! test_vector {
    ($mod_name:ident, $space:ty, $arb_point:expr, $arb_scalar:expr) => { ... };
}

Tests the axioms required by Vector.