function TTAM4(gpol, hpol) // deg(gpol) = deg(hpol) = 4, fpol = gpol*hpol g0, g1, g2, g3, g4 := Explode(Coefficients(gpol) cat [0 : i in [0..4]]); h0, h1, h2, h3, h4 := Explode(Coefficients(hpol) cat [0 : i in [0..4]]); m11 := g0^2*h4^2 + g0*g2*h2*h4 + g0*g3*h1*h4 + 2*g0*g4*h0*h4 - g0*g4*h1*h3 + g0*g4*h2^2 - g1*g3*h0*h4 + g1*g4*h0*h3 + g2^2*h0*h4 + g2*g4*h0*h2 + g4^2*h0^2; m12 := -g0*h2 - g2*h0; m13 := g0*h3 + g3*h0; m14 := -g0*h4 - g1*h3 - g3*h1 - g4*h0; m15 := -g0*h4 - g4*h0; m16 := g1*h4 + g4*h1; m17 := -g2*h4 - g4*h2; m18 := Parent(g0)!1; m21 := g0*g1*g3*h2*h4^2 + g0*g1*g4*(2*h1*h4^2 - h2*h3*h4) + g0*g2*g3*h2*h3*h4 + g0*g2*g4*(4*h0*h4^2 - 2*h1*h3*h4 + 4*h2^2*h4 - h2*h3^2) + g0*g3^2*(-2*h0*h4^2 + 2*h1*h3*h4 - h2^2*h4) + g0*g3*g4*(4*h0*h3*h4 + h1*h2*h4 - 2*h1*h3^2 + h2^2*h3) + g0*g4^2*(4*h0*h2*h4 - 2*h0*h3^2 - 2*h1^2*h4 + h1*h2*h3) - 2*g1^2*g4*h0*h4^2 + g1*g2*g3*h0*h4^2 + g1*g2*g4*h0*h3*h4 - 2*g1*g3^2*h0*h3*h4 + g1*g3*g4*(-2*h0*h2*h4 + 2*h0*h3^2) + 2*g1*g4^2*h0*h1*h4 + g2^2*g3*h0*h3*h4 + g2^2*g4*(4*h0*h2*h4 - h0*h3^2) - g2*g3^2*h0*h2*h4 + g2*g3*g4*(-h0*h1*h4 + h0*h2*h3) + g2*g4^2*h0*h1*h3; m22 := g0^2*h4^2 - g0*g2*h2*h4 - g0*g3*h1*h4 + g0*g4*(-2*h0*h4 + h1*h3 - h2^2) + g1*g3*h0*h4 - g1*g4*h0*h3 - g2^2*h0*h4 - g2*g4*h0*h2 + g4^2*h0^2; m23 := -g0*g1*h4^2 + g0*g2*h3*h4 + g0*g3*h2*h4 + g0*g4*h1*h4 + g1*g4*h0*h4 + g2*g4*h0*h3 + g3*g4*h0*h2 - g4^2*h0*h1; m24 := -2*g0*g2*h4^2 + g1^2*h4^2 - g1*g2*h3*h4 - g1*g3*h2*h4 - 2*g1*g4*h1*h4 - g2*g4*h1*h3 - g3*g4*h1*h2 - 2*g4^2*h0*h2 + g4^2*h1^2; m25 := -g0*g3*h3*h4 - 2*g0*g4*h2*h4 + g0*g4*h3^2 - 2*g2*g4*h0*h4 + g3^2*h0*h4 - g3*g4*h0*h3; m26 := g0*g3*h4^2 - g0*g4*h3*h4 + g1*g3*h3*h4 + 2*g1*g4*h2*h4 - g1*g4*h3^2 + 2*g2*g4*h1*h4 - g3^2*h1*h4 - g3*g4*h0*h4 + g3*g4*h1*h3 + g4^2*h0*h3; m27 := -g1*g3*h4^2 + g1*g4*h3*h4 - g2*g3*h3*h4 - 4*g2*g4*h2*h4 + g2*g4*h3^2 + g3^2*h2*h4 + g3*g4*h1*h4 - g3*g4*h2*h3 - g4^2*h1*h3; m28 := -m17; m31 := g0^2*g3*(2*h2*h4^2 - h3^2*h4) + g0^2*g4*(4*h1*h4^2 - 4*h2*h3*h4 + h3^3) + g0*g1*g3*h2*h3*h4 + g0*g1*g4*(2*h2^2*h4 - h2*h3^2) + g0*g2*g3*h1*h3*h4 + g0*g2*g4*(2*h0*h3*h4 + 2*h1*h2*h4 - h1*h3^2) + 2*g0*g3*g4*h0*h2*h4 + 2*g1*g2*g4*h0*h2*h4 - g1*g3^2*h0*h2*h4 + g1*g3*g4*h0*h2*h3 + 4*g1*g4^2*h0^2*h4 + 2*g2^2*g4*h0*h1*h4 - g2*g3^2*h0*h1*h4 + g2*g3*g4*(-4*h0^2*h4 + h0*h1*h3) + 2*g2*g4^2*h0^2*h3 + g3^3*h0^2*h4 - g3^2*g4*h0^2*h3; m32 := g0^2*h3*h4 - g0*g1*h2*h4 - g0*g2*h1*h4 - g0*g3*h0*h4 - g0*g4*h0*h3 - g1*g4*h0*h2 - g2*g4*h0*h1 + g3*g4*h0^2; m33 := -g0^2*h4^2 + g0*g2*h2*h4 + g0*g3*h1*h4 + g0*g4*(2*h0*h4 + h1*h3 - h2^2) + g1*g3*h0*h4 + g1*g4*h0*h3 - g2^2*h0*h4 + g2*g4*h0*h2 - g4^2*h0^2; m34 := -g0*g2*h3*h4 - 2*g0*g4*h1*h4 + g0*g4*h2*h3 - g1*g2*h2*h4 - 2*g1*g3*h1*h4 - 2*g1*g4*h0*h4 - 2*g1*g4*h1*h3 + g1*g4*h2^2 + g2^2*h1*h4 + g2*g3*h0*h4 - g2*g4*h1*h2 - g3*g4*h0*h2; m35 := -g0*g3*h2*h4 - 2*g0*g4*h1*h4 + g0*g4*h2*h3 - 2*g1*g4*h0*h4 + g2*g3*h0*h4 - g2*g4*h0*h3; m36 := g0*g3*h3*h4 - g0*g4*h3^2 + g1*g3*h2*h4 + 4*g1*g4*h1*h4 - g1*g4*h2*h3 - g2*g3*h1*h4 + g2*g4*h1*h3 - g3^2*h0*h4 + g3*g4*h0*h3; m37 := -m26; m38 := m16; m41 := g0^2*g3*h1*h4^2 + g0^2*g4*(4*h0*h4^2 - h1*h3*h4) + g0*g1*g3*(-h0*h4^2 + h1*h3*h4) + g0*g1*g4*(h0*h3*h4 + 2*h1*h2*h4 - h1*h3^2) + 2*g0*g2*g3*h0*h3*h4 + g0*g2*g4*(8*h0*h2*h4 - 2*h0*h3^2 - 2*h1^2*h4) + g0*g3^2*(-2*h0*h2*h4 + h1^2*h4) + g0*g3*g4*(h0*h1*h4 + 2*h0*h2*h3 - h1^2*h3) + g0*g4^2*(4*h0^2*h4 - h0*h1*h3) - g1^2*g3*h0*h3*h4 + g1^2*g4*(-2*h0*h2*h4 + h0*h3^2) + 2*g1*g2*g4*h0*h1*h4 - g1*g3^2*h0*h1*h4 + g1*g3*g4*(-h0^2*h4 + h0*h1*h3) + g1*g4^2*h0^2*h3; m42 := -g0*g1*h1*h4 - 2*g0*g2*h0*h4 - 2*g0*g4*h0*h2 + g0*g4*h1^2 + g1^2*h0*h4 - g1*g4*h0*h1; m43 := g0*g2*h1*h4 + 2*g0*g3*h0*h4 + 2*g0*g4*h0*h3 - g0*g4*h1*h2 - g1*g2*h0*h4 + g1*g4*h0*h2; m44 := -g0^2*h4^2 - g0*g2*h2*h4 - g0*g3*h1*h4 - 2*g0*g4*h0*h4 - g0*g4*h1*h3 + g0*g4*h2^2 - g1*g3*h0*h4 - g1*g4*h0*h3 + g2^2*h0*h4 - g2*g4*h0*h2 - g4^2*h0^2; m45 := -g0*g3*h1*h4 - 4*g0*g4*h0*h4 + g0*g4*h1*h3 + g1*g3*h0*h4 - g1*g4*h0*h3; m46 :=-m35; m47 :=m25; m48 := -m15; m51 := g0^2*g1*h3*h4^2 + 4*g0^2*g2*h2*h4^2 - g0^2*g2*h3^2*h4 + 4*g0^2*g3*h1*h4^2 - g0^2*g3*h2*h3*h4 + 4*g0^2*g4*h0*h4^2 - g0^2*g4*h1*h3*h4 - g0*g1^2*h2*h4^2 - g0*g1*g2*h1*h4^2 + g0*g1*g2*h2*h3*h4 - g0*g1*g3*h0*h4^2 + g0*g1*g3*h2^2*h4 + g0*g1*g4*h0*h3*h4 + g0*g1*g4*h1*h2*h4 + g0*g2^2*h1*h3*h4 + g0*g2*g3*h0*h3*h4 + g0*g2*g3*h1*h2*h4 + g0*g2*g4*h0*h3^2 + g0*g2*g4*h1^2*h4 + g0*g3^2*h0*h2*h4 + g0*g3*g4*h0*h1*h4 + g0*g3*g4*h0*h2*h3 + 4*g0*g4^2*h0^2*h4 - g0*g4^2*h0*h1*h3 + g1^2*g4*h0*h2*h4 + g1*g2*g4*h0*h1*h4 + g1*g2*g4*h0*h2*h3 - g1*g3*g4*h0^2*h4 + g1*g3*g4*h0*h2^2 + 4*g1*g4^2*h0^2*h3 - g1*g4^2*h0*h1*h2 + g2^2*g4*h0*h1*h3 - g2*g3*g4*h0^2*h3 + g2*g3*g4*h0*h1*h2 + 4*g2*g4^2*h0^2*h2 - g2*g4^2*h0*h1^2 - g3^2*g4*h0^2*h2 + g3*g4^2*h0^2*h1; m52 := -2*g0^2*h2*h4 + g0^2*h3^2 - g0*g1*h2*h3 - g0*g2*h1*h3 - 2*g0*g3*h0*h3 - g1*g3*h0*h2 - g2*g3*h0*h1 - 2*g2*g4*h0^2 + g3^2*h0^2; m53 := g0*g1*h2*h4 + g0*g2*h2*h3 + 2*g0*g3*h0*h4 + 2*g0*g3*h1*h3 - g0*g3*h2^2 + 2*g0*g4*h0*h3 - g0*g4*h1*h2 - g1*g2*h0*h4 + 2*g1*g3*h0*h3 - g2^2*h0*h3 + g2*g3*h0*h2 + g2*g4*h0*h1; m54 := -g0*g1*h3*h4 - g0*g2*h3^2 - 4*g0*g3*h1*h4 + g0*g3*h2*h3 - 4*g0*g4*h0*h4 + g0*g4*h1*h3 - g1^2*h2*h4 + g1*g2*h1*h4 - g1*g2*h2*h3 + g1*g3*h0*h4 - 4*g1*g3*h1*h3 + g1*g3*h2^2 - 4*g1*g4*h0*h3 + g1*g4*h1*h2 + g2^2*h1*h3 + g2*g3*h0*h3 - g2*g3*h1*h2 - g2*g4*h1^2 - g3^2*h0*h2 - g3*g4*h0*h1; m55 := m44; m56 := -m34; m57 := m24; m58 := -m14; m61 := 2*g0^2*g2*h1*h4^2 + 4*g0^2*g3*h0*h4^2 - g0*g1^2*h1*h4^2 - 4*g0*g1*g2*h0*h4^2 + g0*g1*g2*h1*h3*h4 + g0*g1*g3*h1*h2*h4 + 2*g0*g1*g4*h0*h2*h4 + 2*g0*g2^2*h0*h3*h4 + 2*g0*g2*g3*h0*h2*h4 + 2*g0*g2*g4*h0*h1*h4 + 2*g0*g2*g4*h0*h2*h3 - g0*g2*g4*h1^2*h3 + 2*g0*g3*g4*h0*h2^2 - g0*g3*g4*h1^2*h2 + 4*g0*g4^2*h0^2*h3 - 4*g0*g4^2*h0*h1*h2 + g0*g4^2*h1^3 + g1^3*h0*h4^2 - g1^2*g2*h0*h3*h4 - g1^2*g3*h0*h2*h4 + g1*g2*g4*h0*h1*h3 + g1*g3*g4*h0*h1*h2 + 2*g1*g4^2*h0^2*h2 - g1*g4^2*h0*h1^2; m62 := -g0^2*h1*h4 + g0*g1*h0*h4 - g0*g1*h1*h3 - 2*g0*g2*h0*h3 - 2*g0*g3*h0*h2 + g0*g3*h1^2 + g0*g4*h0*h1 + g1^2*h0*h3 - g1*g3*h0*h1 - g1*g4*h0^2; m63 := g0*g1*h1*h4 + g0*g2*h1*h3 + 4*g0*g3*h0*h3 - g0*g3*h1*h2 - g0*g4*h1^2 - g1^2*h0*h4 - g1*g2*h0*h3 + g1*g3*h0*h2 + g1*g4*h0*h1; m64 := -m53; m65 := -m43; m66 := m33; m67 := -m23; m68 := m13; m71 := g0^2*g2*h1*h3*h4 + 2*g0^2*g3*h0*h3*h4 + g0^2*g4*(4*h0*h2*h4 - 2*h0*h3^2 - 2*h1^2*h4 + h1*h2*h3) + g0*g1*g2*(-h0*h3*h4 + h1*h2*h4) + g0*g1*g3*(-2*h0*h2*h4 + 2*h1^2*h4) + g0*g1*g4*(4*h0*h1*h4 + h0*h2*h3 - 2*h1^2*h3 + h1*h2^2) + g0*g2^2*(4*h0*h2*h4 - h1^2*h4) + g0*g2*g3*h0*h1*h4 + g0*g2*g4*(4*h0^2*h4 - 2*h0*h1*h3 + 4*h0*h2^2 - h1^2*h2) - 2*g0*g3^2*h0^2*h4 + g0*g3*g4*(2*h0^2*h3 - h0*h1*h2) - g1^2*g2*h0*h2*h4 - 2*g1^2*g3*h0*h1*h4 + g1^2*g4*(-2*h0^2*h4 + 2*h0*h1*h3 - h0*h2^2) + g1*g2^2*h0*h1*h4 + g1*g2*g3*h0^2*h4 + g1*g2*g4*h0*h1*h2 + g1*g3*g4*h0^2*h2; m72 := -g0^2*h1*h3 + g0*g1*h0*h3 - g0*g1*h1*h2 - 4*g0*g2*h0*h2 + g0*g2*h1^2 + g0*g3*h0*h1 + g1^2*h0*h2 - g1*g2*h0*h1 - g1*g3*h0^2; m73 := -m62; m74 := m52; m75 := m42; m76 := -m32; m77 := m22; m78 := -m12; m81 := g0^2*g1*g3*h1*h3*h4^2 + g0^2*g1*g4*(4*h0*h3*h4^2 - h1*h3^2*h4) + g0^2*g2*g3*h1*h3^2*h4 + g0^2*g2*g4*(16*h0*h2*h4^2 - 4*h0*h3^2*h4 - 8*h1^2*h4^2 + 4*h1*h2*h3*h4 - h1*h3^3) + g0^2*g3^2*(-8*h0*h2*h4^2 + 4*h0*h3^2*h4 + 4*h1^2*h4^2 - h1*h2*h3*h4) + g0^2*g3*g4*(4*h0*h1*h4^2 + 12*h0*h2*h3*h4 - 4*h0*h3^3 - 5*h1^2*h3*h4 + h1*h2*h3^2) + g0^2*g4^2*(16*h0^2*h4^2 - 8*h0*h1*h3*h4 + h1^2*h3^2) + g0*g1^2*g3*(-h0*h3*h4^2 + h1*h2*h4^2) + g0*g1^2*g4*(-4*h0*h2*h4^2 + h0*h3^2*h4 + 4*h1^2*h4^2 - h1*h2*h3*h4) + g0*g1*g2*g3*(4*h0*h2*h4^2 - h0*h3^2*h4 - h1^2*h4^2 + h1*h2*h3*h4) + g0*g1*g2*g4*(12*h0*h1*h4^2 - 4*h0*h2*h3*h4 + h0*h3^3 - 3*h1^2*h3*h4 + 4*h1*h2^2*h4 - h1*h2*h3^2) + g0*g1*g3^2*(-5*h0*h1*h4^2 - 3*h0*h2*h3*h4 + 4*h1^2*h3*h4 - h1*h2^2*h4) + g0*g1*g3*g4*(-8*h0^2*h4^2 + 10*h0*h1*h3*h4 - 4*h0*h2^2*h4 + 3*h0*h2*h3^2 + 3*h1^2*h2*h4 - 4*h1^2*h3^2 + h1*h2^2*h3) + g0*g1*g4^2*(4*h0^2*h3*h4 + 12*h0*h1*h2*h4 - 5*h0*h1*h3^2 - 4*h1^3*h4 + h1^2*h2*h3) + g0*g2^2*g3*(4*h0*h2*h3*h4 - h1^2*h3*h4) + g0*g2^2*g4*(-4*h0*h1*h3*h4 + 16*h0*h2^2*h4 - 4*h0*h2*h3^2 - 4*h1^2*h2*h4 + h1^2*h3^2) + g0*g2*g3^2*(3*h0*h1*h3*h4 - 4*h0*h2^2*h4 + h1^2*h2*h4) + g0*g2*g3*g4*(12*h0^2*h3*h4 - 4*h0*h1*h2*h4 - 3*h0*h1*h3^2 + 4*h0*h2^2*h3 + h1^3*h4 - h1^2*h2*h3) + g0*g2*g4^2*(16*h0^2*h2*h4 - 8*h0^2*h3^2 - 4*h0*h1^2*h4 + 4*h0*h1*h2*h3 - h1^3*h3) + g0*g3^3*(-4*h0^2*h3*h4 + h0*h1*h2*h4) + g0*g3^2*g4*(-4*h0^2*h2*h4 + 4*h0^2*h3^2 + h0*h1^2*h4 - h0*h1*h2*h3) + g0*g3*g4^2*(4*h0^2*h1*h4 - h0*h1^2*h3) - g1^3*g3*h0*h2*h4^2 + g1^3*g4*(-4*h0*h1*h4^2 + h0*h2*h3*h4) + g1^2*g2*g3*(h0*h1*h4^2 - h0*h2*h3*h4) + g1^2*g2*g4*(3*h0*h1*h3*h4 - 4*h0*h2^2*h4 + h0*h2*h3^2) + g1^2*g3^2*(h0^2*h4^2 - 4*h0*h1*h3*h4 + h0*h2^2*h4) + g1^2*g3*g4*(-5*h0^2*h3*h4 - 3*h0*h1*h2*h4 + 4*h0*h1*h3^2 - h0*h2^2*h3) + g1^2*g4^2*(-8*h0^2*h2*h4 + 4*h0^2*h3^2 + 4*h0*h1^2*h4 - h0*h1*h2*h3) + g1*g2^2*g3*h0*h1*h3*h4 + g1*g2^2*g4*(4*h0*h1*h2*h4 - h0*h1*h3^2) + g1*g2*g3^2*(h0^2*h3*h4 - h0*h1*h2*h4) + g1*g2*g3*g4*(4*h0^2*h2*h4 - h0^2*h3^2 - h0*h1^2*h4 + h0*h1*h2*h3) + g1*g2*g4^2*h0*h1^2*h3 - g1*g3^3*h0^2*h2*h4 + g1*g3^2*g4*(-h0^2*h1*h4 + h0^2*h2*h3) + g1*g3*g4^2*h0^2*h1*h3; m82 := -m71; m83 := m61; m84 := -m51; m85 := -m41; m86 := m31; m87 := -m21; m88 := m11; return Matrix([[m11,m12,m13,m14,m15,m16,m17,m18], [m21,m22,m23,m24,m25,m26,m27,m28], [m31,m32,m33,m34,m35,m36,m37,m38], [m41,m42,m43,m44,m45,m46,m47,m48], [m51,m52,m53,m54,m55,m56,m57,m58], [m61,m62,m63,m64,m65,m66,m67,m68], [m71,m72,m73,m74,m75,m76,m77,m78], [m81,m82,m83,m84,m85,m86,m87,m88]]); end function; function TTAM2(gpol, hpol) // deg(gpol) = 2, deg(hpol) = 6, fpol = gpol*hpol g0, g1, g2 := Explode(Coefficients(gpol) cat [0 : i in [0..2]]); h0, h1, h2, h3, h4, h5, h6 := Explode(Coefficients(hpol) cat [0 : i in [0..6]]); m11 := -g0^3*h6 - g0^2*g2*h4 - g0*g2^2*h2 - g2^3*h0; m12 := g0^2; m13 := -g0*g1; m14 := -g0*g2 + g1^2; m15 := g0*g2; m16 := -g1*g2; m17 := g2^2; m18 := Parent(g0)!0; m21 := -g0^3*g1*h5*h6 - 4*g0^3*g2*h4*h6 + g0^3*g2*h5^2 + g0^2*g1^2*h4*h6 + g0^2*g1*g2*h3*h6 - g0^2*g1*g2*h4*h5 - g0^2*g2^2*h3*h5; m22 := g0^3*h6 + g0^2*g2*h4 - g0*g2^2*h2 - g2^3*h0; m23 := -g0^2*g2*h5 - g0*g1*g2*h4 + g0*g2^2*h3; m24 := g0*g1*g2*h5 - 2*g0*g2^2*h4 + g1^2*g2*h4 - g1*g2^2*h3; m25 := 2*g0^2*g2*h6 - g0*g1^2*h6 + g0*g1*g2*h5; m26 := -3*g0*g1*g2*h6 + g0*g2^2*h5 + g1^3*h6 - g1^2*g2*h5; m27 := Parent(g0)!0; m28 := m17; m31 := -2*g0^3*g2*h3*h6 + g0^2*g1^2*h3*h6 + 4*g0^2*g1*g2*h2*h6 - g0^2*g1*g2*h3*h5 + 2*g0^2*g2^2*h1*h6 - 2*g0^2*g2^2*h2*h5 - g0*g1^3*h2*h6 - g0*g1^2*g2*h1*h6 + g0*g1^2*g2*h2*h5 + g0*g1*g2^2*h1*h5; m32 := g0^2*g2*h3 - g0*g1*g2*h2 - g0*g2^2*h1; m33 := g0^3*h6 - g0^2*g2*h4 + g0*g2^2*h2 - g2^3*h0; m34 := -g0*g2^2*h3 - g1*g2^2*h2 + g2^3*h1; m35 := -g0^2*g1*h6 + g0^2*g2*h5; m36 := Parent(g0)!0; m37 := m26; m38 := -m16; m41 := 3*g0^2*g1*g2*h1*h6 + 4*g0^2*g2^2*h0*h6 - g0^2*g2^2*h1*h5 - g0*g1^3*h1*h6 - 5*g0*g1^2*g2*h0*h6 + g0*g1^2*g2*h1*h5 + 3*g0*g1*g2^2*h0*h5 + g1^4*h0*h6 - g1^3*g2*h0*h5; m42 := -g0*g1*g2*h1 - 2*g0*g2^2*h0 + g1^2*g2*h0; m43 := g0*g2^2*h1 - g1*g2^2*h0; m44 := g0^3*h6 - g0^2*g2*h4 - g0*g2^2*h2 + g2^3*h0; m45 := Parent(g0)!0; m46 := m35; m47 := -m25; m48 := m15; m51 := -g0^3*g2*h3*h5 + g0^2*g1*g2*h2*h5 - g0^2*g1*g2*h3*h4 + g0^2*g2^2*h1*h5 - 4*g0^2*g2^2*h2*h4 + g0^2*g2^2*h3^2 + g0*g1^2*g2*h2*h4 + g0*g1*g2^2*h1*h4 - g0*g1*g2^2*h2*h3 - g0*g2^3*h1*h3; m52 := g0^2*g1*h3 + 2*g0^2*g2*h2 - g0*g1^2*h2 - g0*g1*g2*h1; m53 := g0^3*h5 - g0^2*g1*h4 - g0^2*g2*h3; m54 := Parent(g0)!0; m55 := -m44; m56 := m34; m57 := -m24; m58 := m14; m61 := g0^2*g1*g2*h1*h5 + 2*g0^2*g2^2*h0*h5 - 2*g0^2*g2^2*h1*h4 - g0*g1^2*g2*h0*h5 + g0*g1^2*g2*h1*h4 + 4*g0*g1*g2^2*h0*h4 - g0*g1*g2^2*h1*h3 - 2*g0*g2^3*h0*h3 - g1^3*g2*h0*h4 + g1^2*g2^2*h0*h3; m62 := g0^2*g2*h1 - g0*g1^2*h1 - 3*g0*g1*g2*h0 + g1^3*h0; m63 := Parent(g0)!0; m64 := m53; m65 := m43; m66 := -m33; m67 := m23; m68 := -m13; m71 := -g0^2*g2^2*h1*h3 + g0*g1*g2^2*h0*h3 - g0*g1*g2^2*h1*h2 - 4*g0*g2^3*h0*h2 + g0*g2^3*h1^2 + g1^2*g2^2*h0*h2 - g1*g2^3*h0*h1; m72 := Parent(g0)!0; m73 := m62; m74 := -m52; m75 := -m42; m76 := m32; m77 := -m22; m78 := m12; m81 := Parent(g0)!0; m82 := m71; m83 := -m61; m84 := m51; m85 := m41; m86 := -m31; m87 := m21; m88 := -m11; return Matrix([[m11,m12,m13,m14,m15,m16,m17,m18], [m21,m22,m23,m24,m25,m26,m27,m28], [m31,m32,m33,m34,m35,m36,m37,m38], [m41,m42,m43,m44,m45,m46,m47,m48], [m51,m52,m53,m54,m55,m56,m57,m58], [m61,m62,m63,m64,m65,m66,m67,m68], [m71,m72,m73,m74,m75,m76,m77,m78], [m81,m82,m83,m84,m85,m86,m87,m88]]); end function;