w2:=sqrt(2); w5:=sqrt(5); I:=sqrt(-1); s1:=sqrt(2+w2); s2:=sqrt(w5-1); w10:=w2*w5; zeta_16:=s1/2*((w2-1)*I+1); fid8b:=[ -4*w5 + 12, ((2*w2 - 2)*s1*s2 + (-w10 + 3*w2 + 2*w5 - 6)*s1 - 4*s2)*I + 2*s1*s2 + (w10 - 3*w2)*s1 - 2*w10 + 6*w2, -4*w2*s2*I, ((2*w2 - 2)*s1*s2 + (w10 - 3*w2 - 2*w5 + 6)*s1 + 4*s2)*I + 2*s1*s2 + (-w10 + 3*w2)*s1 - 2*w10 + 6*w2, 4*w5 - 12, ((-2*w2 + 2)*s1*s2 + (w10 - 3*w2 - 2*w5 + 6)*s1 - 4*s2)*I -2*s1*s2 + (-w10 + 3*w2)*s1 - 2*w10 + 6*w2, 4*w2*s2*I, ((-2*w2 + 2)*s1*s2 + (-w10 + 3*w2 + 2*w5 - 6)*s1 + 4*s2)*I -2*s1*s2 + (w10 - 3*w2)*s1 - 2*w10 + 6*w2 ];