pub fn test_ring_with_eq<R: PrimeCharacteristicRing + Copy + Eq>( zeros: &[R], ones: &[R], )where StandardUniform: Distribution<R> + Distribution<[R; 16]>,