Function reduce_raw_u64_to_ef 

pub fn reduce_raw_u64_to_ef(accum: &[u64]) -> Vec<EF> 

Reduce overflowing u64 to extension field elements. After reducing modulo p, the u64 are in Montgomery form.