Function eq_1 

pub fn eq_1<FA>(x: [impl Into<FA>; 4], y: [impl Into<FA>; 4]) -> [FA; 4]
where
    FA: PrimeCharacteristicRing,
    FA::PrimeSubfield: BinomiallyExtendable<{ D_EF }>,