Relations among eta functions of level 8
Related to
http://www.risc.jku.at/people/hemmecke/eta/
fricas
-- eta relations --
g1 := E1^8*E2^6*E4^10-E1^12*E2^8*E8^4-4*E1^4*E2^8*E4^8*E8^4+32*E2^10*E4^6*E8^8-16*E1^12*E8^12-256*E1^4*E4^8*E8^12;
Type: Polynomial(Integer)
fricas
g2 := E2^10*E4^8-E1^12*E4^2*E8^4-8*E1^4*E4^10*E8^4-4*E1^8*E2^2*E8^8;
Type: Polynomial(Integer)
fricas
g3 := E2^8*E4^10-E1^4*E2^10*E8^4-4*E1^8*E4^2*E8^8-32*E1^4*E2^2*E8^12;
Type: Polynomial(Integer)
fricas
g4 := E2^12-E1^8*E4^4-8*E1^4*E2^2*E4^2*E8^4;
Type: Polynomial(Integer)
fricas
g5 := E4^12-E1^4*E2^2*E4^2*E8^4-4*E2^4*E8^8;
Type: Polynomial(Integer)
fricas
-- Somos eta relations --
q8_12_24 := -E2^12+E1^8*E4^4+8*E4^12-32*E2^4*E8^8;
Type: Polynomial(Integer)
fricas
t8_12_24 := -E2^12+E1^8*E4^4+8*E1^4*E2^2*E4^2*E8^4;
Type: Polynomial(Integer)
fricas
t8_12_48 := -E4^12+E1^4*E2^2*E4^2*E8^4+4*E2^4*E8^8;
Type: Polynomial(Integer)
fricas
q8_18_36 := -E1^4*E2^12*E4^2+E1^12*E4^6+16*E1^4*E4^14-8*E2^14*E8^4;
Type: Polynomial(Integer)
fricas
x8_18_36a := -E1^4*E2^12*E4^2+E1^12*E4^6+8*E1^4*E4^14-32*E2^2*E4^12*E8^4+128*_
E2^6*E8^12;
Type: Polynomial(Integer)
fricas
x8_18_36b := -E1^4*E2^12*E4^2+E1^12*E4^6+8*E2^14*E8^4-64*E2^2*E4^12*E8^4+256*_
E2^6*E8^12;
Type: Polynomial(Integer)
fricas
q8_18_52 := -E2^10*E4^8+E1^12*E4^2*E8^4+8*E1^4*E4^10*E8^4+4*E1^8*E2^2*E8^8;
Type: Polynomial(Integer)
fricas
q8_18_56 := -E2^8*E4^10+E1^4*E2^10*E8^4+4*E1^8*E4^2*E8^8+32*E1^4*E2^2*E8^12;
Type: Polynomial(Integer)
fricas
q8_18_60 := E1^4*E4^14-E2^14*E8^4+4*E2^2*E4^12*E8^4-16*E2^6*E8^12;
Type: Polynomial(Integer)
fricas
t8_18_60a := E1^4*E4^14-E2^14*E8^4+4*E1^4*E2^4*E4^2*E8^8;
Type: Polynomial(Integer)
fricas
t8_18_60b := -2*E1^4*E4^14+E2^14*E8^4+E1^8*E2^2*E4^4*E8^4;
Type: Polynomial(Integer)
fricas
x8_20_40 := -E2^20+E1^8*E2^8*E4^4+8*E2^8*E4^12-32*E1^8*E4^4*E8^8-256*E1^4*E2^_
2*E4^2*E8^12;
Type: Polynomial(Integer)
fricas
x8_20_56 := -E2^12*E4^8+8*E4^20+E1^12*E2^2*E4^2*E8^4+4*E1^8*E2^4*E8^8-32*E2^4_
*E4^8*E8^8;
Type: Polynomial(Integer)
fricas
q8_20_60a := -E2^10*E4^10+E1^4*E2^12*E8^4+4*E1^4*E4^12*E8^4+16*E1^4*E2^4*E8^_
12;
Type: Polynomial(Integer)
fricas
q8_20_60b := -E2^10*E4^10+E1^12*E4^4*E8^4+12*E1^4*E4^12*E8^4-16*E1^4*E2^4*E8^_
12;
Type: Polynomial(Integer)
fricas
q8_20_60c := -2*E2^10*E4^10+E1^4*E2^12*E8^4+E1^12*E4^4*E8^4+16*E1^4*E4^12*E8^_
4;
Type: Polynomial(Integer)
fricas
q8_20_60d := 2*E2^10*E4^10-3*E1^4*E2^12*E8^4+E1^12*E4^4*E8^4-64*E1^4*E2^4*E8^_
12;
Type: Polynomial(Integer)
fricas
q8_20_60e := -E2^10*E4^10+E1^4*E2^12*E8^4+8*E1^4*E4^12*E8^4-4*E1^8*E2^2*E4^2*_
E8^8;
Type: Polynomial(Integer)
fricas
q8_20_60f := -E2^10*E4^10+E1^12*E4^4*E8^4+12*E1^8*E2^2*E4^2*E8^8+32*E1^4*E2^4_
*E8^12;
Type: Polynomial(Integer)
fricas
q8_22_64a := -E2^12*E4^10+E1^8*E4^14+8*E1^8*E2^4*E4^2*E8^8+32*E1^4*E2^6*E8^12;
Type: Polynomial(Integer)
fricas
q8_22_64b := E2^12*E4^10+E1^8*E4^14-2*E1^4*E2^14*E8^4-32*E1^4*E2^6*E8^12;
Type: Polynomial(Integer)
fricas
q8_22_64c := E2^12*E4^10-3*E1^8*E4^14+2*E1^12*E2^2*E4^4*E8^4-32*E1^4*E2^6*E8^_
12;
Type: Polynomial(Integer)
fricas
q8_22_68a := -E2^10*E4^12+E1^12*E4^6*E8^4+4*E2^14*E8^8+8*E1^8*E2^2*E4^4*E8^8;
Type: Polynomial(Integer)
fricas
q8_22_68b := -E2^10*E4^12+E1^12*E4^6*E8^4+12*E2^14*E8^8-64*E1^4*E2^4*E4^2*E8^_
12;
Type: Polynomial(Integer)
fricas
q8_22_68c := -E2^10*E4^12+E1^12*E4^6*E8^4+16*E1^4*E4^14*E8^4-4*E2^14*E8^8;
Type: Polynomial(Integer)
fricas
x8_24_48 := -E2^24+E1^8*E2^12*E4^4+8*E1^8*E4^16+32*E2^16*E8^8-256*E1^4*E2^6*_
E4^2*E8^12;
Type: Polynomial(Integer)
fricas
q8_24_48a := -E2^24+E1^8*E2^12*E4^4+16*E1^8*E4^16-8*E1^12*E2^2*E4^6*E8^4;
Type: Polynomial(Integer)
fricas
q8_24_48b := -E2^24+E1^8*E2^12*E4^4+8*E1^8*E4^16+32*E1^8*E2^4*E4^4*E8^8;
Type: Polynomial(Integer)
fricas
q8_24_48c := -E2^24+E1^16*E4^8+16*E2^12*E4^12-128*E1^4*E2^2*E4^14*E8^4;
Type: Polynomial(Integer)
fricas
x8_24_72 := -E1^8*E4^16+8*E4^24+E1^12*E2^2*E4^6*E8^4-4*E2^16*E8^8-32*E2^4*E4^_
12*E8^8;
Type: Polynomial(Integer)
fricas
q8_24_72a := -E2^12*E4^12+E1^8*E4^16+8*E2^16*E8^8-32*E1^4*E2^6*E4^2*E8^12;
Type: Polynomial(Integer)
fricas
q8_24_72b := E2^12*E4^12-2*E1^8*E4^16+E1^12*E2^2*E4^6*E8^4-4*E2^16*E8^8;
Type: Polynomial(Integer)
fricas
q8_24_72c := -E1^8*E4^16+E1^12*E2^2*E4^6*E8^4+8*E1^4*E2^2*E4^14*E8^4-4*E2^16*_
E8^8;
Type: Polynomial(Integer)
fricas
q8_24_72d := -E1^8*E4^16+E1^4*E2^14*E4^2*E8^4-4*E2^16*E8^8+32*E1^4*E2^6*E4^2*_
E8^12;
Type: Polynomial(Integer)
fricas
q8_24_72e := -E1^8*E4^16+E1^12*E2^2*E4^6*E8^4+4*E2^16*E8^8-32*E1^4*E2^6*E4^2*_
E8^12;
Type: Polynomial(Integer)
fricas
q8_24_72f := -E2^12*E4^12+E1^8*E4^16+4*E2^16*E8^8+4*E1^8*E2^4*E4^4*E8^8;
Type: Polynomial(Integer)
fricas
q8_24_72g := -E1^8*E4^16+E1^4*E2^14*E4^2*E8^4-8*E1^4*E2^2*E4^14*E8^4+4*E2^16*_
E8^8;
Type: Polynomial(Integer)
fricas
q8_24_72h := -E2^12*E4^12+4*E4^24+E1^4*E2^14*E4^2*E8^4-64*E2^8*E8^16;
Type: Polynomial(Integer)
fricas
q8_24_96a := -2*E4^24+E2^16*E8^8+E1^8*E2^4*E4^4*E8^8+8*E2^4*E4^12*E8^8;
Type: Polynomial(Integer)
fricas
q8_24_96b := -E4^24+E2^16*E8^8+4*E2^4*E4^12*E8^8-4*E1^4*E2^6*E4^2*E8^12;
Type: Polynomial(Integer)
fricas
q8_26_76 := E1^4*E2^8*E4^14-E2^22*E8^4+4*E1^12*E4^6*E8^8+32*E1^8*E2^2*E4^4*E8_
^12;
Type: Polynomial(Integer)
fricas
q8_26_92 := -2*E1^4*E4^22+E2^14*E4^8*E8^4+E1^12*E2^4*E4^2*E8^8+4*E1^8*E2^6*E8_
^12;
Type: Polynomial(Integer)
fricas
q8_28_80 := E1^4*E2^10*E4^14-E2^24*E8^4+8*E1^8*E4^16*E8^4-4*E1^12*E2^2*E4^6*_
E8^8;
Type: Polynomial(Integer)
fricas
q8_28_100 := -2*E1^4*E4^24+E2^14*E4^10*E8^4+E1^4*E2^16*E8^8-4*E1^8*E2^6*E4^2*_
E8^12;
Type: Polynomial(Integer)
fricas
q8_30_60 := E1^12*E2^12*E4^6-E1^20*E4^10-8*E2^26*E8^4+128*E1^8*E2^2*E4^16*E8^_
4;
Type: Polynomial(Integer)
fricas
q8_30_72 := -2*E2^24*E4^6+32*E1^8*E4^22+E1^12*E2^14*E8^4+E1^20*E2^2*E4^4*E8^4;
Type: Polynomial(Integer)
fricas
q8_30_84a := E1^12*E4^18-E2^26*E8^4+12*E1^8*E2^2*E4^16*E8^4+16*E1^8*E2^6*E4^4_
*E8^12;
Type: Polynomial(Integer)
fricas
q8_30_84b := E1^12*E4^18-E2^26*E8^4+8*E1^8*E2^2*E4^16*E8^4+4*E1^4*E2^16*E4^2*_
E8^8;
Type: Polynomial(Integer)
fricas
q8_30_84c := -2*E1^12*E4^18+E2^26*E8^4+E1^8*E2^14*E4^4*E8^4-16*E1^8*E2^2*E4^_
16*E8^4;
Type: Polynomial(Integer)
fricas
q8_30_84d := 2*E1^12*E4^18+E2^26*E8^4-3*E1^8*E2^14*E4^4*E8^4-64*E1^8*E2^6*E4^_
4*E8^12;
Type: Polynomial(Integer)
fricas
q8_30_84e := -2*E1^4*E2^12*E4^14+E1^12*E4^18+E2^26*E8^4+4*E1^12*E2^4*E4^6*E8^_
8;
Type: Polynomial(Integer)
fricas
q8_30_84f := E1^12*E4^18-E2^26*E8^4+8*E1^4*E2^16*E4^2*E8^8+4*E1^12*E2^4*E4^6*_
E8^8;
Type: Polynomial(Integer)
fricas
q8_30_84g := E1^12*E4^18-E2^26*E8^4+16*E1^8*E2^2*E4^16*E8^4-4*E1^12*E2^4*E4^6_
*E8^8;
Type: Polynomial(Integer)
fricas
q8_30_84h := E1^12*E4^18-E2^26*E8^4+12*E1^12*E2^4*E4^6*E8^8+64*E1^8*E2^6*E4^4_
*E8^12;
Type: Polynomial(Integer)
fricas
q8_30_84i := -3*E1^4*E2^12*E4^14+E1^12*E4^18+2*E2^26*E8^4-32*E1^8*E2^6*E4^4*_
E8^12;
Type: Polynomial(Integer)
fricas
q8_30_84j := E1^12*E4^18-E2^26*E8^4+12*E1^4*E2^16*E4^2*E8^8-32*E1^8*E2^6*E4^4_
*E8^12;
Type: Polynomial(Integer)
fricas
q8_30_84k := 32*E1^4*E4^26-E2^26*E8^4+E1^16*E2^2*E4^8*E8^4-16*E2^14*E4^12*E8^_
4;
Type: Polynomial(Integer)
fricas
q8_30_84l := E1^4*E2^12*E4^14+4*E1^4*E4^26-E2^26*E8^4-64*E1^4*E2^8*E4^2*E8^16;
Type: Polynomial(Integer)
fricas
q8_30_108a := -2*E1^4*E4^26+E1^8*E2^2*E4^16*E8^4+E1^4*E2^16*E4^2*E8^8+4*E2^18_
*E8^12;
Type: Polynomial(Integer)
fricas
q8_30_108b := -E1^4*E4^26+E1^12*E2^4*E4^6*E8^8+12*E1^4*E2^4*E4^14*E8^8-4*E2^_
18*E8^12;
Type: Polynomial(Integer)
fricas
q8_30_108c := -4*E1^4*E4^26+3*E1^4*E2^16*E4^2*E8^8+E1^12*E2^4*E4^6*E8^8+8*E2^_
18*E8^12;
Type: Polynomial(Integer)
fricas
q8_30_108d := -E1^4*E4^26+E1^4*E2^16*E4^2*E8^8-4*E1^4*E2^4*E4^14*E8^8+4*E2^18_
*E8^12;
Type: Polynomial(Integer)
fricas
q8_30_108e := E1^4*E4^26-E2^14*E4^12*E8^4+2*E2^18*E8^12+2*E1^8*E2^6*E4^4*E8^_
12;
Type: Polynomial(Integer)
fricas
q8_30_108f := E1^4*E4^26-E1^8*E2^2*E4^16*E8^4-2*E2^18*E8^12-2*E1^8*E2^6*E4^4*_
E8^12;
Type: Polynomial(Integer)
fricas
q8_30_108g := -E1^4*E4^26+E1^4*E2^16*E4^2*E8^8+2*E2^18*E8^12-2*E1^8*E2^6*E4^4_
*E8^12;
Type: Polynomial(Integer)
fricas
q8_30_108h := -E1^4*E4^26+E1^12*E2^4*E4^6*E8^8+2*E2^18*E8^12+6*E1^8*E2^6*E4^4_
*E8^12;
Type: Polynomial(Integer)
fricas
q8_30_108i := -4*E1^4*E4^26+3*E2^14*E4^12*E8^4+E1^12*E2^4*E4^6*E8^8-4*E2^18*_
E8^12;
Type: Polynomial(Integer)
fricas
q8_30_108j := 2*E1^4*E4^26-3*E1^8*E2^2*E4^16*E8^4+E1^12*E2^4*E4^6*E8^8-4*E2^_
18*E8^12;
Type: Polynomial(Integer)
fricas
q8_30_108k := -E1^4*E4^26+E1^4*E2^16*E4^2*E8^8+16*E2^6*E4^12*E8^12-64*E2^10*_
E8^20;
Type: Polynomial(Integer)
fricas
q8_30_108l := -E2^6*E4^24+E2^22*E8^8+16*E1^4*E4^14*E8^12+64*E1^4*E2^4*E4^2*E8_
^20;
Type: Polynomial(Integer)
fricas
q8_32_80 := -E2^24*E4^8+E1^16*E4^16+16*E1^8*E2^16*E8^8+256*E1^8*E2^8*E8^16;
Type: Polynomial(Integer)
fricas
x8_32_96 := -E2^16*E4^16+E1^16*E2^8*E8^8+16*E1^8*E2^8*E4^8*E8^8+16*E1^16*E8^_
16+256*E1^8*E4^8*E8^16;
Type: Polynomial(Integer)
fricas
q8_32_112 := -E2^8*E4^24+E1^16*E4^8*E8^8+16*E1^8*E4^16*E8^8+16*E2^16*E8^16;
Type: Polynomial(Integer)
fricas
q8_34_68 := -E2^34+E1^8*E2^22*E4^4+8*E1^20*E4^10*E8^4+128*E1^12*E4^18*E8^4;
Type: Polynomial(Integer)
fricas
x8_34_68a := -E2^34+E1^8*E2^22*E4^4+8*E1^8*E2^10*E4^16+32*E1^12*E4^18*E8^4+_
128*E1^12*E2^4*E4^6*E8^12;
Type: Polynomial(Integer)
fricas
x8_34_68b := -E2^34+E1^8*E2^22*E4^4+8*E1^12*E2^12*E4^6*E8^4+64*E1^12*E4^18*E8_
^4+256*E1^12*E2^4*E4^6*E8^12;
Type: Polynomial(Integer)
fricas
q8_34_136 := -E4^34+4*E2^4*E4^22*E8^8+E1^4*E2^18*E8^12+16*E1^4*E2^10*E8^20;
Type: Polynomial(Integer)
fricas
x8_34_136a := -4*E4^34+2*E2^16*E4^10*E8^8+16*E2^4*E4^22*E8^8+E1^4*E2^18*E8^12_
+E1^12*E2^6*E4^4*E8^12;
Type: Polynomial(Integer)
fricas
x8_34_136b := -2*E4^34+8*E2^4*E4^22*E8^8+E1^4*E2^18*E8^12+E1^12*E2^6*E4^4*E8^_
12+8*E1^4*E2^6*E4^12*E8^12;
Type: Polynomial(Integer)
fricas
q8_36_72a := -E2^36+E1^24*E4^12+16*E1^16*E4^20+8*E1^4*E2^26*E4^2*E8^4;
Type: Polynomial(Integer)
fricas
q8_36_72b := -E2^36+E1^24*E4^12+16*E1^8*E2^12*E4^16+8*E1^20*E2^2*E4^10*E8^4;
Type: Polynomial(Integer)
fricas
q8_36_72c := -E2^36+E1^16*E2^12*E4^8+16*E1^16*E4^20+128*E1^12*E2^2*E4^18*E8^4;
Type: Polynomial(Integer)
fricas
q8_36_120a := -2*E1^8*E4^28+E2^28*E8^8+E1^8*E2^16*E4^4*E8^8-8*E1^8*E2^4*E4^16_
*E8^8;
Type: Polynomial(Integer)
fricas
q8_36_120b := E1^8*E4^28-E2^28*E8^8+12*E1^8*E2^4*E4^16*E8^8-4*E1^12*E2^6*E4^6_
*E8^12;
Type: Polynomial(Integer)
fricas
q8_36_120c := -4*E1^8*E4^28+E2^28*E8^8+3*E1^8*E2^16*E4^4*E8^8-8*E1^12*E2^6*E4_
^6*E8^12;
Type: Polynomial(Integer)
fricas
q8_36_120d := E1^8*E4^28-E2^28*E8^8+6*E1^4*E2^18*E4^2*E8^12+2*E1^12*E2^6*E4^6_
*E8^12;
Type: Polynomial(Integer)
fricas
q8_36_120e := -4*E1^8*E4^28+3*E1^12*E2^2*E4^18*E8^4+E2^28*E8^8+4*E1^12*E2^6*_
E4^6*E8^12;
Type: Polynomial(Integer)
fricas
q8_36_120f := -2*E1^8*E4^28+E1^12*E2^2*E4^18*E8^4+E2^28*E8^8-4*E1^4*E2^18*E4^_
2*E8^12;
Type: Polynomial(Integer)
fricas
q8_36_120g := 2*E1^8*E4^28-3*E1^4*E2^14*E4^14*E8^4+E2^28*E8^8+4*E1^12*E2^6*E4_
^6*E8^12;
Type: Polynomial(Integer)
fricas
q8_36_120h := -2*E1^8*E4^28+E2^28*E8^8+E1^16*E2^4*E4^8*E8^8-32*E1^8*E2^8*E4^4_
*E8^16;
Type: Polynomial(Integer)
fricas
q8_36_144a := -E4^36+E1^4*E2^2*E4^26*E8^4+4*E2^20*E8^16+64*E2^12*E8^24;
Type: Polynomial(Integer)
fricas
q8_36_144b := -E4^36+E2^16*E4^12*E8^8+16*E1^4*E2^10*E4^2*E8^20+64*E2^12*E8^24;
Type: Polynomial(Integer)
fricas
q8_36_144c := -E4^36+E1^4*E2^18*E4^2*E8^12+4*E2^20*E8^16+16*E2^8*E4^12*E8^16;
Type: Polynomial(Integer)
fricas
q8_40_104 := -2*E1^4*E2^22*E4^14+E2^36*E8^4+E1^24*E4^12*E8^4+16*E1^16*E4^20*_
E8^4;
Type: Polynomial(Integer)
fricas
q8_40_112 := -E2^24*E4^16+16*E1^8*E4^32+E1^16*E2^16*E8^8+16*E1^16*E2^8*E8^16;
Type: Polynomial(Integer)
fricas
q8_40_128 := E2^16*E4^24-E2^32*E8^8-16*E1^16*E4^8*E8^16-256*E1^8*E4^16*E8^16;
Type: Polynomial(Integer)
fricas
q8_40_148 := E1^4*E4^36-E2^14*E4^22*E8^4+4*E1^4*E2^20*E8^16+64*E1^4*E2^12*E8^_
24;
Type: Polynomial(Integer)
fricas
q8_42_108a := 24*E1^12*E4^30-E2^38*E8^4+E1^24*E2^2*E4^12*E8^4+128*E1^12*E2^8*_
E4^6*E8^16;
Type: Polynomial(Integer)
fricas
q8_42_108b := -2*E1^20*E4^22-32*E1^12*E4^30+E2^38*E8^4+E1^8*E2^26*E4^4*E8^4;
Type: Polynomial(Integer)
fricas
q8_42_108c := -2*E1^20*E4^22+E2^38*E8^4+E1^24*E2^2*E4^12*E8^4-16*E1^8*E2^14*_
E4^16*E8^4;
Type: Polynomial(Integer)
fricas
q8_42_108d := 32*E1^12*E4^30-E2^38*E8^4+E1^16*E2^14*E4^8*E8^4-16*E1^16*E2^2*_
E4^20*E8^4;
Type: Polynomial(Integer)
fricas
q8_42_156a := -4*E1^4*E4^38+3*E2^30*E8^12+E1^16*E2^6*E4^8*E8^12+256*E1^4*E2^_
12*E4^2*E8^24;
Type: Polynomial(Integer)
fricas
q8_42_156b := E1^4*E4^38+4*E1^4*E2^4*E4^26*E8^8-E2^30*E8^12-16*E2^22*E8^20;
Type: Polynomial(Integer)
fricas
q8_42_156c := -E1^4*E4^38+E1^4*E2^16*E4^14*E8^8+16*E2^22*E8^20-64*E1^4*E2^12*_
E4^2*E8^24;
Type: Polynomial(Integer)
fricas
q8_42_156d := E1^4*E4^38-E2^30*E8^12+4*E1^4*E2^20*E4^2*E8^16-16*E1^4*E2^8*E4^_
14*E8^16;
Type: Polynomial(Integer)
fricas
q8_48_144a := E1^16*E4^32-E2^40*E8^8+16*E1^8*E2^16*E4^16*E8^8-16*E1^16*E2^8*_
E4^8*E8^16;
Type: Polynomial(Integer)
fricas
q8_48_144b := -E1^16*E4^32+E1^16*E2^16*E4^8*E8^8+16*E2^32*E8^16-256*E1^8*E2^8_
*E4^16*E8^16;
Type: Polynomial(Integer)
fricas
q8_48_144c := E1^16*E4^32+16*E1^8*E4^40-E2^40*E8^8-16*E2^32*E8^16;
Type: Polynomial(Integer)
fricas
q8_48_144d := 16*E1^8*E4^40-E2^40*E8^8+E1^16*E2^16*E4^8*E8^8-256*E1^8*E2^8*E4_
^16*E8^16;
Type: Polynomial(Integer)
fricas
q8_48_168 := E1^8*E4^40-E1^8*E2^16*E4^16*E8^8-E2^32*E8^16+E1^16*E2^8*E4^8*E8^_
16;
Type: Polynomial(Integer)
fricas
q8_54_180a := -4*E1^12*E4^42+E2^42*E8^12+3*E1^16*E2^18*E4^8*E8^12-256*E1^12*_
E2^12*E4^6*E8^24;
Type: Polynomial(Integer)
fricas
x8_54_180a := -4*E1^12*E4^42+2*E1^12*E2^16*E4^18*E8^8-16*E1^12*E2^4*E4^30*E8^_
8+E2^42*E8^12+E1^8*E2^30*E4^4*E8^12;
Type: Polynomial(Integer)
fricas
q8_54_180b := -2*E1^12*E4^42+E2^42*E8^12+E1^24*E2^6*E4^12*E8^12-96*E1^12*E2^8_
*E4^18*E8^16;
Type: Polynomial(Integer)
fricas
x8_54_180b := -2*E1^12*E4^42-8*E1^12*E2^4*E4^30*E8^8+E2^42*E8^12+E1^8*E2^30*_
E4^4*E8^12-8*E1^8*E2^18*E4^16*E8^12;
Type: Polynomial(Integer)
fricas
x8_60_120 := E2^60-3*E1^8*E2^48*E4^4+2*E1^16*E2^36*E4^8+2*E1^24*E2^24*E4^12-3_
*E1^32*E2^12*E4^16+E1^40*E4^20-8192*E1^20*E2^6*E4^22*E8^12;
Type: Polynomial(Integer)
fricas
q8_60_168 := 32*E1^16*E4^44-E2^52*E8^8+E1^32*E2^4*E4^16*E8^8+512*E1^16*E2^8*_
E4^20*E8^16;
Type: Polynomial(Integer)
fricas
q8_60_216 := -2*E1^8*E4^52+E2^44*E8^16+E1^16*E2^20*E4^8*E8^16+512*E1^8*E2^16*_
E4^4*E8^32;
Type: Polynomial(Integer)
fricas
x8_60_240 := -E4^60+12*E2^4*E4^48*E8^8-32*E2^8*E4^36*E8^16+E1^12*E2^22*E4^6*_
E8^20-128*E2^12*E4^24*E8^24+768*E2^16*E4^12*E8^32-1024*E2^20*E8^40;
Type: Polynomial(Integer)
fricas
x8_78_228 := 128*E1^20*E4^58-E2^66*E8^12-3*E1^8*E2^54*E4^4*E8^12-2*E1^16*E2^_
42*E4^8*E8^12+2*E1^24*E2^30*E4^12*E8^12+3*E1^32*E2^18*E4^16*E8^12+E1^40*E2^6*_
E4^20*E8^12;
Type: Polynomial(Integer)
fricas
x8_78_276 := E1^12*E4^66+12*E1^12*E2^4*E4^54*E8^8+32*E1^12*E2^8*E4^42*E8^16-_
E2^58*E8^20-128*E1^12*E2^12*E4^30*E8^24-768*E1^12*E2^16*E4^18*E8^32-1024*E1^_
12*E2^20*E4^6*E8^40;
Type: Polynomial(Integer)
fricas
-- Relation relations --;
relationRelations := [_
q8_12_24+g4-8*1*g5,_
t8_12_24+g4,_
t8_12_48+g5,_
q8_18_36+(E1^4*E4^2+8*E2^2*E8^4)*g4-16*E1^4*E4^2*g5,_
x8_18_36a+E1^4*E4^2*g4+(-8*E1^4*E4^2+32*E2^2*E8^4)*g5,_
x8_18_36b+(E1^4*E4^2-8*E2^2*E8^4)*g4+64*E2^2*E8^4*g5,_
q8_18_52+g2,_
q8_18_56+g3,_
q8_18_60+E2^2*E8^4*g4+(-E1^4*E4^2-4*E2^2*E8^4)*g5,_
t8_18_60a+E2^2*E8^4*g4-E1^4*E4^2*g5,_
t8_18_60b-E2^2*E8^4*g4+2*E1^4*E4^2*g5,_
x8_20_40-8*E4^2*g3+E2^8*g4,_
x8_20_56+E2^2*g2-8*E4^8*g5,_
q8_20_60a+E4^2*g2-E1^4*E8^4*g4+4*E1^4*E8^4*g5,_
q8_20_60b+E4^2*g2-4*E1^4*E8^4*g5,_
q8_20_60c+2*E4^2*g2-E1^4*E8^4*g4,_
q8_20_60d-2*E4^2*g2+3*E1^4*E8^4*g4-16*E1^4*E8^4*g5,_
q8_20_60e+E4^2*g2-E1^4*E8^4*g4,_
q8_20_60f+E4^2*g2+8*E1^4*E8^4*g5,_
q8_22_64a+E2^2*E4^2*g2+(-E1^8*E4^2+8*E1^4*E2^2*E8^4)*g5,_
q8_22_64b-E2^2*E4^2*g2+2*E1^4*E2^2*E8^4*g4+(-E1^8*E4^2-8*E1^4*E2^2*E8^4)*g5,_
q8_22_64c-E2^2*E4^2*g2+(3*E1^8*E4^2-8*E1^4*E2^2*E8^4)*g5,_
q8_22_68a+E4^4*g2-4*E2^2*E8^8*g4+8*E1^4*E4^2*E8^4*g5,_
q8_22_68b+E4^4*g2-12*E2^2*E8^8*g4+8*E1^4*E4^2*E8^4*g5,_
q8_22_68c+E4^4*g2+4*E2^2*E8^8*g4-8*E1^4*E4^2*E8^4*g5,_
x8_24_48+(E2^12+8*E1^4*E2^2*E4^2*E8^4-32*E2^4*E8^8)*g4-8*E1^8*E4^4*g5,_
q8_24_48a+(E2^12+8*E1^4*E2^2*E4^2*E8^4)*g4-16*E1^8*E4^4*g5,_
q8_24_48b+(E2^12+8*E1^4*E2^2*E4^2*E8^4)*g4-8*E1^8*E4^4*g5,_
q8_24_48c-16*E2^2*E4^4*g2+(E2^12+E1^8*E4^4+8*E1^4*E2^2*E4^2*E8^4)*g4,_
x8_24_72+4*E2^4*E8^8*g4+(E1^8*E4^4-8*E4^12-8*E1^4*E2^2*E4^2*E8^4)*g5,_
q8_24_72a+E2^2*E4^4*g2-8*E2^4*E8^8*g4+(-E1^8*E4^4+8*E1^4*E2^2*E4^2*E8^4)*g5,_
q8_24_72b-E2^2*E4^4*g2+4*E2^4*E8^8*g4+(2*E1^8*E4^4-8*E1^4*E2^2*E4^2*E8^4)*g5,_
q8_24_72c+4*E2^4*E8^8*g4+(E1^8*E4^4-8*E1^4*E2^2*E4^2*E8^4)*g5,_
q8_24_72d+(-E1^4*E2^2*E4^2*E8^4+4*E2^4*E8^8)*g4+E1^8*E4^4*g5,_
q8_24_72e-4*E2^4*E8^8*g4+E1^8*E4^4*g5,_
q8_24_72f+E2^2*E4^4*g2-4*E2^4*E8^8*g4+(-E1^8*E4^4+8*E1^4*E2^2*E4^2*E8^4)*g5,_
q8_24_72g+(-E1^4*E2^2*E4^2*E8^4-4*E2^4*E8^8)*g4+(E1^8*E4^4+8*E1^4*E2^2*E4^2*_
E8^4)*g5,_
q8_24_72h+E2^2*E4^4*g2-E1^4*E2^2*E4^2*E8^4*g4+(-4*E4^12+4*E1^4*E2^2*E4^2*E8^4_
-16*E2^4*E8^8)*g5,_
q8_24_96a-E2^4*E8^8*g4+(2*E4^12+2*E1^4*E2^2*E4^2*E8^4)*g5,_
q8_24_96b-E2^4*E8^8*g4+(E4^12+E1^4*E2^2*E4^2*E8^4)*g5,_
q8_26_76-E1^4*E4^4*g3+(E2^10*E8^4+8*E1^4*E4^2*E8^8)*g4,_
q8_26_92-E2^4*E8^4*g2+(2*E1^4*E4^10+2*E1^8*E2^2*E8^4)*g5,_
q8_28_80-E1^4*E4^6*g2+(E2^12*E8^4+E1^8*E4^4*E8^4+8*E1^4*E2^2*E4^2*E8^8)*g4-16_
*E1^8*E4^4*E8^4*g5,_
q8_28_100-E2^4*E4^2*E8^4*g2-E1^4*E2^4*E8^8*g4+(2*E1^4*E4^12+2*E1^8*E2^2*E4^2*_
E8^4)*g5,_
q8_30_60+(-E1^12*E4^6+8*E2^14*E8^4+8*E1^8*E2^2*E4^4*E8^4+64*E1^4*E2^4*E4^2*E8_
^8)*g4-128*E1^8*E2^2*E4^4*E8^4*g5,_
q8_30_72+2*E2^6*g1+24*E1^4*E2^4*E8^4*g2+(2*E2^12*E4^6+E1^12*E2^2*E8^4-64*E2^4_
*E4^6*E8^8)*g4+(-32*E1^8*E4^10-32*E1^12*E2^2*E8^4)*g5,_
q8_30_84a+(E2^14*E8^4+E1^8*E2^2*E4^4*E8^4+8*E1^4*E2^4*E4^2*E8^8)*g4+(-E1^12*_
E4^6-12*E1^8*E2^2*E4^4*E8^4)*g5,_
q8_30_84b+(E2^14*E8^4+E1^8*E2^2*E4^4*E8^4+4*E1^4*E2^4*E4^2*E8^8)*g4+(-E1^12*_
E4^6-8*E1^8*E2^2*E4^4*E8^4)*g5,_
q8_30_84c+(-E2^14*E8^4-2*E1^8*E2^2*E4^4*E8^4-8*E1^4*E2^4*E4^2*E8^8)*g4+(2*E1^_
12*E4^6+16*E1^8*E2^2*E4^4*E8^4)*g5,_
q8_30_84d+(-E2^14*E8^4+2*E1^8*E2^2*E4^4*E8^4-8*E1^4*E2^4*E4^2*E8^8)*g4-2*E1^_
12*E4^6*g5,_
q8_30_84e+2*E1^4*E2^2*E4^6*g2+(-E2^14*E8^4-E1^8*E2^2*E4^4*E8^4-8*E1^4*E2^4*E4_
^2*E8^8)*g4+(-E1^12*E4^6+16*E1^8*E2^2*E4^4*E8^4)*g5,_
q8_30_84f+(E2^14*E8^4+E1^8*E2^2*E4^4*E8^4)*g4-E1^12*E4^6*g5,_
q8_30_84g+(E2^14*E8^4+E1^8*E2^2*E4^4*E8^4+8*E1^4*E2^4*E4^2*E8^8)*g4+(-E1^12*_
E4^6-16*E1^8*E2^2*E4^4*E8^4)*g5,_
q8_30_84h+(E2^14*E8^4+E1^8*E2^2*E4^4*E8^4+8*E1^4*E2^4*E4^2*E8^8)*g4-E1^12*E4^_
6*g5,_
q8_30_84i+3*E1^4*E2^2*E4^6*g2+(-2*E2^14*E8^4-2*E1^8*E2^2*E4^4*E8^4-16*E1^4*E2_
^4*E4^2*E8^8)*g4+(-E1^12*E4^6+24*E1^8*E2^2*E4^4*E8^4)*g5,_
q8_30_84j+(E2^14*E8^4+E1^8*E2^2*E4^4*E8^4-4*E1^4*E2^4*E4^2*E8^8)*g4-E1^12*E4^_
6*g5,_
q8_30_84k+16*E2^4*E4^4*E8^4*g2+(E2^14*E8^4+E1^8*E2^2*E4^4*E8^4+8*E1^4*E2^4*E4_
^2*E8^8)*g4+(-32*E1^4*E4^14-32*E1^8*E2^2*E4^4*E8^4)*g5,_
q8_30_84l-E1^4*E2^2*E4^6*g2+(E2^14*E8^4+E1^8*E2^2*E4^4*E8^4+8*E1^4*E2^4*E4^2*_
E8^8)*g4+(-4*E1^4*E4^14-12*E1^8*E2^2*E4^4*E8^4-16*E1^4*E2^4*E4^2*E8^8)*g5,_
q8_30_108a+(-E1^4*E2^4*E4^2*E8^8-4*E2^6*E8^12)*g4+(2*E1^4*E4^14+E1^8*E2^2*E4^_
4*E8^4+8*E1^4*E2^4*E4^2*E8^8)*g5,_
q8_30_108b+4*E2^6*E8^12*g4+(E1^4*E4^14+E1^8*E2^2*E4^4*E8^4-8*E1^4*E2^4*E4^2*_
E8^8)*g5,_
q8_30_108c+(-3*E1^4*E2^4*E4^2*E8^8-8*E2^6*E8^12)*g4+(4*E1^4*E4^14+4*E1^8*E2^2_
*E4^4*E8^4+16*E1^4*E2^4*E4^2*E8^8)*g5,_
q8_30_108d+(-E1^4*E2^4*E4^2*E8^8-4*E2^6*E8^12)*g4+(E1^4*E4^14+E1^8*E2^2*E4^4*_
E8^4+8*E1^4*E2^4*E4^2*E8^8)*g5,_
q8_30_108e+E2^4*E4^4*E8^4*g2-2*E2^6*E8^12*g4+(-E1^4*E4^14-E1^8*E2^2*E4^4*E8^4_
+4*E1^4*E2^4*E4^2*E8^8)*g5,_
q8_30_108f+2*E2^6*E8^12*g4+(-E1^4*E4^14-4*E1^4*E2^4*E4^2*E8^8)*g5,_
q8_30_108g+(-E1^4*E2^4*E4^2*E8^8-2*E2^6*E8^12)*g4+(E1^4*E4^14+E1^8*E2^2*E4^4*_
E8^4+4*E1^4*E2^4*E4^2*E8^8)*g5,_
q8_30_108h-2*E2^6*E8^12*g4+(E1^4*E4^14+E1^8*E2^2*E4^4*E8^4+4*E1^4*E2^4*E4^2*_
E8^8)*g5,_
q8_30_108i-3*E2^4*E4^4*E8^4*g2+4*E2^6*E8^12*g4+(4*E1^4*E4^14+4*E1^8*E2^2*E4^4_
*E8^4-8*E1^4*E2^4*E4^2*E8^8)*g5,_
q8_30_108j+4*E2^6*E8^12*g4+(-2*E1^4*E4^14+E1^8*E2^2*E4^4*E8^4-8*E1^4*E2^4*E4^_
2*E8^8)*g5,_
q8_30_108k-E1^4*E2^4*E4^2*E8^8*g4+(E1^4*E4^14+E1^8*E2^2*E4^4*E8^4+4*E1^4*E2^4_
*E4^2*E8^8-16*E2^6*E8^12)*g5,_
q8_30_108l+4*E4^4*E8^8*g2+E1^4*E4^4*E8^4*g3+(-E2^10*E8^8-8*E1^4*E4^2*E8^12)*_
g4+(E2^6*E4^12+16*E1^4*E4^2*E8^12)*g5,_
q8_32_80+(E2^14+8*E1^4*E2^4*E4^2*E8^4)*g2+(E1^12*E2^2*E4^2*E8^4-12*E1^8*E2^4*_
E8^8)*g4+(-E1^16*E4^4+64*E1^8*E2^4*E8^8)*g5,_
x8_32_96+E1^4*E8^4*g1+E2^6*E4^8*g2+8*E1^4*E2^6*E4^6*E8^4*g5,_
q8_32_112+E1^4*E4^6*E8^4*g2+E4^14*g3-16*E2^4*E8^16*g4+(-4*E1^8*E4^4*E8^8+32*_
E1^4*E2^2*E4^2*E8^12)*g5,_
q8_34_68+(E2^22+8*E1^4*E2^12*E4^2*E8^4+8*E1^12*E4^6*E8^4+64*E1^8*E2^2*E4^4*E8_
^8)*g4-128*E1^12*E4^6*E8^4*g5,_
x8_34_68a-8*E2^4*E4^6*g1+(-32*E1^4*E2^2*E4^6*E8^4+256*E2^4*E4^4*E8^8)*g2+(E2^_
22+8*E1^4*E2^12*E4^2*E8^4+64*E1^8*E2^2*E4^4*E8^8)*g4+(-32*E1^12*E4^6*E8^4-256_
*E1^8*E2^2*E4^4*E8^8)*g5,_
x8_34_68b+(E2^22+8*E1^4*E2^12*E4^2*E8^4+64*E1^8*E2^2*E4^4*E8^8)*g4-64*E1^12*_
E4^6*E8^4*g5,_
q8_34_136-E1^4*E2^6*E8^12*g4+(E4^22+E1^4*E2^2*E4^12*E8^4+E1^8*E2^4*E4^2*E8^8+_
4*E1^4*E2^6*E8^12)*g5,_
x8_34_136a-2*E2^6*E4^2*E8^8*g2-E1^4*E2^6*E8^12*g4+(4*E4^22+4*E1^4*E2^2*E4^12*_
E8^4+4*E1^8*E2^4*E4^2*E8^8)*g5,_
x8_34_136b-E1^4*E2^6*E8^12*g4+(2*E4^22+2*E1^4*E2^2*E4^12*E8^4+2*E1^8*E2^4*E4^_
2*E8^8)*g5,_
q8_36_72a+E1^16*E2^2*g2+(E2^24+E1^8*E2^12*E4^4+8*E1^12*E2^2*E4^6*E8^4)*g4+(-_
E1^24-16*E1^16*E4^8)*g5,_
q8_36_72b-16*E2^6*E4^6*g1+(E1^16*E2^2-64*E1^4*E2^4*E4^6*E8^4+512*E2^6*E4^4*E8_
^8)*g2+(E2^24+E1^8*E2^12*E4^4+8*E1^4*E2^14*E4^2*E8^4+64*E1^8*E2^4*E4^4*E8^8)*_
g4+(-E1^24-512*E1^8*E2^4*E4^4*E8^8)*g5,_
q8_36_72c+(E2^24+E1^8*E2^12*E4^4+8*E1^4*E2^14*E4^2*E8^4+16*E1^12*E2^2*E4^6*E8_
^4+64*E1^8*E2^4*E4^4*E8^8)*g4+(-16*E1^16*E4^8-128*E1^12*E2^2*E4^6*E8^4)*g5,_
q8_36_120a+(-E2^16*E8^8-2*E1^8*E2^4*E4^4*E8^8-8*E1^4*E2^6*E4^2*E8^12)*g4+(2*_
E1^8*E4^16+2*E1^12*E2^2*E4^6*E8^4+16*E1^8*E2^4*E4^4*E8^8)*g5,_
q8_36_120b+(E2^16*E8^8+E1^8*E2^4*E4^4*E8^8+8*E1^4*E2^6*E4^2*E8^12)*g4+(-E1^8*_
E4^16-E1^12*E2^2*E4^6*E8^4-16*E1^8*E2^4*E4^4*E8^8)*g5,_
q8_36_120c+(-E2^16*E8^8-4*E1^8*E2^4*E4^4*E8^8-8*E1^4*E2^6*E4^2*E8^12)*g4+(4*_
E1^8*E4^16+4*E1^12*E2^2*E4^6*E8^4+16*E1^8*E2^4*E4^4*E8^8)*g5,_
q8_36_120d+(E2^16*E8^8+E1^8*E2^4*E4^4*E8^8+2*E1^4*E2^6*E4^2*E8^12)*g4+(-E1^8*_
E4^16-E1^12*E2^2*E4^6*E8^4-4*E1^8*E2^4*E4^4*E8^8)*g5,_
q8_36_120e+(-E2^16*E8^8-E1^8*E2^4*E4^4*E8^8-8*E1^4*E2^6*E4^2*E8^12)*g4+(4*E1^_
8*E4^16+E1^12*E2^2*E4^6*E8^4+16*E1^8*E2^4*E4^4*E8^8)*g5,_
q8_36_120f+(-E2^16*E8^8-E1^8*E2^4*E4^4*E8^8-4*E1^4*E2^6*E4^2*E8^12)*g4+(2*E1^_
8*E4^16+E1^12*E2^2*E4^6*E8^4+8*E1^8*E2^4*E4^4*E8^8)*g5,_
q8_36_120g+3*E1^4*E2^4*E4^6*E8^4*g2+(-E2^16*E8^8-E1^8*E2^4*E4^4*E8^8-8*E1^4*_
E2^6*E4^2*E8^12)*g4+(-2*E1^8*E4^16-2*E1^12*E2^2*E4^6*E8^4+16*E1^8*E2^4*E4^4*_
E8^8)*g5,_
q8_36_120h+(-E2^16*E8^8-E1^8*E2^4*E4^4*E8^8-8*E1^4*E2^6*E4^2*E8^12)*g4+(2*E1^_
8*E4^16+2*E1^12*E2^2*E4^6*E8^4+8*E1^8*E2^4*E4^4*E8^8)*g5,_
q8_36_144a+16*E4^2*E8^16*g3+(-4*E2^8*E8^16-64*E8^24)*g4+(E4^24+4*E2^4*E4^12*_
E8^8+4*E1^4*E2^6*E4^2*E8^12)*g5,_
q8_36_144b-E2^6*E4^4*E8^8*g2+16*E4^2*E8^16*g3-64*E8^24*g4+(E4^24+E1^4*E2^2*E4_
^14*E8^4+E1^8*E2^4*E4^4*E8^8+4*E2^4*E4^12*E8^8)*g5,_
q8_36_144c+(-E1^4*E2^6*E4^2*E8^12-4*E2^8*E8^16)*g4+(E4^24+E1^4*E2^2*E4^14*E8^_
4+E1^8*E2^4*E4^4*E8^8+4*E2^4*E4^12*E8^8+8*E1^4*E2^6*E4^2*E8^12)*g5,_
q8_40_104+16*E2^6*E4^6*E8^4*g1+(2*E1^4*E2^12*E4^6+E1^16*E2^2*E8^4+64*E1^4*E2^_
4*E4^6*E8^8-512*E2^6*E4^4*E8^12)*g2+(-E2^24*E8^4-E1^8*E2^12*E4^4*E8^4-8*E1^4*_
E2^14*E4^2*E8^8+8*E1^12*E2^2*E4^6*E8^8-64*E1^8*E2^4*E4^4*E8^12)*g4+(-E1^24*E8_
^4-16*E1^16*E4^8*E8^4+512*E1^8*E2^4*E4^4*E8^12)*g5,_
q8_40_112+E1^4*E2^8*E8^4*g1+(E2^14*E4^8+8*E1^4*E2^4*E4^10*E8^4+8*E1^8*E2^6*E8_
^8)*g2-32*E1^4*E2^6*E4^6*E8^12*g4+(-16*E1^8*E4^20-16*E1^12*E2^2*E4^10*E8^4-8*_
E1^16*E2^4*E8^8)*g5,_
q8_40_128+(-E1^4*E4^8*E8^4-16*E2^2*E4^6*E8^8)*g1+(-E2^6*E4^16-64*E1^4*E4^6*E8_
^12+512*E2^2*E4^4*E8^16)*g2+(E2^20*E8^8+E1^8*E2^8*E4^4*E8^8+8*E1^4*E2^10*E4^2_
*E8^12+64*E1^8*E4^4*E8^16)*g4+(-8*E1^4*E2^6*E4^14*E8^4-512*E1^8*E4^4*E8^16)*_
g5,_
q8_40_148+4*E4^4*E8^12*g1+(E2^4*E4^14*E8^4-128*E4^2*E8^20)*g2+32*E1^4*E4^2*E8_
^16*g3+(-4*E1^4*E2^8*E8^16-64*E1^4*E8^24)*g4+(-E1^4*E4^24-E1^8*E2^2*E4^14*E8^_
4+4*E1^4*E2^4*E4^12*E8^8)*g5,_
q8_42_108a+E1^16*E2^4*E8^4*g2+(E2^26*E8^4+E1^8*E2^14*E4^4*E8^4+8*E1^4*E2^16*_
E4^2*E8^8+16*E1^12*E2^4*E4^6*E8^8+64*E1^8*E2^6*E4^4*E8^12)*g4+(-24*E1^12*E4^_
18-E1^24*E2^2*E8^4-24*E1^16*E2^2*E4^8*E8^4-96*E1^12*E2^4*E4^6*E8^8)*g5,_
q8_42_108b-2*E1^16*E2^4*E8^4*g2+(-E2^26*E8^4-2*E1^8*E2^14*E4^4*E8^4-8*E1^4*E2_
^16*E4^2*E8^8-24*E1^12*E2^4*E4^6*E8^8-64*E1^8*E2^6*E4^4*E8^12)*g4+(2*E1^20*E4_
^10+32*E1^12*E4^18+2*E1^24*E2^2*E8^4+32*E1^16*E2^2*E4^8*E8^4+128*E1^12*E2^4*_
E4^6*E8^8)*g5,_
q8_42_108c+(16*E2^8*E4^6*E8^4+512*E4^6*E8^12)*g1+(-E1^16*E2^4*E8^4+64*E1^4*E2_
^6*E4^6*E8^8-512*E2^8*E4^4*E8^12-16384*E4^4*E8^20)*g2+2048*E1^4*E4^4*E8^16*g3_
+(-E2^26*E8^4-E1^8*E2^14*E4^4*E8^4-8*E1^4*E2^16*E4^2*E8^8-64*E1^8*E2^6*E4^4*_
E8^12)*g4+(2*E1^20*E4^10+E1^24*E2^2*E8^4)*g5,_
q8_42_108d+(E2^26*E8^4+E1^8*E2^14*E4^4*E8^4+8*E1^4*E2^16*E4^2*E8^8+16*E1^12*_
E2^4*E4^6*E8^8+64*E1^8*E2^6*E4^4*E8^12)*g4+(-32*E1^12*E4^18-16*E1^16*E2^2*E4^_
8*E8^4-128*E1^12*E2^4*E4^6*E8^8)*g5,_
q8_42_156a+32*E4^6*E8^12*g1-1024*E4^4*E8^20*g2+192*E1^4*E4^4*E8^16*g3+(-3*E2^_
18*E8^12-3*E1^8*E2^6*E4^4*E8^12-24*E1^4*E2^8*E4^2*E8^16-256*E1^4*E4^2*E8^24)*_
g4+(4*E1^4*E4^26+4*E1^8*E2^2*E4^16*E8^4+4*E1^12*E2^4*E4^6*E8^8+16*E1^4*E2^4*_
E4^14*E8^8)*g5,_
q8_42_156b-12*E4^6*E8^12*g1+384*E4^4*E8^20*g2-80*E1^4*E4^4*E8^16*g3+(E2^18*E8_
^12+E1^8*E2^6*E4^4*E8^12+8*E1^4*E2^8*E4^2*E8^16+16*E2^10*E8^20+128*E1^4*E4^2*_
E8^24)*g4+(-E1^4*E4^26-E1^8*E2^2*E4^16*E8^4-E1^12*E2^4*E4^6*E8^8-8*E1^4*E2^4*_
E4^14*E8^8)*g5,_
q8_42_156c-E1^4*E2^6*E4^6*E8^8*g2+16*E1^4*E4^4*E8^16*g3+(-16*E2^10*E8^20-64*_
E1^4*E4^2*E8^24)*g4+(E1^4*E4^26+E1^8*E2^2*E4^16*E8^4+E1^12*E2^4*E4^6*E8^8+4*_
E1^4*E2^4*E4^14*E8^8)*g5,_
q8_42_156d-8*E4^6*E8^12*g1+256*E4^4*E8^20*g2-32*E1^4*E4^4*E8^16*g3+(E2^18*E8^_
12+E1^8*E2^6*E4^4*E8^12+4*E1^4*E2^8*E4^2*E8^16)*g4+(-E1^4*E4^26-E1^8*E2^2*E4^_
16*E8^4-E1^12*E2^4*E4^6*E8^8-4*E1^4*E2^4*E4^14*E8^8)*g5,_
q8_48_144a+(-16*E2^10*E4^6*E8^8-512*E2^2*E4^6*E8^16)*g1+(E1^16*E2^6*E8^8-64*_
E1^4*E2^8*E4^6*E8^12+512*E2^10*E4^4*E8^16-2048*E1^4*E4^6*E8^20+16384*E2^2*E4^_
4*E8^24)*g2+(E2^28*E8^8+E1^8*E2^16*E4^4*E8^8+8*E1^4*E2^18*E4^2*E8^12+64*E1^8*_
E2^8*E4^4*E8^16+2048*E1^8*E4^4*E8^24)*g4+(-E1^16*E4^20-E1^20*E2^2*E4^10*E8^4-_
E1^24*E2^4*E8^8-4*E1^16*E2^4*E4^8*E8^8-16384*E1^8*E4^4*E8^24)*g5,_
q8_48_144b+256*E2^2*E4^6*E8^16*g1+(-E1^16*E2^6*E8^8+1024*E1^4*E4^6*E8^20-8192_
*E2^2*E4^4*E8^24)*g2+(-16*E2^20*E8^16-16*E1^8*E2^8*E4^4*E8^16-128*E1^4*E2^10*_
E4^2*E8^20-1024*E1^8*E4^4*E8^24)*g4+(E1^16*E4^20+E1^20*E2^2*E4^10*E8^4+E1^24*_
E2^4*E8^8+4*E1^16*E2^4*E4^8*E8^8+8192*E1^8*E4^4*E8^24)*g5,_
q8_48_144c+(-128*E1^4*E4^8*E8^12-768*E2^2*E4^6*E8^16)*g1+(E1^16*E2^6*E8^8+_
1024*E1^4*E4^6*E8^20+24576*E2^2*E4^4*E8^24)*g2+(E2^28*E8^8+E1^8*E2^16*E4^4*E8_
^8+8*E1^4*E2^18*E4^2*E8^12+16*E1^12*E2^6*E4^6*E8^12+16*E2^20*E8^16+80*E1^8*E2_
^8*E4^4*E8^16+128*E1^4*E2^10*E4^2*E8^20+1024*E1^8*E4^4*E8^24)*g4+(-E1^16*E4^_
20-16*E1^8*E4^28-E1^20*E2^2*E4^10*E8^4-16*E1^12*E2^2*E4^18*E8^4-E1^24*E2^4*E8_
^8-20*E1^16*E2^4*E4^8*E8^8-64*E1^8*E2^4*E4^16*E8^8-24576*E1^8*E4^4*E8^24)*g5,_
q8_48_144d+(-128*E1^4*E4^8*E8^12-512*E2^2*E4^6*E8^16)*g1+(2048*E1^4*E4^6*E8^_
20+16384*E2^2*E4^4*E8^24)*g2+(E2^28*E8^8+E1^8*E2^16*E4^4*E8^8+8*E1^4*E2^18*E4_
^2*E8^12+16*E1^12*E2^6*E4^6*E8^12+64*E1^8*E2^8*E4^4*E8^16)*g4+(-16*E1^8*E4^28_
-16*E1^12*E2^2*E4^18*E8^4-16*E1^16*E2^4*E4^8*E8^8-64*E1^8*E2^4*E4^16*E8^8-_
16384*E1^8*E4^4*E8^24)*g5,_
q8_48_168+(E2^10*E4^6*E8^8-8*E1^4*E4^8*E8^12-16*E2^2*E4^6*E8^16)*g1+(4*E1^4*_
E2^8*E4^6*E8^12-32*E2^10*E4^4*E8^16+192*E1^4*E4^6*E8^20+512*E2^2*E4^4*E8^24)*_
g2+(E1^12*E2^6*E4^6*E8^12+E2^20*E8^16+E1^8*E2^8*E4^4*E8^16+8*E1^4*E2^10*E4^2*_
E8^20-64*E1^8*E4^4*E8^24)*g4+(-E1^8*E4^28-E1^12*E2^2*E4^18*E8^4-E1^16*E2^4*E4_
^8*E8^8-4*E1^8*E2^4*E4^16*E8^8-512*E1^8*E4^4*E8^24)*g5,_
q8_54_180a+(4*E1^16*E4^2*E8^12+32*E1^8*E4^10*E8^12+16*E1^12*E2^2*E8^16+192*E1_
^4*E2^2*E4^8*E8^16-256*E2^4*E4^6*E8^20)*g1+(-4*E1^16*E2^8*E8^12-64*E1^16*E8^_
20-7168*E1^4*E2^2*E4^6*E8^24+8192*E2^4*E4^4*E8^28)*g2+(-E2^30*E8^12-E1^8*E2^_
18*E4^4*E8^12-8*E1^4*E2^20*E4^2*E8^16-16*E1^12*E2^8*E4^6*E8^16-64*E1^8*E2^10*_
E4^4*E8^20-1024*E1^12*E4^6*E8^24)*g4+(4*E1^12*E4^30+4*E1^16*E2^2*E4^20*E8^4+4_
*E1^20*E2^4*E4^10*E8^8+16*E1^12*E2^4*E4^18*E8^8+8192*E1^12*E4^6*E8^24-8192*E1_
^8*E2^2*E4^4*E8^28)*g5,_
x8_54_180a+(-2*E1^4*E2^10*E4^8*E8^8+4*E1^16*E4^2*E8^12-8*E2^12*E4^6*E8^12+48*_
E1^8*E4^10*E8^12+16*E1^12*E2^2*E8^16+320*E1^4*E2^2*E4^8*E8^16-512*E2^4*E4^6*_
E8^20)*g1+(-4*E1^16*E2^8*E8^12+32*E1^4*E2^10*E4^6*E8^16-64*E1^16*E8^20+256*E2_
^12*E4^4*E8^20-12288*E1^4*E2^2*E4^6*E8^24+16384*E2^4*E4^4*E8^28)*g2+(-E2^30*_
E8^12-2*E1^8*E2^18*E4^4*E8^12-8*E1^4*E2^20*E4^2*E8^16-32*E1^12*E2^8*E4^6*E8^_
16-64*E1^8*E2^10*E4^4*E8^20-1280*E1^12*E4^6*E8^24+1024*E1^8*E2^2*E4^4*E8^28)*_
g4+(4*E1^12*E4^30+4*E1^16*E2^2*E4^20*E8^4+4*E1^20*E2^4*E4^10*E8^8+32*E1^12*E2_
^4*E4^18*E8^8+12288*E1^12*E4^6*E8^24-16384*E1^8*E2^2*E4^4*E8^28)*g5,_
q8_54_180b+(E1^16*E4^2*E8^12+16*E1^8*E4^10*E8^12+4*E1^12*E2^2*E8^16+192*E1^4*_
E2^2*E4^8*E8^16+256*E2^4*E4^6*E8^20)*g1+(-E1^16*E2^8*E8^12-16*E1^16*E8^20-_
5120*E1^4*E2^2*E4^6*E8^24-8192*E2^4*E4^4*E8^28)*g2+(-E2^30*E8^12-E1^8*E2^18*_
E4^4*E8^12-8*E1^4*E2^20*E4^2*E8^16-16*E1^12*E2^8*E4^6*E8^16-64*E1^8*E2^10*E4^_
4*E8^20-384*E1^12*E4^6*E8^24)*g4+(2*E1^12*E4^30+2*E1^16*E2^2*E4^20*E8^4+2*E1^_
20*E2^4*E4^10*E8^8+8*E1^12*E2^4*E4^18*E8^8+4096*E1^12*E4^6*E8^24+8192*E1^8*E2_
^2*E4^4*E8^28)*g5,_
x8_54_180b+(2*E1^16*E4^2*E8^12+8*E2^12*E4^6*E8^12+24*E1^8*E4^10*E8^12+8*E1^12_
*E2^2*E8^16+160*E1^4*E2^2*E4^8*E8^16+128*E2^4*E4^6*E8^20)*g1+(-2*E1^16*E2^8*_
E8^12+32*E1^4*E2^10*E4^6*E8^16-32*E1^16*E8^20-256*E2^12*E4^4*E8^20-4608*E1^4*_
E2^2*E4^6*E8^24-4096*E2^4*E4^4*E8^28)*g2+(-E2^30*E8^12-2*E1^8*E2^18*E4^4*E8^_
12-8*E1^4*E2^20*E4^2*E8^16-16*E1^12*E2^8*E4^6*E8^16-64*E1^8*E2^10*E4^4*E8^20-_
640*E1^12*E4^6*E8^24-1024*E1^8*E2^2*E4^4*E8^28)*g4+(2*E1^12*E4^30+2*E1^16*E2^_
2*E4^20*E8^4+2*E1^20*E2^4*E4^10*E8^8+16*E1^12*E2^4*E4^18*E8^8+6144*E1^12*E4^6_
*E8^24+4096*E1^8*E2^2*E4^4*E8^28)*g5,_
x8_60_120+(-2*E1^16*E2^18*E4^2+3*E1^24*E2^6*E4^6+12*E1^20*E2^8*E4^4*E8^4-48*_
E1^16*E2^10*E4^2*E8^8-1088*E1^12*E2^12*E8^12+768*E1^20*E4^4*E8^12+8192*E1^12*_
E4^12*E8^12+14336*E1^16*E2^2*E4^2*E8^16+32768*E1^8*E2^2*E4^10*E8^16+32768*E1^_
12*E2^4*E8^20-131072*E1^4*E2^4*E4^8*E8^20-1572864*E2^6*E4^6*E8^24)*g1+(64*E1^_
16*E2^18*E8^8-6912*E1^16*E2^10*E8^16-458752*E1^16*E2^2*E8^24-2097152*E1^4*E2^_
4*E4^6*E8^28+50331648*E2^6*E4^4*E8^32)*g2+(-E2^48+2*E1^8*E2^36*E4^4-2*E1^28*_
E2^14*E4^2*E8^4-8*E1^4*E2^38*E4^2*E8^4+E1^36*E2^2*E4^6*E8^4+8*E1^12*E2^26*E4^_
6*E8^4-4*E1^32*E2^4*E4^4*E8^8-64*E1^8*E2^28*E4^4*E8^8-16*E1^28*E2^6*E4^2*E8^_
12-512*E1^12*E2^18*E4^6*E8^12-832*E1^24*E2^8*E8^16+34816*E1^12*E2^10*E4^6*E8^_
20-12288*E1^24*E8^24-2621440*E1^12*E2^2*E4^6*E8^28)*g4+(-E1^40*E4^8+327680*E1_
^24*E8^24+2097152*E1^16*E4^8*E8^24+8388608*E1^12*E2^2*E4^6*E8^28-50331648*E1^_
8*E2^4*E4^4*E8^32)*g5,_
q8_60_168+(24*E1^12*E2^12*E8^12-32*E1^20*E4^4*E8^12-256*E1^12*E4^12*E8^12-512_
*E1^16*E2^2*E4^2*E8^16-2048*E1^8*E2^2*E4^10*E8^16-1024*E1^12*E2^4*E8^20+65536_
*E2^6*E4^6*E8^24)*g1+(E1^16*E2^18*E8^8+288*E1^16*E2^10*E8^16+16384*E1^16*E2^2_
*E8^24+262144*E1^4*E2^4*E4^6*E8^28-2097152*E2^6*E4^4*E8^32)*g2+(E2^40*E8^8+E1_
^8*E2^28*E4^4*E8^8+E1^28*E2^6*E4^2*E8^12+8*E1^4*E2^30*E4^2*E8^12+16*E1^12*E2^_
18*E4^6*E8^12+28*E1^24*E2^8*E8^16+64*E1^8*E2^20*E4^4*E8^16-256*E1^12*E2^10*E4_
^6*E8^20+512*E1^24*E8^24+98304*E1^12*E2^2*E4^6*E8^28)*g4+(-32*E1^16*E4^32-32*_
E1^20*E2^2*E4^22*E8^4-E1^32*E2^4*E4^4*E8^8-32*E1^24*E2^4*E4^12*E8^8-128*E1^16_
*E2^4*E4^20*E8^8-12288*E1^24*E8^24-65536*E1^16*E4^8*E8^24-524288*E1^12*E2^2*_
E4^6*E8^28+2097152*E1^8*E2^4*E4^4*E8^32)*g5,_
q8_60_216+(2*E1^12*E4^12*E8^12+16*E1^4*E4^20*E8^12+2*E1^16*E2^2*E4^2*E8^16+32_
*E1^8*E2^2*E4^10*E8^16+96*E2^2*E4^18*E8^16+8*E1^12*E2^4*E8^20+160*E1^4*E2^4*_
E4^8*E8^20-384*E2^6*E4^6*E8^24)*g1+(-2*E1^16*E2^10*E8^16-128*E1^4*E4^18*E8^20_
-64*E1^16*E2^2*E8^24-3072*E2^2*E4^16*E8^24-6656*E1^4*E2^4*E4^6*E8^28+12288*E2_
^6*E4^4*E8^32)*g2+(-E2^32*E8^16-E1^8*E2^20*E4^4*E8^16-8*E1^4*E2^22*E4^2*E8^20_
-16*E1^12*E2^10*E4^6*E8^20-64*E1^8*E2^12*E4^4*E8^24-1152*E1^12*E2^2*E4^6*E8^_
28-512*E1^8*E2^4*E4^4*E8^32)*g4+(2*E1^8*E4^40+2*E1^12*E2^2*E4^30*E8^4+2*E1^16_
*E2^4*E4^20*E8^8+8*E1^8*E2^4*E4^28*E8^8+32*E1^24*E8^24+640*E1^16*E4^8*E8^24+_
3072*E1^8*E4^16*E8^24+9216*E1^12*E2^2*E4^6*E8^28-12288*E1^8*E2^4*E4^4*E8^32)*_
g5,_
x8_60_240+(E1^4*E4^20*E8^12+E1^8*E2^2*E4^10*E8^16+4*E2^2*E4^18*E8^16+8*E1^4*_
E2^4*E4^8*E8^20)*g1+(-32*E1^4*E4^18*E8^20-256*E1^4*E2^4*E4^6*E8^28-768*E2^6*_
E4^4*E8^32)*g2+(-E1^12*E2^10*E4^6*E8^20+1024*E2^8*E8^40)*g4+(E4^48+E1^4*E2^2*_
E4^38*E8^4+E1^8*E2^4*E4^28*E8^8-8*E2^4*E4^36*E8^8-4*E1^4*E2^6*E4^26*E8^12-16*_
E1^16*E4^8*E8^24+192*E1^12*E2^2*E4^6*E8^28+1024*E1^4*E2^2*E4^14*E8^28+1024*E1_
^8*E2^4*E4^4*E8^32-2048*E1^4*E2^6*E4^2*E8^36)*g5,_
x8_78_228+(-2*E1^16*E2^24*E4^2*E8^12-3*E1^24*E2^12*E4^6*E8^12-E1^32*E4^10*E8^_
12-128*E1^24*E4^18*E8^12-1024*E1^16*E4^26*E8^12+80*E1^12*E2^26*E8^16-12*E1^20_
*E2^14*E4^4*E8^16-132*E1^28*E2^2*E4^8*E8^16-2048*E1^20*E2^2*E4^16*E8^16-6144*_
E1^12*E2^2*E4^24*E8^16+48*E1^16*E2^16*E4^2*E8^20-2544*E1^24*E2^4*E4^6*E8^20-_
10240*E1^16*E2^4*E4^14*E8^20+8192*E1^8*E2^4*E4^22*E8^20+4160*E1^12*E2^18*E8^_
24-16960*E1^20*E2^6*E4^4*E8^24+32768*E1^12*E2^6*E4^12*E8^24+229376*E1^4*E2^6*_
E4^20*E8^24+43264*E1^16*E2^8*E4^2*E8^28+688128*E1^8*E2^8*E4^10*E8^28+655360*_
E2^8*E4^18*E8^28+1436672*E1^12*E2^10*E8^32+2359296*E1^4*E2^10*E4^8*E8^32-_
12468224*E1^16*E4^2*E8^36-12582912*E2^12*E4^6*E8^36+3145728*E1^8*E4^10*E8^36+_
20971520*E4^18*E8^36-49872896*E1^12*E2^2*E8^40+188743680*E1^4*E2^2*E4^8*E8^40_
+251658240*E2^4*E4^6*E8^44)*g1+(6*E1^16*E2^32*E8^12+768*E1^16*E2^24*E8^20+_
19200*E1^16*E2^16*E8^28-4718592*E1^4*E2^6*E4^18*E8^32+6721536*E1^16*E2^8*E8^_
36-20971520*E2^8*E4^16*E8^36-125829120*E1^4*E2^10*E4^6*E8^40+199491584*E1^16*_
E8^44+402653184*E2^12*E4^4*E8^44-671088640*E4^16*E8^44-5033164800*E1^4*E2^2*_
E4^6*E8^48-8053063680*E2^4*E4^4*E8^52)*g2+83886080*E1^4*E4^16*E8^40*g3+(E2^54_
*E8^12+4*E1^8*E2^42*E4^4*E8^12+4*E1^28*E2^20*E4^2*E8^16+8*E1^4*E2^44*E4^2*E8^_
16+E1^36*E2^8*E4^6*E8^16+40*E1^12*E2^32*E4^6*E8^16+104*E1^24*E2^22*E8^20+124*_
E1^32*E2^10*E4^4*E8^20+64*E1^8*E2^34*E4^4*E8^20+1616*E1^28*E2^12*E4^2*E8^24+_
16*E1^36*E4^6*E8^24-2048*E1^12*E2^24*E4^6*E8^24+8512*E1^24*E2^14*E8^28+4288*_
E1^32*E2^2*E4^4*E8^28+131328*E1^28*E2^4*E4^2*E8^32-133120*E1^12*E2^16*E4^6*E8_
^32+1580032*E1^24*E2^6*E8^36-58556416*E1^12*E2^8*E4^6*E8^40+1545601024*E1^12*_
E4^6*E8^48+1610612736*E1^8*E2^2*E4^4*E8^52)*g4+(-128*E1^20*E4^46-128*E1^24*E2_
^2*E4^36*E8^4-128*E1^28*E2^4*E4^26*E8^8-512*E1^20*E2^4*E4^34*E8^8-2304*E1^36*_
E4^6*E8^24-49152*E1^28*E4^14*E8^24-262144*E1^20*E4^22*E8^24-115712*E1^32*E2^2_
*E4^4*E8^28-884736*E1^24*E2^2*E4^12*E8^28-1572864*E1^16*E2^2*E4^20*E8^28-_
1896448*E1^28*E2^4*E4^2*E8^32-5111808*E1^20*E2^4*E4^10*E8^32+2097152*E1^12*E2_
^4*E4^18*E8^32+805306368*E1^12*E4^6*E8^48+8053063680*E1^8*E2^2*E4^4*E8^52)*g5,_
x8_78_276+(-E1^16*E4^26*E8^12-20*E1^8*E4^34*E8^12-E1^20*E2^2*E4^16*E8^16-28*_
E1^12*E2^2*E4^24*E8^16-176*E1^4*E2^2*E4^32*E8^16-E1^24*E2^4*E4^6*E8^20-32*E1^_
16*E2^4*E4^14*E8^20-256*E1^8*E2^4*E4^22*E8^20-64*E2^4*E4^30*E8^20+24*E1^12*E2_
^18*E8^24-36*E1^20*E2^6*E4^4*E8^24-352*E1^12*E2^6*E4^12*E8^24-64*E1^4*E2^6*E4_
^20*E8^24-464*E1^16*E2^8*E4^2*E8^28-448*E1^8*E2^8*E4^10*E8^28+7936*E2^8*E4^18_
*E8^28+896*E1^12*E2^10*E8^32+18176*E1^4*E2^10*E4^8*E8^32-44288*E1^16*E4^2*E8^_
36+87040*E2^12*E4^6*E8^36-161792*E1^8*E4^10*E8^36+253952*E4^18*E8^36-177152*_
E1^12*E2^2*E8^40-761856*E1^4*E2^2*E4^8*E8^40+4915200*E2^4*E4^6*E8^44)*g1+(E1^_
16*E2^24*E8^20+5376*E1^4*E2^2*E4^30*E8^24+288*E1^16*E2^16*E8^28+2048*E2^4*E4^_
28*E8^28+33792*E1^4*E2^6*E4^18*E8^32+40704*E1^16*E2^8*E8^36-253952*E2^8*E4^16_
*E8^36-233472*E1^4*E2^10*E4^6*E8^40+708608*E1^16*E8^44-2785280*E2^12*E4^4*E8^_
44-8126464*E4^16*E8^44+44040192*E1^4*E2^2*E4^6*E8^48-157286400*E2^4*E4^4*E8^_
52)*g2+1015808*E1^4*E4^16*E8^40*g3+(E2^46*E8^20+E1^8*E2^34*E4^4*E8^20+E1^28*_
E2^12*E4^2*E8^24+8*E1^4*E2^36*E4^2*E8^24+16*E1^12*E2^24*E4^6*E8^24+28*E1^24*_
E2^14*E8^28+64*E1^8*E2^26*E4^4*E8^28+48*E1^28*E2^4*E4^2*E8^32-256*E1^12*E2^16_
*E4^6*E8^32+2432*E1^24*E2^6*E8^36+59392*E1^12*E2^8*E4^6*E8^40+8257536*E1^12*_
E4^6*E8^48-11141120*E1^8*E2^2*E4^4*E8^52)*g4+(-E1^12*E4^54-E1^16*E2^2*E4^44*_
E8^4-E1^20*E2^4*E4^34*E8^8-16*E1^12*E2^4*E4^42*E8^8-16*E1^28*E4^14*E8^24-576*_
E1^20*E4^22*E8^24-5120*E1^12*E4^30*E8^24-32*E1^32*E2^2*E4^4*E8^28-1280*E1^24*_
E2^2*E4^12*E8^28-9728*E1^16*E2^2*E4^20*E8^28-2048*E1^8*E2^2*E4^28*E8^28-2112*_
E1^28*E2^4*E4^2*E8^32-24320*E1^20*E2^4*E4^10*E8^32-65536*E1^12*E2^4*E4^18*E8^_
32-41418752*E1^12*E4^6*E8^48+157286400*E1^8*E2^2*E4^4*E8^52)*g5];
Type: List(Polynomial(Integer))
fricas
-- evaluation
#relationRelations
fricas
relationRelations
Type: List(Polynomial(Integer))
![\label{eq2}\begin{array}{@{}l}
\displaystyle
\left[ 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \right.
\
\
\displaystyle
\left.\: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \right.
\
\
\displaystyle
\left.\: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \right.
\
\
\displaystyle
\left.\: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \right.
\
\
\displaystyle
\left.\: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0 \right]](images/1039860392081327962-16.0px.png "\label{eq2}\begin{array}{@{}l}
\displaystyle
\left[ 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \right.
\
\
\displaystyle
\left.\: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \right.
\
\
\displaystyle
\left.\: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \right.
\
\
\displaystyle
\left.\: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \right.
\
\
\displaystyle
\left.\: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0, \: 0 \right]")