1f := 2a**16 + 8*a**14*b**2 + 10*a**14 + 28*a**12*b**4 + 52*a**12*b**2 + 55*a**12 + 56* 3a**10*b**6 + 102*a**10*b**4 - 48*a**10*b**2 + 160*a**10 + 70*a**8*b**8 + 80*a**8 4*b**6 - 66*a**8*b**4 - 172*a**8*b**2 + 277*a**8 + 56*a**6*b**10 - 10*a**6*b**8 + 5 236*a**6*b**6 - 614*a**6*b**4 + 172*a**6*b**2 + 160*a**6 + 28*a**4*b**12 - 60*a 6**4*b**10 + 231*a**4*b**8 - 236*a**4*b**6 - 66*a**4*b**4 + 48*a**4*b**2 + 55*a** 74 + 8*a**2*b**14 - 38*a**2*b**12 + 60*a**2*b**10 - 10*a**2*b**8 - 80*a**2*b**6 + 8 102*a**2*b**4 - 52*a**2*b**2 + 10*a**2 + b**16 - 8*b**14 + 28*b**12 - 56*b**10 9+ 70*b**8 - 56*b**6 + 28*b**4 - 8*b**2 + 1$ 10 11g := 12a**6 + 3*a**4*b**2 - 3*a**4 + 3*a**2*b**4 + 21*a**2*b**2 + 3*a**2 + b**6 - 3*b** 134 + 3*b**2 - 1$ 14 15hu := fastresultant(f, g, a); 16 17f := 18v**12*a**8*b**2 - v**12*a**8 + 4*v**12*a**6*b**4 - 7*v**12*a**6*b**2 + 3*v**12*a 19**6 + 6*v**12*a**4*b**6 - 15*v**12*a**4*b**4 + 12*v**12*a**4*b**2 - 3*v**12*a**4 20 + 4*v**12*a**2*b**8 - 13*v**12*a**2*b**6 + 15*v**12*a**2*b**4 - 7*v**12*a**2*b 21**2 + v**12*a**2 + v**12*b**10 - 4*v**12*b**8 + 6*v**12*b**6 - 4*v**12*b**4 + v 22**12*b**2 + 4*v**10*a**8*b**2 - 6*v**10*a**8 + 8*v**10*a**6*b**4 - 28*v**10*a**6 23*b**2 + 18*v**10*a**6 - 30*v**10*a**4*b**4 + 48*v**10*a**4*b**2 - 18*v**10*a**4 24- 8*v**10*a**2*b**8 + 30*v**10*a**2*b**4 - 28*v**10*a**2*b**2 + 6*v**10*a**2 - 4 25*v**10*b**10 + 8*v**10*b**8 - 8*v**10*b**4 + 4*v**10*b**2 + 6*v**8*a**8*b**2 - 2615*v**8*a**8 + 8*v**8*a**6*b**4 - 45*v**8*a**6*b**2 + 45*v**8*a**6 + 4*v**8*a**4 27*b**6 + 3*v**8*a**4*b**4 + 51*v**8*a**4*b**2 - 45*v**8*a**4 + 8*v**8*a**2*b**8 + 28 25*v**8*a**2*b**6 - 3*v**8*a**2*b**4 - 45*v**8*a**2*b**2 + 15*v**8*a**2 + 6*v** 298*b**10 - 8*v**8*b**8 + 4*v**8*b**6 - 8*v**8*b**4 + 6*v**8*b**2 + 4*v**6*a**8*b 30**2 - 20*v**6*a**8 + 8*v**6*a**6*b**4 - 40*v**6*a**6*b**2 + 60*v**6*a**6 + 36*v 31**6*a**4*b**4 - 36*v**6*a**4*b**2 - 60*v**6*a**4 - 8*v**6*a**2*b**8 - 36*v**6*a 32**2*b**4 - 40*v**6*a**2*b**2 + 20*v**6*a**2 - 4*v**6*b**10 + 8*v**6*b**8 - 8*v** 336*b**4 + 4*v**6*b**2 + v**4*a**8*b**2 - 15*v**4*a**8 + 4*v**4*a**6*b**4 - 25*v** 344*a**6*b**2 + 45*v**4*a**6 + 6*v**4*a**4*b**6 + 15*v**4*a**4*b**4 - 114*v**4*a** 354*b**2 - 45*v**4*a**4 + 4*v**4*a**2*b**8 + 21*v**4*a**2*b**6 - 15*v**4*a**2*b**4 36 - 25*v**4*a**2*b**2 + 15*v**4*a**2 + v**4*b**10 - 4*v**4*b**8 + 6*v**4*b**6 - 4 37*v**4*b**4 + v**4*b**2 - 6*v**2*a**8 - 12*v**2*a**6*b**2 + 18*v**2*a**6 - 6*v**2 38*a**4*b**4 - 84*v**2*a**4*b**2 - 18*v**2*a**4 + 6*v**2*a**2*b**4 - 12*v**2*a**2* 39b**2 + 6*v**2*a**2 - a**8 - 3*a**6*b**2 + 3*a**6 - 3*a**4*b**4 - 21*a**4*b**2 - 403*a**4 - a**2*b**6 + 3*a**2*b**4 - 3*a**2*b**2 + a**2$ 41 42g := df(f, v)$ 43 44hu := fastresultant(f, g, v); 45 46end; % of file 47