Function base_to_ext 

pub fn base_to_ext<FA>(x: impl Into<FA>) -> [FA; 4]
where
    FA: PrimeCharacteristicRing,