!The! generic! nilpotent! derivation! as! in! (!Cohomology! tables! page! 50)! : ! the! eigen\ values are! 0$ by! subtracting! adjoints! one! then! may! suppose! xi(4,1)=xi(4,2)=xi(5,1)=xi(6 ,1)=x\ i(6,2)=0$ delta:= mat((0,0,0,0,0,0),(xi(2,1),0,0,0,0,0),(xi(3,1),xi(3,2),0,0,0,0),(0,0,0,0,0,0),(0 ,xi(5,2), - xi(2,1),0,0,0),(0,0,xi(6,3),xi(5,2) - xi(3,1),xi(2,1),0))$ We denote this delta by the shortform$ shortformdelta:={xi(2,1), ss, xi(3,1), xi(3,2), ss, xi(5,2), ss, xi(6,3)}$ paramindexeslist:={{2,1},{3,1},{3,2},{5,2},{6,3}}$ a neq {}$ b neq {}$ a:=a$ b:=b$ delta:= mat((0,0,0,0,0,0),(0,0,0,0,0,0),(1,0,0,0,0,0),(0,0,0,0,0,0),(0,a,0,0,0,0),(0,0,b ,a - 1,0,0))$ shortformdelta:={0, ss, 1, 0, ss, a, ss, b}$ phase 1 de la resolution des equations$ on resout l'equation {{0,1},0} qui est maintenant AA:= - d(0,3)$ Unknown: d(0,3) Unknown: d(0,3) bonne inconnue W:=d(0,3)$ sa valeur doit etre WW:=0$ on resout l'equation {{0,1},1} qui est maintenant AA:= - d(1,3)$ Unknown: d(1,3) Unknown: d(1,3) bonne inconnue W:=d(1,3)$ sa valeur doit etre WW:=0$ on resout l'equation {{0,1},2} qui est maintenant AA:= - d(2,3)$ Unknown: d(2,3) Unknown: d(2,3) bonne inconnue W:=d(2,3)$ sa valeur doit etre WW:=0$ on resout l'equation {{0,1},3} qui est maintenant AA:= - d(3,3) + d(1,1) + d(0, 0)$ Unknowns: {d(3,3),d(1,1),d(0,0)} Unknowns: {d(3,3),d(1,1),d(0,0)} bonne inconnue W:=d(3,3)$ sa valeur doit etre WW:=d(1,1) + d(0,0)$ on resout l'equation {{0,1},4} qui est maintenant AA:= - (d(4,3) + d(2,0))$ Unknowns: {d(4,3),d(2,0)} Unknowns: {d(4,3),d(2,0)} bonne inconnue W:=d(4,3)$ sa valeur doit etre WW:= - d(2,0)$ on resout l'equation {{0,1},5} qui est maintenant AA:= - d(5,3) - d(4,0) + d(2, 1)*a$ Unknowns: {d(5,3),d(4,0),d(2,1),a} Unknowns: {d(5,3),d(4,0),d(2,1),a} bonne inconnue W:=d(5,3)$ sa valeur doit etre WW:= - d(4,0) + d(2,1)*a$ on resout l'equation {{0,1},6} qui est maintenant AA:= - d(6,3) - d(5,0) + d(4, 1)*a - d(4,1) + d(3,1)*b$ Unknowns: {d(6,3),d(5,0),d(4,1),d(3,1),a,b} Unknowns: {d(6,3),d(5,0),d(4,1),d(3,1),a,b} bonne inconnue W:=d(6,3)$ sa valeur doit etre WW:= - d(5,0) + d(4,1)*a - d(4,1) + d(3,1)*b$ on resout l'equation {{0,2},0} qui est maintenant AA:= - d(0,5)*a$ Unknowns: {d(0,5),a} Unknowns: {d(0,5),a} pas de selection possible de variable a coefficient numerique dans - d(0,5)*a on resout l'equation {{0,2},1} qui est maintenant AA:= - d(1,5)*a$ Unknowns: {d(1,5),a} Unknowns: {d(1,5),a} pas de selection possible de variable a coefficient numerique dans - d(1,5)*a on resout l'equation {{0,2},2} qui est maintenant AA:= - d(2,5)*a$ Unknowns: {d(2,5),a} Unknowns: {d(2,5),a} pas de selection possible de variable a coefficient numerique dans - d(2,5)*a on resout l'equation {{0,2},3} qui est maintenant AA:= - d(3,5)*a + d(1,2)$ Unknowns: {d(3,5),d(1,2),a} Unknowns: {d(3,5),d(1,2),a} bonne inconnue W:=d(1,2)$ sa valeur doit etre WW:=d(3,5)*a$ on resout l'equation {{0,2},4} qui est maintenant AA:= - d(4,5)*a + d(1,0)$ Unknowns: {d(4,5),d(1,0),a} Unknowns: {d(4,5),d(1,0),a} bonne inconnue W:=d(1,0)$ sa valeur doit etre WW:=d(4,5)*a$ on resout l'equation {{0,2},5} qui est maintenant AA:=a*( - d(5,5) + d(2,2) + d (0,0))$ Unknowns: {d(5,5),d(2,2),d(0,0),a} Unknowns: {d(5,5),d(2,2),d(0,0),a} pas de selection possible de variable a coefficient numerique dans a*( - d(5,5) + d(2,2) + d(0,0)) on resout l'equation {{0,2},6} qui est maintenant AA:= - d(6,5)*a + d(4,2)*a - d(4,2) - d(4,0) + d(3,2)*b - d(3,0)$ Unknowns: {d(6,5),d(4,2),d(4,0),d(3,2),d(3,0),a,b} Unknowns: {d(6,5),d(4,2),d(4,0),d(3,2),d(3,0),a,b} bonne inconnue W:=d(4,0)$ sa valeur doit etre WW:= - d(6,5)*a + d(4,2)*a - d(4,2) + d(3,2)*b - d(3,0)$ on resout l'equation {{0,3},0} qui est maintenant AA:= - d(0,6)*b$ Unknowns: {d(0,6),b} Unknowns: {d(0,6),b} pas de selection possible de variable a coefficient numerique dans - d(0,6)*b on resout l'equation {{0,3},1} qui est maintenant AA:= - d(1,6)*b$ Unknowns: {d(1,6),b} Unknowns: {d(1,6),b} pas de selection possible de variable a coefficient numerique dans - d(1,6)*b on resout l'equation {{0,3},2} qui est maintenant AA:= - d(2,6)*b$ Unknowns: {d(2,6),b} Unknowns: {d(2,6),b} pas de selection possible de variable a coefficient numerique dans - d(2,6)*b on resout l'equation {{0,3},3} qui est maintenant AA:= - d(3,6)*b$ Unknowns: {d(3,6),b} Unknowns: {d(3,6),b} pas de selection possible de variable a coefficient numerique dans - d(3,6)*b on resout l'equation {{0,3},4} qui est maintenant AA:= - d(4,6)*b$ Unknowns: {d(4,6),b} Unknowns: {d(4,6),b} pas de selection possible de variable a coefficient numerique dans - d(4,6)*b on resout l'equation {{0,3},5} qui est maintenant AA:= - d(5,6)*b$ Unknowns: {d(5,6),b} Unknowns: {d(5,6),b} pas de selection possible de variable a coefficient numerique dans - d(5,6)*b on resout l'equation {{0,3},6} qui est maintenant AA:= - d(6,6)*b - d(2,0)*a + 2*d(2,0) + d(1,1)*b + 2*d(0,0)*b$ Unknowns: {d(6,6),d(2,0),d(1,1),d(0,0),a,b} Unknowns: {d(6,6),d(2,0),d(1,1),d(0,0),a,b} pas de selection possible de variable a coefficient numerique dans - d(6,6)*b - d(2,0)*a + 2*d(2,0) + d(1,1)*b + 2*d(0,0)*b on resout l'equation {{0,4},0} qui est maintenant AA:=d(0,6)*( - a + 1)$ Unknowns: {d(0,6),a} Unknowns: {d(0,6),a} pas de selection possible de variable a coefficient numerique dans d(0,6)*( - a + 1) on resout l'equation {{0,4},1} qui est maintenant AA:=d(1,6)*( - a + 1)$ Unknowns: {d(1,6),a} Unknowns: {d(1,6),a} pas de selection possible de variable a coefficient numerique dans d(1,6)*( - a + 1) on resout l'equation {{0,4},2} qui est maintenant AA:=d(2,6)*( - a + 1)$ Unknowns: {d(2,6),a} Unknowns: {d(2,6),a} pas de selection possible de variable a coefficient numerique dans d(2,6)*( - a + 1) on resout l'equation {{0,4},3} qui est maintenant AA:= - d(3,6)*a + d(3,6) + d( 1,4)$ Unknowns: {d(3,6),d(1,4),a} Unknowns: {d(3,6),d(1,4),a} bonne inconnue W:=d(1,4)$ sa valeur doit etre WW:=d(3,6)*(a - 1)$ on resout l'equation {{0,4},4} qui est maintenant AA:=d(4,6)*( - a + 1)$ Unknowns: {d(4,6),a} Unknowns: {d(4,6),a} pas de selection possible de variable a coefficient numerique dans d(4,6)*( - a + 1) on resout l'equation {{0,4},5} qui est maintenant AA:= - d(5,6)*a + d(5,6) + d( 4,5)*a + d(2,4)*a$ Unknowns: {d(5,6),d(4,5),d(2,4),a} Unknowns: {d(5,6),d(4,5),d(2,4),a} pas de selection possible de variable a coefficient numerique dans - d(5,6)*a + d(5,6) + d(4,5)*a + d(2,4)*a on resout l'equation {{0,4},6} qui est maintenant AA:= - d(6,6)*a + d(6,6) + d( 4,4)*a - d(4,4) + d(3,4)*b + d(2,0) + d(0,0)*a - d(0,0)$ Unknowns: {d(6,6),d(4,4),d(3,4),d(2,0),d(0,0),a,b} Unknowns: {d(6,6),d(4,4),d(3,4),d(2,0),d(0,0),a,b} bonne inconnue W:=d(2,0)$ sa valeur doit etre WW:=d(6,6)*a - d(6,6) - d(4,4)*a + d(4,4) - d(3,4)*b - d(0,0 )*a + d(0,0)$ on resout l'equation {{0,5},3} qui est maintenant AA:=d(1,5)$ Unknown: d(1,5) Unknown: d(1,5) bonne inconnue W:=d(1,5)$ sa valeur doit etre WW:=0$ on resout l'equation {{0,5},5} qui est maintenant AA:=d(2,5)*a$ Unknowns: {d(2,5),a} Unknowns: {d(2,5),a} pas de selection possible de variable a coefficient numerique dans d(2,5)*a on resout l'equation {{0,5},6} qui est maintenant AA:=2*d(4,5)*a - d(4,5) + d(3 ,5)*b$ Unknowns: {d(4,5),d(3,5),a,b} Unknowns: {d(4,5),d(3,5),a,b} pas de selection possible de variable a coefficient numerique dans 2*d(4,5)*a - d(4,5) + d(3,5)*b on resout l'equation {{0,6},3} qui est maintenant AA:=d(1,6)$ Unknown: d(1,6) Unknown: d(1,6) bonne inconnue W:=d(1,6)$ sa valeur doit etre WW:=0$ on resout l'equation {{0,6},5} qui est maintenant AA:=d(2,6)*a$ Unknowns: {d(2,6),a} Unknowns: {d(2,6),a} pas de selection possible de variable a coefficient numerique dans d(2,6)*a on resout l'equation {{0,6},6} qui est maintenant AA:=d(4,6)*a - d(4,6) + d(3,6 )*b$ Unknowns: {d(4,6),d(3,6),a,b} Unknowns: {d(4,6),d(3,6),a,b} pas de selection possible de variable a coefficient numerique dans d(4,6)*a - d( 4,6) + d(3,6)*b on resout l'equation {{1,2},0} qui est maintenant AA:= - d(0,4)$ Unknown: d(0,4) Unknown: d(0,4) bonne inconnue W:=d(0,4)$ sa valeur doit etre WW:=0$ on resout l'equation {{1,2},1} qui est maintenant AA:=d(3,6)*( - a + 1)$ Unknowns: {d(3,6),a} Unknowns: {d(3,6),a} pas de selection possible de variable a coefficient numerique dans d(3,6)*( - a + 1) on resout l'equation {{1,2},2} qui est maintenant AA:= - d(2,4)$ Unknown: d(2,4) Unknown: d(2,4) bonne inconnue W:=d(2,4)$ sa valeur doit etre WW:=0$ on resout l'equation {{1,2},3} qui est maintenant AA:= - (d(3,4) + d(0,2))$ Unknowns: {d(3,4),d(0,2)} Unknowns: {d(3,4),d(0,2)} bonne inconnue W:=d(3,4)$ sa valeur doit etre WW:= - d(0,2)$ on resout l'equation {{1,2},4} qui est maintenant AA:= - d(4,4) + d(2,2) + d(1, 1)$ Unknowns: {d(4,4),d(2,2),d(1,1)} Unknowns: {d(4,4),d(2,2),d(1,1)} bonne inconnue W:=d(4,4)$ sa valeur doit etre WW:=d(2,2) + d(1,1)$ on resout l'equation {{1,2},5} qui est maintenant AA:= - d(5,4) + d(4,2) + d(0, 1)*a$ Unknowns: {d(5,4),d(4,2),d(0,1),a} Unknowns: {d(5,4),d(4,2),d(0,1),a} bonne inconnue W:=d(5,4)$ sa valeur doit etre WW:=d(4,2) + d(0,1)*a$ on resout l'equation {{1,2},6} qui est maintenant AA:= - d(6,4) + d(5,2) - d(4, 1) - d(3,1)$ Unknowns: {d(6,4),d(5,2),d(4,1),d(3,1)} Unknowns: {d(6,4),d(5,2),d(4,1),d(3,1)} bonne inconnue W:=d(6,4)$ sa valeur doit etre WW:=d(5,2) - d(4,1) - d(3,1)$ on resout l'equation {{1,3},5} qui est maintenant AA:= - d(6,6)*a + d(6,6) + d( 2,2)*a - d(2,2) + d(1,1)*a - d(1,1) - d(0,2)*b + d(0,0)*a - d(0,0)$ Unknowns: {d(6,6),d(2,2),d(1,1),d(0,2),d(0,0),a,b} Unknowns: {d(6,6),d(2,2),d(1,1),d(0,2),d(0,0),a,b} pas de selection possible de variable a coefficient numerique dans - d(6,6)*a + d(6,6) + d(2,2)*a - d(2,2) + d(1,1)*a - d(1,1) - d(0,2)*b + d(0,0)*a - d(0,0) on resout l'equation {{1,3},6} qui est maintenant AA:=d(6,5)*a - d(4,2)*a + d(4 ,2) - d(3,2)*b + d(3,0) + d(2,1)*a + d(2,1) + d(0,1)*b$ Unknowns: {d(6,5),d(4,2),d(3,2),d(3,0),d(2,1),d(0,1),a,b} Unknowns: {d(6,5),d(4,2),d(3,2),d(3,0),d(2,1),d(0,1),a,b} bonne inconnue W:=d(3,0)$ sa valeur doit etre WW:= - d(6,5)*a + d(4,2)*a - d(4,2) + d(3,2)*b - d(2,1)*a - d(2,1) - d(0,1)*b$ on resout l'equation {{1,4},0} qui est maintenant AA:= - d(0,5)$ Unknown: d(0,5) Unknown: d(0,5) bonne inconnue W:=d(0,5)$ sa valeur doit etre WW:=0$ on resout l'equation {{1,4},2} qui est maintenant AA:= - d(2,5)$ Unknown: d(2,5) Unknown: d(2,5) bonne inconnue W:=d(2,5)$ sa valeur doit etre WW:=0$ on resout l'equation {{1,4},3} qui est maintenant AA:= - d(3,5)$ Unknown: d(3,5) Unknown: d(3,5) bonne inconnue W:=d(3,5)$ sa valeur doit etre WW:=0$ on resout l'equation {{1,4},4} qui est maintenant AA:= - d(4,5)$ Unknown: d(4,5) Unknown: d(4,5) bonne inconnue W:=d(4,5)$ sa valeur doit etre WW:=0$ on resout l'equation {{1,4},5} qui est maintenant AA:= - d(5,5) + d(2,2) + 2*d( 1,1)$ Unknowns: {d(5,5),d(2,2),d(1,1)} Unknowns: {d(5,5),d(2,2),d(1,1)} bonne inconnue W:=d(5,5)$ sa valeur doit etre WW:=d(2,2) + 2*d(1,1)$ on resout l'equation {{1,4},6} qui est maintenant AA:= - d(6,5) + d(4,2) + d(2, 1) + 2*d(0,1)*a - d(0,1)$ Unknowns: {d(6,5),d(4,2),d(2,1),d(0,1),a} Unknowns: {d(6,5),d(4,2),d(2,1),d(0,1),a} bonne inconnue W:=d(6,5)$ sa valeur doit etre WW:=d(4,2) + d(2,1) + 2*d(0,1)*a - d(0,1)$ on resout l'equation {{1,5},0} qui est maintenant AA:= - d(0,6)$ Unknown: d(0,6) Unknown: d(0,6) bonne inconnue W:=d(0,6)$ sa valeur doit etre WW:=0$ on resout l'equation {{1,5},2} qui est maintenant AA:= - d(2,6)$ Unknown: d(2,6) Unknown: d(2,6) bonne inconnue W:=d(2,6)$ sa valeur doit etre WW:=0$ on resout l'equation {{1,5},3} qui est maintenant AA:= - d(3,6)$ Unknown: d(3,6) Unknown: d(3,6) bonne inconnue W:=d(3,6)$ sa valeur doit etre WW:=0$ on resout l'equation {{1,5},4} qui est maintenant AA:= - d(4,6)$ Unknown: d(4,6) Unknown: d(4,6) bonne inconnue W:=d(4,6)$ sa valeur doit etre WW:=0$ on resout l'equation {{1,5},5} qui est maintenant AA:= - d(5,6)$ Unknown: d(5,6) Unknown: d(5,6) bonne inconnue W:=d(5,6)$ sa valeur doit etre WW:=0$ on resout l'equation {{1,5},6} qui est maintenant AA:= - d(6,6) + d(2,2) + 3*d( 1,1)$ Unknowns: {d(6,6),d(2,2),d(1,1)} Unknowns: {d(6,6),d(2,2),d(1,1)} bonne inconnue W:=d(6,6)$ sa valeur doit etre WW:=d(2,2) + 3*d(1,1)$ on resout l'equation {{2,3},6} qui est maintenant AA:=a*( - 2*d(1,1) + d(0,0))$ Unknowns: {d(1,1),d(0,0),a} Unknowns: {d(1,1),d(0,0),a} pas de selection possible de variable a coefficient numerique dans a*( - 2*d(1,1 ) + d(0,0)) on resout l'equation {{2,4},6} qui est maintenant AA:=d(2,2) - 2*d(1,1) + d(0,2 )*a - 2*d(0,2)$ Unknowns: {d(2,2),d(1,1),d(0,2),a} Unknowns: {d(2,2),d(1,1),d(0,2),a} bonne inconnue W:=d(2,2)$ sa valeur doit etre WW:=2*d(1,1) - d(0,2)*a + 2*d(0,2)$ Derivation equations to cancel (Reduce output) : \\{{{{0,1},0},0}, {{{0,1},1},0}, {{{0,1},2},0}, {{{0,1},3},0}, {{{0,1},4},0}, {{{0,1},5},0}, {{{0,1},6},0}, {{{0,2},0},0}, {{{0,2},1},0}, {{{0,2},2},0}, {{{0,2},3},0}, {{{0,2},4},0}, {{{0,2},5}, - (2*d(1,1) - d(0,0))*a}, {{{0,2},6},0}, {{{0,3},0},0}, {{{0,3},1},0}, {{{0,3},2},0}, {{{0,3},3},0}, {{{0,3},4},0}, {{{0,3},5},0}, {{{0,3},6}, - (2*d(1,1) - d(0,0))*(a**2 - 3*a + 2*b + 2)}, {{{0,4},0},0}, {{{0,4},1},0}, {{{0,4},2},0}, {{{0,4},3},0}, {{{0,4},4},0}, {{{0,4},5},0}, {{{0,4},6},0}, {{{0,5},3},0}, {{{0,5},5},0}, {{{0,5},6},0}, {{{0,6},3},0}, {{{0,6},5},0}, {{{0,6},6},0}, {{{1,2},0},0}, {{{1,2},1},0}, {{{1,2},2},0}, {{{1,2},3},0}, {{{1,2},4},0}, {{{1,2},5},0}, {{{1,2},6},0}, {{{1,3},3},0}, {{{1,3},4},0}, {{{1,3},5}, (a - 1)*d(0,0) - d(0,2)*b - 2*(a - 1)*d(1,1)}, {{{1,3},6},0}, {{{1,4},0},0}, {{{1,4},1},0}, {{{1,4},2},0}, {{{1,4},3},0}, {{{1,4},4},0}, {{{1,4},5},0}, {{{1,4},6},0}, {{{1,5},0},0}, {{{1,5},1},0}, {{{1,5},2},0}, {{{1,5},3},0}, {{{1,5},4},0}, {{{1,5},5},0}, {{{1,5},6},0}, {{{1,6},3},0}, {{{1,6},4},0}, {{{1,6},5},0}, {{{1,6},6},0}, {{{2,3},0},0}, {{{2,3},1},0}, {{{2,3},2},0}, {{{2,3},3},0}, {{{2,3},4},0}, {{{2,3},5},0}, {{{2,3},6}, - (2*d(1,1) - d(0,0))*a}, {{{2,4},0},0}, {{{2,4},1},0}, {{{2,4},2},0}, {{{2,4},3},0}, {{{2,4},4},0}, {{{2,4},5},0}, {{{2,4},6},0}, {{{2,5},4},0}, {{{2,5},5},0}, {{{2,5},6},0}, {{{2,6},4},0}, {{{2,6},5},0}, {{{2,6},6},0}, {{{3,4},5},0}, {{{3,4},6},0}, {{{3,5},6},0}, {{{3,6},6},0}, {{{4,5},5},0}, {{{4,5},6},0}, {{{4,6},5},0}, {{{4,6},6},0}, {{{5,6},6},0}}$ Il y a une phase 2$ a neq {0}$ b neq {0}$ collect_eq:={{{{0,1},0},0}, {{{0,1},1},0}, {{{0,1},2},0}, {{{0,1},3},0}, {{{0,1},4},0}, {{{0,1},5},0}, {{{0,1},6},0}, {{{0,2},0},0}, {{{0,2},1},0}, {{{0,2},2},0}, {{{0,2},3},0}, {{{0,2},4},0}, {{{0,2},5},0}, {{{0,2},6},0}, {{{0,3},0},0}, {{{0,3},1},0}, {{{0,3},2},0}, {{{0,3},3},0}, {{{0,3},4},0}, {{{0,3},5},0}, {{{0,3},6},0}, {{{0,4},0},0}, {{{0,4},1},0}, {{{0,4},2},0}, {{{0,4},3},0}, {{{0,4},4},0}, {{{0,4},5},0}, {{{0,4},6},0}, {{{0,5},3},0}, {{{0,5},5},0}, {{{0,5},6},0}, {{{0,6},3},0}, {{{0,6},5},0}, {{{0,6},6},0}, {{{1,2},0},0}, {{{1,2},1},0}, {{{1,2},2},0}, {{{1,2},3},0}, {{{1,2},4},0}, {{{1,2},5},0}, {{{1,2},6},0}, {{{1,3},3},0}, {{{1,3},4},0}, {{{1,3},5},0}, {{{1,3},6},0}, {{{1,4},0},0}, {{{1,4},1},0}, {{{1,4},2},0}, {{{1,4},3},0}, {{{1,4},4},0}, {{{1,4},5},0}, {{{1,4},6},0}, {{{1,5},0},0}, {{{1,5},1},0}, {{{1,5},2},0}, {{{1,5},3},0}, {{{1,5},4},0}, {{{1,5},5},0}, {{{1,5},6},0}, {{{1,6},3},0}, {{{1,6},4},0}, {{{1,6},5},0}, {{{1,6},6},0}, {{{2,3},0},0}, {{{2,3},1},0}, {{{2,3},2},0}, {{{2,3},3},0}, {{{2,3},4},0}, {{{2,3},5},0}, {{{2,3},6},0}, {{{2,4},0},0}, {{{2,4},1},0}, {{{2,4},2},0}, {{{2,4},3},0}, {{{2,4},4},0}, {{{2,4},5},0}, {{{2,4},6},0}, {{{2,5},4},0}, {{{2,5},5},0}, {{{2,5},6},0}, {{{2,6},4},0}, {{{2,6},5},0}, {{{2,6},6},0}, {{{3,4},5},0}, {{{3,4},6},0}, {{{3,5},6},0}, {{{3,6},6},0}, {{{4,5},5},0}, {{{4,5},6},0}, {{{4,6},5},0}, {{{4,6},6},0}, {{{5,6},6},0}}$ derivation generique de gtildedelta:$ MATD:= mat((2*d(1,1),d(0,1),0,0,0,0,0),(0,d(1,1),0,0,0,0,0),(0,d(2,1),2*d(1,1),0,0,0,0) ,( - ((2*a**2 - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)),d(3,1),d(3 ,2),3*d(1,1),0,0,0),(d(2,1)*a + d(2,1) + d(0,1)*b,d(4,1),d(4,2),0,3*d(1,1),0,0), (d(5,0),d(5,1),d(5,2), - (d(2,1) + d(0,1)*b),d(4,2) + d(0,1)*a,4*d(1,1),0),(d(6, 0),d(6,1),d(6,2),d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0), - (d(4,1) + d(3,1) - d(5 ,2)),(2*a - 1)*d(0,1) + d(2,1) + d(4,2),5*d(1,1)))$ pour delta:= [0 0 0 0 0 0] [ ] [0 0 0 0 0 0] [ ] [1 0 0 0 0 0] [ ] [0 0 0 0 0 0] [ ] [0 a 0 0 0 0] [ ] [0 0 b a - 1 0 0] pour shortformdelta:={0, ss, 1, 0, ss, a, ss, b} Unknowns: {d(6,2), d(6,1), d(6,0), d(5,2), d(5,1), d(5,0), d(4,2), d(4,1), d(3,2), d(3,1), d(2,1), d(1,1), d(0,1), a, b} Unknowns: {d(6,2), d(6,1), d(6,0), d(5,2), d(5,1), d(5,0), d(4,2), d(4,1), d(3,2), d(3,1), d(2,1), d(1,1), d(0,1), a, b} listeparametresMATD{d(6,2), d(6,1), d(6,0), d(5,2), d(5,1), d(5,0), d(4,2), d(4,1), d(3,2), d(3,1), d(2,1), d(1,1), d(0,1)}$ dim Der(gtildedelta):=13$ t1:=D(1,1):= [2 0 0 0 0 0 0] [ ] [0 1 0 0 0 0 0] [ ] [0 0 2 0 0 0 0] [ ] [0 0 0 3 0 0 0] [ ] [0 0 0 0 3 0 0] [ ] [0 0 0 0 0 4 0] [ ] [0 0 0 0 0 0 5] MATD:= mat((2*d(1,1),d(0,1),0,0,0,0,0), (0,d(1,1),0,0,0,0,0), (0,d(2,1),2*d(1,1),0,0,0,0), 2 ( - ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)),d(3,1), d(3,2),3*d(1,1),0,0,0), (d(2,1)*a + d(2,1) + d(0,1)*b,d(4,1),d(4,2),0,3*d(1,1),0,0), (d(5,0),d(5,1),d(5,2), - (d(2,1) + d(0,1)*b),d(4,2) + d(0,1)*a,4*d(1,1),0), (d(6,0),d(6,1),d(6,2),d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0), - (d(4,1) + d(3,1) - d(5,2)),(2*a - 1)*d(0,1) + d(2,1) + d(4,2),5*d(1,1))) Unknown: d(1,1) Unknown: d(1,1) commutant de t1 dans der(gtildedelta): [2*d(1,1) 0 0 0 0 0 0 ] [ ] [ 0 d(1,1) 0 0 0 0 0 ] [ ] [ 0 0 2*d(1,1) 0 0 0 0 ] [ ] [ 0 0 0 3*d(1,1) 0 0 0 ] [ ] [ 0 0 0 0 3*d(1,1) 0 0 ] [ ] [ 0 0 0 0 0 4*d(1,1) 0 ] [ ] [ 0 0 0 0 0 0 5*d(1,1)] *********** gtildedelta est caracteristiquement nilpotente MATD**1:= mat((2*d(1,1),d(0,1),0,0,0,0,0), (0,d(1,1),0,0,0,0,0), (0,d(2,1),2*d(1,1),0,0,0,0), 2 ( - ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)),d(3,1), d(3,2),3*d(1,1),0,0,0), (d(2,1)*a + d(2,1) + d(0,1)*b,d(4,1),d(4,2),0,3*d(1,1),0,0), (d(5,0),d(5,1),d(5,2), - (d(2,1) + d(0,1)*b),d(4,2) + d(0,1)*a,4*d(1,1),0), (d(6,0),d(6,1),d(6,2),d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0), - (d(4,1) + d(3,1) - d(5,2)),(2*a - 1)*d(0,1) + d(2,1) + d(4,2),5*d(1,1))) MATD**2:= 2 mat((4*d(1,1) ,3*d(1,1)*d(0,1),0,0,0,0,0), 2 (0,d(1,1) ,0,0,0,0,0), 2 (0,3*d(2,1)*d(1,1),4*d(1,1) ,0,0,0,0), 2 ( - 5*((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2))*d(1,1), 2 - (((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2))*d(0,1) 2 - (d(3,2)*d(2,1) + 4*d(3,1)*d(1,1))),5*d(3,2)*d(1,1),9*d(1,1) ,0,0,0), (5*(d(2,1)*a + d(2,1) + d(0,1)*b)*d(1,1), d(4,2)*d(2,1) + 4*d(4,1)*d(1,1) + (d(2,1)*a + d(2,1) + d(0,1)*b)*d(0,1), 2 5*d(4,2)*d(1,1),0,9*d(1,1) ,0,0), 2 (((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) *(d(2,1) + d(0,1)*b) + (d(4,2) + d(0,1)*a)*(d(2,1)*a + d(2,1) + d(0,1)*b) + 6*d(5,0)*d(1,1),5*d(5,1)*d(1,1) + d(5,0)*d(0,1) + d(5,2)*d(2,1) - (d(2,1) + d(0,1)*b)*d(3,1) + (d(4,2) + d(0,1)*a)*d(4,1), - ( (d(2,1) + d(0,1)*b)*d(3,2) - 6*d(5,2)*d(1,1) - (d(4,2) + d(0,1)*a)*d(4,2)), - 7*(d(2,1) + d(0,1)*b)*d(1,1), 2 7*(d(4,2) + d(0,1)*a)*d(1,1),16*d(1,1) ,0), ( - ((d(4,1) + d(3,1) - d(5,2))*(d(2,1)*a + d(2,1) + d(0,1)*b) - 7*d(6,0)*d(1,1) - ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*d(5,0) + 2 ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) *(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))),6*d(6,1)*d(1,1) + d(6,0)*d(0,1) + d(6,2)*d(2,1) - (d(4,1) + d(3,1) - d(5,2))*d(4,1) + (d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(3,1) + ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*d(5,1), - ( (d(4,1) + d(3,1) - d(5,2))*d(4,2) - 7*d(6,2)*d(1,1) - (d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(3,2) - ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*d(5,2)), - ( ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) - 8*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1)), ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(4,2) + d(0,1)*a) - 8*(d(4,1) + d(3,1) - d(5,2))*d(1,1), 2 9*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*d(1,1),25*d(1,1) )) MATD**3:= 3 2 mat((8*d(1,1) ,7*d(1,1) *d(0,1),0,0,0,0,0), 3 (0,d(1,1) ,0,0,0,0,0), 2 3 (0,7*d(2,1)*d(1,1) ,8*d(1,1) ,0,0,0,0), 2 ( - 19*((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) 2 *d(1,1) , - (6 2 *((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) *d(0,1) - (6*d(3,2)*d(2,1) + 13*d(3,1)*d(1,1)))*d(1,1), 2 3 19*d(3,2)*d(1,1) ,27*d(1,1) ,0,0,0), 2 (19*(d(2,1)*a + d(2,1) + d(0,1)*b)*d(1,1) ,(6*d(4,2)*d(2,1) 2 + 13*d(4,1)*d(1,1) + 6*d(2,1)*d(0,1)*a + 6*d(2,1)*d(0,1) + 6*d(0,1) *b) 2 3 *d(1,1),19*d(4,2)*d(1,1) ,0,27*d(1,1) ,0,0), 2 ((9*((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) *(d(2,1) + d(0,1)*b) + 28*d(5,0)*d(1,1) + 9*d(4,2)*d(2,1)*a 2 + 9*d(4,2)*d(2,1) + 9*d(4,2)*d(0,1)*b + 9*d(2,1)*d(0,1)*a 2 + 9*d(2,1)*d(0,1)*a + 9*d(0,1) *a*b)*d(1,1), (d(5,1)*d(1,1) + 3*d(5,0)*d(0,1) + 3*d(5,2)*d(2,1))*d(1,1) - (d(3,2)*d(2,1) + 4*d(3,1)*d(1,1))*(d(2,1) + d(0,1)*b) + ((d(2,1)*a + d(2,1) + d(0,1)*b)*d(0,1) + 4*d(4,1)*d(1,1)) *(d(4,2) + d(0,1)*a) + (d(4,2)*d(2,1) + 4*d(4,1)*d(1,1))*(d(4,2) + d(0,1)*a) + 4*( 5*d(5,1)*d(1,1) + d(5,0)*d(0,1) + d(5,2)*d(2,1) - (d(2,1) + d(0,1)*b)*d(3,1))*d(1,1) + 2 ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) 2 *(d(2,1) + d(0,1)*b)*d(0,1),(28*d(5,2)*d(1,1) + 9*d(4,2) + 9*d(4,2)*d(0,1)*a - 9*d(3,2)*d(2,1) - 9*d(3,2)*d(0,1)*b)*d(1,1), 2 2 3 - 37*(d(2,1) + d(0,1)*b)*d(1,1) ,37*(d(4,2) + d(0,1)*a)*d(1,1) ,64*d(1,1) ,0), ( - ((5*(d(4,1) + d(3,1) - d(5,2))*(d(2,1)*a + d(2,1) + d(0,1)*b) - 4*d(6,0)*d(1,1))*d(1,1) - ((2*a - 1)*d(0,1) + d(2,1) + d(4,2)) *((d(4,2) + d(0,1)*a)*(d(2,1)*a + d(2,1) + d(0,1)*b) + 6*d(5,0)*d(1,1)) 2 - ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2))*( ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) - 10*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1)) + 5*( (d(4,1) + d(3,1) - d(5,2))*(d(2,1)*a + d(2,1) + d(0,1)*b) - 7*d(6,0)*d(1,1) - ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*d(5,0)) *d(1,1)),(d(6,1)*d(1,1) + 3*d(6,0)*d(0,1) + 3*d(6,2)*d(2,1))*d(1,1) - ( d(4,2)*d(2,1) + 4*d(4,1)*d(1,1) + (d(2,1)*a + d(2,1) + d(0,1)*b)*d(0,1)) *(d(4,1) + d(3,1) - d(5,2)) + (d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0)) *(d(3,2)*d(2,1) + 4*d(3,1)*d(1,1)) + ((2*a - 1)*d(0,1) + d(2,1) + d(4,2)) *((d(4,2) + d(0,1)*a)*d(4,1) + 5*d(5,1)*d(1,1)) + ( 5*d(5,1)*d(1,1) + d(5,0)*d(0,1) + d(5,2)*d(2,1) - (d(2,1) + d(0,1)*b)*d(3,1)) *((2*a - 1)*d(0,1) + d(2,1) + d(4,2)) - 2 ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) *(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(0,1) + 5*( 6*d(6,1)*d(1,1) + d(6,0)*d(0,1) + d(6,2)*d(2,1) - (d(4,1) + d(3,1) - d(5,2))*d(4,1) + (d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(3,1))*d(1,1), - ((5*(d(4,1) + d(3,1) - d(5,2))*d(4,2) - 4*d(6,2)*d(1,1) - 5*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(3,2))*d(1,1) - 2 ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(11*d(5,2)*d(1,1) + d(4,2) + d(4,2)*d(0,1)*a - d(3,2)*d(2,1) - d(3,2)*d(0,1)*b) + 5*( (d(4,1) + d(3,1) - d(5,2))*d(4,2) - 7*d(6,2)*d(1,1) - (d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(3,2))*d(1,1)), - ( 12*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) - 49*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1))*d(1,1),( 12*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(4,2) + d(0,1)*a) - 49*(d(4,1) + d(3,1) - d(5,2))*d(1,1))*d(1,1), 2 3 61*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*d(1,1) ,125*d(1,1) )) MATD**4:= 4 3 mat((16*d(1,1) ,15*d(1,1) *d(0,1),0,0,0,0,0), 4 (0,d(1,1) ,0,0,0,0,0), 3 4 (0,15*d(2,1)*d(1,1) ,16*d(1,1) ,0,0,0,0), 2 ( - 65*((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) 3 *d(1,1) , - 5*(5 2 *((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) 2 *d(0,1) - (5*d(3,2)*d(2,1) + 8*d(3,1)*d(1,1)))*d(1,1) , 3 4 65*d(3,2)*d(1,1) ,81*d(1,1) ,0,0,0), 3 (65*(d(2,1)*a + d(2,1) + d(0,1)*b)*d(1,1) ,5*(5*d(4,2)*d(2,1) 2 + 8*d(4,1)*d(1,1) + 5*d(2,1)*d(0,1)*a + 5*d(2,1)*d(0,1) + 5*d(0,1) *b) 2 3 4 *d(1,1) ,65*d(4,2)*d(1,1) ,0,81*d(1,1) ,0,0), 2 (5*(11*((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) *(d(2,1) + d(0,1)*b) + 24*d(5,0)*d(1,1) + 11*d(4,2)*d(2,1)*a 2 + 11*d(4,2)*d(2,1) + 11*d(4,2)*d(0,1)*b + 11*d(2,1)*d(0,1)*a 2 2 + 11*d(2,1)*d(0,1)*a + 11*d(0,1) *a*b)*d(1,1) ,5*( 2 7*d(5,2)*d(2,1)*d(1,1) + 17*d(5,1)*d(1,1) + 7*d(5,0)*d(1,1)*d(0,1) 2 + 2*d(4,2) *d(2,1) + 9*d(4,2)*d(4,1)*d(1,1) + 4*d(4,2)*d(2,1)*d(0,1)*a 2 + 4*d(4,2)*d(2,1)*d(0,1) + 4*d(4,2)*d(0,1) *b 2 + 9*d(4,1)*d(1,1)*d(0,1)*a - 2*d(3,2)*d(2,1) 2 2 - 4*d(3,2)*d(2,1)*d(0,1)*b - 2*d(3,2)*d(0,1) *b - 9*d(3,1)*d(2,1)*d(1,1) - 9*d(3,1)*d(1,1)*d(0,1)*b 2 2 2 2 + 4*d(2,1) *d(0,1)*a + 2*d(2,1) *d(0,1) + 6*d(2,1)*d(0,1) *a 2 2 3 2 + 4*d(2,1)*d(0,1) *a*b + 4*d(2,1)*d(0,1) *b + 4*d(0,1) *a *b 3 2 2 + 2*d(0,1) *b )*d(1,1),5*(24*d(5,2)*d(1,1) + 11*d(4,2) 2 + 11*d(4,2)*d(0,1)*a - 11*d(3,2)*d(2,1) - 11*d(3,2)*d(0,1)*b)*d(1,1) , 3 3 - 175*(d(2,1) + d(0,1)*b)*d(1,1) ,175*(d(4,2) + d(0,1)*a)*d(1,1) , 4 256*d(1,1) ,0), ( - ((19*(d(4,1) + d(3,1) - d(5,2))*(d(2,1)*a + d(2,1) + d(0,1)*b) - 8*d(6,0)*d(1,1))*d(1,1) - ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*( 28*d(5,0)*d(1,1) + 9*d(4,2)*d(2,1)*a + 9*d(4,2)*d(2,1) 2 + 9*d(4,2)*d(0,1)*b + 9*d(2,1)*d(0,1)*a + 9*d(2,1)*d(0,1)*a 2 + 9*d(0,1) *a*b) - 2 ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2))*( 9*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) - 19*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1)) + 25*( (d(4,1) + d(3,1) - d(5,2))*(d(2,1)*a + d(2,1) + d(0,1)*b) - 7*d(6,0)*d(1,1) - ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*d(5,0)) *d(1,1) + 5*(( 5*(d(4,1) + d(3,1) - d(5,2))*(d(2,1)*a + d(2,1) + d(0,1)*b) - 4*d(6,0)*d(1,1))*d(1,1) - ((2*a - 1)*d(0,1) + d(2,1) + d(4,2)) *((d(4,2) + d(0,1)*a)*(d(2,1)*a + d(2,1) + d(0,1)*b) + 6*d(5,0)*d(1,1)) - 2 ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2))*( ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) - 10*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1))))*d(1,1),( (d(6,1)*d(1,1) + 7*d(6,0)*d(0,1) + 7*d(6,2)*d(2,1))*d(1,1) - 3*(d(4,1) + d(3,1) - d(5,2))*(d(4,2)*d(2,1) + 4*d(4,1)*d(1,1)) + (d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0)) *(6*d(3,2)*d(2,1) + 13*d(3,1)*d(1,1)) - (3*d(4,2)*d(2,1) + d(4,1)*d(1,1) + 6*(d(2,1)*a + d(2,1) + d(0,1)*b)*d(0,1)) *(d(4,1) + d(3,1) - d(5,2)))*d(1,1) + 2 ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2))*( ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) - 6*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1))*d(0,1) + 25*( 6*d(6,1)*d(1,1) + d(6,0)*d(0,1) + d(6,2)*d(2,1) - (d(4,1) + d(3,1) - d(5,2))*d(4,1) 2 + (d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(3,1))*d(1,1) + ( (d(5,1)*d(1,1) + 3*d(5,0)*d(0,1) + 3*d(5,2)*d(2,1))*d(1,1) - (d(3,2)*d(2,1) + 4*d(3,1)*d(1,1))*(d(2,1) + d(0,1)*b) + ((d(2,1)*a + d(2,1) + d(0,1)*b)*d(0,1) + 4*d(4,1)*d(1,1)) *(d(4,2) + d(0,1)*a) + (d(4,2)*d(2,1) + 4*d(4,1)*d(1,1))*(d(4,2) + d(0,1)*a) + 4*( 5*d(5,1)*d(1,1) + d(5,0)*d(0,1) + d(5,2)*d(2,1) - (d(2,1) + d(0,1)*b)*d(3,1))*d(1,1)) *((2*a - 1)*d(0,1) + d(2,1) + d(4,2)) + 5*( (d(6,1)*d(1,1) + 3*d(6,0)*d(0,1) + 3*d(6,2)*d(2,1))*d(1,1) - ( d(4,2)*d(2,1) + 4*d(4,1)*d(1,1) + (d(2,1)*a + d(2,1) + d(0,1)*b)*d(0,1))*(d(4,1) + d(3,1) - d(5,2)) + (d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0)) *(d(3,2)*d(2,1) + 4*d(3,1)*d(1,1)) + ((2*a - 1)*d(0,1) + d(2,1) + d(4,2)) *((d(4,2) + d(0,1)*a)*d(4,1) + 5*d(5,1)*d(1,1)) + (5*d(5,1)*d(1,1) + d(5,0)*d(0,1) + d(5,2)*d(2,1) - (d(2,1) + d(0,1)*b)*d(3,1)) *((2*a - 1)*d(0,1) + d(2,1) + d(4,2)) - 2 ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) *(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(0,1))*d(1,1),( 2 203*d(6,2)*d(1,1) + 152*d(5,2)*d(4,2)*d(1,1) + 83*d(5,2)*d(2,1)*d(1,1) + 166*d(5,2)*d(1,1)*d(0,1)*a - 83*d(5,2)*d(1,1)*d(0,1) 3 2 - 69*d(5,0)*d(3,2)*d(1,1) + 14*d(4,2) + 14*d(4,2) *d(2,1) 2 2 + 42*d(4,2) *d(0,1)*a - 14*d(4,2) *d(0,1) - 69*d(4,2)*d(4,1)*d(1,1) - 14*d(4,2)*d(3,2)*d(2,1) - 14*d(4,2)*d(3,2)*d(0,1)*b - 69*d(4,2)*d(3,1)*d(1,1) + 14*d(4,2)*d(2,1)*d(0,1)*a 2 2 2 + 28*d(4,2)*d(0,1) *a - 14*d(4,2)*d(0,1) *a + 69*d(4,1)*d(3,2)*d(1,1)*a - 69*d(4,1)*d(3,2)*d(1,1) 2 + 69*d(3,2)*d(3,1)*d(1,1)*b - 14*d(3,2)*d(2,1) - 28*d(3,2)*d(2,1)*d(0,1)*a - 14*d(3,2)*d(2,1)*d(0,1)*b 2 2 + 14*d(3,2)*d(2,1)*d(0,1) - 28*d(3,2)*d(0,1) *a*b + 14*d(3,2)*d(0,1) *b )*d(1,1), - (97*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) - 272*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1)) 2 *d(1,1) ,( 97*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(4,2) + d(0,1)*a) 2 - 272*(d(4,1) + d(3,1) - d(5,2))*d(1,1))*d(1,1) , 3 4 369*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*d(1,1) ,625*d(1,1) )) MATD**5:= 5 4 mat((32*d(1,1) ,31*d(1,1) *d(0,1),0,0,0,0,0), 5 (0,d(1,1) ,0,0,0,0,0), 4 5 (0,31*d(2,1)*d(1,1) ,32*d(1,1) ,0,0,0,0), 2 ( - 211*((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) 4 *d(1,1) , - (90 2 *((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) 3 *d(0,1) - (90*d(3,2)*d(2,1) + 121*d(3,1)*d(1,1)))*d(1,1) , 4 5 211*d(3,2)*d(1,1) ,243*d(1,1) ,0,0,0), 4 (211*(d(2,1)*a + d(2,1) + d(0,1)*b)*d(1,1) ,(90*d(4,2)*d(2,1) + 121*d(4,1)*d(1,1) + 90*d(2,1)*d(0,1)*a + 90*d(2,1)*d(0,1) 2 3 4 5 + 90*d(0,1) *b)*d(1,1) ,211*d(4,2)*d(1,1) ,0,243*d(1,1) ,0,0), 2 ((285*((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) *(d(2,1) + d(0,1)*b) + 496*d(5,0)*d(1,1) + 285*d(4,2)*d(2,1)*a 2 + 285*d(4,2)*d(2,1) + 285*d(4,2)*d(0,1)*b + 285*d(2,1)*d(0,1)*a 2 3 + 285*d(2,1)*d(0,1)*a + 285*d(0,1) *a*b)*d(1,1) ,( 2 155*d(5,2)*d(2,1)*d(1,1) + 341*d(5,1)*d(1,1) + 155*d(5,0)*d(1,1)*d(0,1) 2 + 65*d(4,2) *d(2,1) + 220*d(4,2)*d(4,1)*d(1,1) + 130*d(4,2)*d(2,1)*d(0,1)*a + 130*d(4,2)*d(2,1)*d(0,1) 2 2 + 130*d(4,2)*d(0,1) *b + 220*d(4,1)*d(1,1)*d(0,1)*a - 65*d(3,2)*d(2,1) 2 2 - 130*d(3,2)*d(2,1)*d(0,1)*b - 65*d(3,2)*d(0,1) *b - 220*d(3,1)*d(2,1)*d(1,1) - 220*d(3,1)*d(1,1)*d(0,1)*b 2 2 2 2 + 130*d(2,1) *d(0,1)*a + 65*d(2,1) *d(0,1) + 195*d(2,1)*d(0,1) *a 2 2 3 2 + 130*d(2,1)*d(0,1) *a*b + 130*d(2,1)*d(0,1) *b + 130*d(0,1) *a *b 3 2 2 2 + 65*d(0,1) *b )*d(1,1) ,(496*d(5,2)*d(1,1) + 285*d(4,2) + 285*d(4,2)*d(0,1)*a - 285*d(3,2)*d(2,1) - 285*d(3,2)*d(0,1)*b) 3 4 4 *d(1,1) , - 781*(d(2,1) + d(0,1)*b)*d(1,1) ,781*(d(4,2) + d(0,1)*a)*d(1,1) 5 ,1024*d(1,1) ,0), ( - ((65*(d(4,1) + d(3,1) - d(5,2))*(d(2,1)*a + d(2,1) + d(0,1)*b) - 16*d(6,0)*d(1,1))*d(1,1) - 5*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*( 24*d(5,0)*d(1,1) + 11*d(4,2)*d(2,1)*a + 11*d(4,2)*d(2,1) 2 + 11*d(4,2)*d(0,1)*b + 11*d(2,1)*d(0,1)*a + 11*d(2,1)*d(0,1)*a 2 + 11*d(0,1) *a*b) - 5 2 *((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2))*( 11*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) - 13*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1)) + 25*(( 5*(d(4,1) + d(3,1) - d(5,2))*(d(2,1)*a + d(2,1) + d(0,1)*b) - 4*d(6,0)*d(1,1))*d(1,1) - ((2*a - 1)*d(0,1) + d(2,1) + d(4,2)) *((d(4,2) + d(0,1)*a)*(d(2,1)*a + d(2,1) + d(0,1)*b) + 6*d(5,0)*d(1,1)) - 2 ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2))*( ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) - 10*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1))) + 5*(( 19*(d(4,1) + d(3,1) - d(5,2))*(d(2,1)*a + d(2,1) + d(0,1)*b) - 8*d(6,0)*d(1,1))*d(1,1) - ((2*a - 1)*d(0,1) + d(2,1) + d(4,2)) *(28*d(5,0)*d(1,1) + 9*d(4,2)*d(2,1)*a + 9*d(4,2)*d(2,1) 2 + 9*d(4,2)*d(0,1)*b + 9*d(2,1)*d(0,1)*a + 9*d(2,1)*d(0,1)*a 2 + 9*d(0,1) *a*b) - 2 ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2))*( 9*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) - 19*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1)) + 25*( (d(4,1) + d(3,1) - d(5,2))*(d(2,1)*a + d(2,1) + d(0,1)*b) - 7*d(6,0)*d(1,1) - ((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*d(5,0)) 2 2 3 *d(1,1)))*d(1,1) ,(250*d(6,2)*d(2,1)*d(1,1) + 781*d(6,1)*d(1,1) 2 + 250*d(6,0)*d(1,1) *d(0,1) + 175*d(5,2)*d(4,2)*d(2,1)*d(1,1) 2 2 + 330*d(5,2)*d(4,1)*d(1,1) + 95*d(5,2)*d(2,1) *d(1,1) + 270*d(5,2)*d(2,1)*d(1,1)*d(0,1)*a - 15*d(5,2)*d(2,1)*d(1,1)*d(0,1) 2 2 + 80*d(5,2)*d(1,1)*d(0,1) *b + 440*d(5,1)*d(4,2)*d(1,1) 2 2 + 440*d(5,1)*d(2,1)*d(1,1) + 880*d(5,1)*d(1,1) *d(0,1)*a 2 - 440*d(5,1)*d(1,1) *d(0,1) + 175*d(5,0)*d(4,2)*d(1,1)*d(0,1) - 80*d(5,0)*d(3,2)*d(2,1)*d(1,1) - 80*d(5,0)*d(3,2)*d(1,1)*d(0,1)*b 2 - 330*d(5,0)*d(3,1)*d(1,1) + 160*d(5,0)*d(2,1)*d(1,1)*d(0,1)*a 2 2 + 175*d(5,0)*d(2,1)*d(1,1)*d(0,1) + 160*d(5,0)*d(1,1)*d(0,1) *a 2 2 + 110*d(5,0)*d(1,1)*d(0,1) *a + 80*d(5,0)*d(1,1)*d(0,1) *b 2 3 - 95*d(5,0)*d(1,1)*d(0,1) + 15*d(4,2) *d(2,1) 2 2 2 + 110*d(4,2) *d(4,1)*d(1,1) + 15*d(4,2) *d(2,1) 2 2 + 60*d(4,2) *d(2,1)*d(0,1)*a + 15*d(4,2) *d(2,1)*d(0,1) 2 2 + 30*d(4,2) *d(0,1) *b + 30*d(4,2)*d(4,1)*d(2,1)*d(1,1) + 250*d(4,2)*d(4,1)*d(1,1)*d(0,1)*a - 30*d(4,2)*d(4,1)*d(1,1)*d(0,1) 2 - 15*d(4,2)*d(3,2)*d(2,1) - 30*d(4,2)*d(3,2)*d(2,1)*d(0,1)*b 2 2 - 15*d(4,2)*d(3,2)*d(0,1) *b - 190*d(4,2)*d(3,1)*d(2,1)*d(1,1) 2 - 190*d(4,2)*d(3,1)*d(1,1)*d(0,1)*b + 60*d(4,2)*d(2,1) *d(0,1)*a 2 2 2 + 45*d(4,2)*d(2,1) *d(0,1) + 105*d(4,2)*d(2,1)*d(0,1) *a 2 2 + 30*d(4,2)*d(2,1)*d(0,1) *a*b + 30*d(4,2)*d(2,1)*d(0,1) *a 2 2 + 60*d(4,2)*d(2,1)*d(0,1) *b - 30*d(4,2)*d(2,1)*d(0,1) 3 2 3 3 2 + 30*d(4,2)*d(0,1) *a *b + 60*d(4,2)*d(0,1) *a*b + 15*d(4,2)*d(0,1) *b 3 2 2 - 30*d(4,2)*d(0,1) *b - 330*d(4,1) *d(1,1) + 80*d(4,1)*d(3,2)*d(2,1)*d(1,1)*a - 80*d(4,1)*d(3,2)*d(2,1)*d(1,1) + 80*d(4,1)*d(3,2)*d(1,1)*d(0,1)*a*b - 80*d(4,1)*d(3,2)*d(1,1)*d(0,1)*b 2 2 + 330*d(4,1)*d(3,1)*d(1,1) *a - 660*d(4,1)*d(3,1)*d(1,1) 2 - 160*d(4,1)*d(2,1)*d(1,1)*d(0,1)*a 2 3 + 110*d(4,1)*d(2,1)*d(1,1)*d(0,1)*a - 160*d(4,1)*d(1,1)*d(0,1) *a 2 2 2 + 460*d(4,1)*d(1,1)*d(0,1) *a - 80*d(4,1)*d(1,1)*d(0,1) *a*b 2 - 190*d(4,1)*d(1,1)*d(0,1) *a + 80*d(3,2)*d(3,1)*d(2,1)*d(1,1)*b 2 3 + 80*d(3,2)*d(3,1)*d(1,1)*d(0,1)*b - 15*d(3,2)*d(2,1) 2 2 - 30*d(3,2)*d(2,1) *d(0,1)*a - 30*d(3,2)*d(2,1) *d(0,1)*b 2 2 + 15*d(3,2)*d(2,1) *d(0,1) - 60*d(3,2)*d(2,1)*d(0,1) *a*b 2 2 2 - 15*d(3,2)*d(2,1)*d(0,1) *b + 30*d(3,2)*d(2,1)*d(0,1) *b 3 2 3 2 2 2 - 30*d(3,2)*d(0,1) *a*b + 15*d(3,2)*d(0,1) *b + 330*d(3,1) *d(1,1) *b 2 - 110*d(3,1)*d(2,1) *d(1,1) - 160*d(3,1)*d(2,1)*d(1,1)*d(0,1)*a*b - 300*d(3,1)*d(2,1)*d(1,1)*d(0,1)*a - 190*d(3,1)*d(2,1)*d(1,1)*d(0,1)*b 2 2 + 30*d(3,1)*d(2,1)*d(1,1)*d(0,1) - 160*d(3,1)*d(1,1)*d(0,1) *a *b 2 2 2 - 140*d(3,1)*d(1,1)*d(0,1) *a*b - 80*d(3,1)*d(1,1)*d(0,1) *b 2 3 3 + 30*d(3,1)*d(1,1)*d(0,1) *b + 30*d(2,1) *d(0,1)*a + 15*d(2,1) *d(0,1) 2 2 2 2 2 + 105*d(2,1) *d(0,1) *a + 30*d(2,1) *d(0,1) *a*b 2 2 2 2 3 3 + 30*d(2,1) *d(0,1) *b - 15*d(2,1) *d(0,1) + 90*d(2,1)*d(0,1) *a 3 2 3 2 3 + 90*d(2,1)*d(0,1) *a *b - 45*d(2,1)*d(0,1) *a + 30*d(2,1)*d(0,1) *a*b 3 2 3 4 3 + 15*d(2,1)*d(0,1) *b - 30*d(2,1)*d(0,1) *b + 60*d(0,1) *a *b 4 2 4 2 4 2 - 30*d(0,1) *a *b + 30*d(0,1) *a*b - 15*d(0,1) *b )*d(1,1),( 2 1031*d(6,2)*d(1,1) + 945*d(5,2)*d(4,2)*d(1,1) + 535*d(5,2)*d(2,1)*d(1,1) + 1070*d(5,2)*d(1,1)*d(0,1)*a 3 - 535*d(5,2)*d(1,1)*d(0,1) - 410*d(5,0)*d(3,2)*d(1,1) + 125*d(4,2) 2 2 2 + 125*d(4,2) *d(2,1) + 375*d(4,2) *d(0,1)*a - 125*d(4,2) *d(0,1) - 410*d(4,2)*d(4,1)*d(1,1) - 125*d(4,2)*d(3,2)*d(2,1) - 125*d(4,2)*d(3,2)*d(0,1)*b - 410*d(4,2)*d(3,1)*d(1,1) 2 2 + 125*d(4,2)*d(2,1)*d(0,1)*a + 250*d(4,2)*d(0,1) *a 2 - 125*d(4,2)*d(0,1) *a + 410*d(4,1)*d(3,2)*d(1,1)*a - 410*d(4,1)*d(3,2)*d(1,1) + 410*d(3,2)*d(3,1)*d(1,1)*b 2 - 125*d(3,2)*d(2,1) - 250*d(3,2)*d(2,1)*d(0,1)*a - 125*d(3,2)*d(2,1)*d(0,1)*b + 125*d(3,2)*d(2,1)*d(0,1) 2 2 2 - 250*d(3,2)*d(0,1) *a*b + 125*d(3,2)*d(0,1) *b)*d(1,1) , - 11*( 60*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) 3 - 131*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1))*d(1,1) ,11*( 60*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(4,2) + d(0,1)*a) 3 - 131*(d(4,1) + d(3,1) - d(5,2))*d(1,1))*d(1,1) , 4 5 2101*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*d(1,1) ,3125*d(1,1) )) MATD**6:= 6 5 mat((64*d(1,1) ,63*d(1,1) *d(0,1),0,0,0,0,0), 6 (0,d(1,1) ,0,0,0,0,0), 5 6 (0,63*d(2,1)*d(1,1) ,64*d(1,1) ,0,0,0,0), 2 ( - 665*((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) 5 *d(1,1) , - 7*(43 2 *((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) 4 *d(0,1) - (43*d(3,2)*d(2,1) + 52*d(3,1)*d(1,1)))*d(1,1) , 5 6 665*d(3,2)*d(1,1) ,729*d(1,1) ,0,0,0), 5 (665*(d(2,1)*a + d(2,1) + d(0,1)*b)*d(1,1) ,7*(43*d(4,2)*d(2,1) + 52*d(4,1)*d(1,1) + 43*d(2,1)*d(0,1)*a + 43*d(2,1)*d(0,1) 2 4 5 6 + 43*d(0,1) *b)*d(1,1) ,665*d(4,2)*d(1,1) ,0,729*d(1,1) ,0,0), 2 (7*(193*((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) *(d(2,1) + d(0,1)*b) + 288*d(5,0)*d(1,1) + 193*d(4,2)*d(2,1)*a 2 + 193*d(4,2)*d(2,1) + 193*d(4,2)*d(0,1)*b + 193*d(2,1)*d(0,1)*a 2 4 + 193*d(2,1)*d(0,1)*a + 193*d(0,1) *a*b)*d(1,1) ,7*( 2 93*d(5,2)*d(2,1)*d(1,1) + 195*d(5,1)*d(1,1) + 93*d(5,0)*d(1,1)*d(0,1) 2 + 50*d(4,2) *d(2,1) + 143*d(4,2)*d(4,1)*d(1,1) + 100*d(4,2)*d(2,1)*d(0,1)*a + 100*d(4,2)*d(2,1)*d(0,1) 2 2 + 100*d(4,2)*d(0,1) *b + 143*d(4,1)*d(1,1)*d(0,1)*a - 50*d(3,2)*d(2,1) 2 2 - 100*d(3,2)*d(2,1)*d(0,1)*b - 50*d(3,2)*d(0,1) *b - 143*d(3,1)*d(2,1)*d(1,1) - 143*d(3,1)*d(1,1)*d(0,1)*b 2 2 2 2 + 100*d(2,1) *d(0,1)*a + 50*d(2,1) *d(0,1) + 150*d(2,1)*d(0,1) *a 2 2 3 2 + 100*d(2,1)*d(0,1) *a*b + 100*d(2,1)*d(0,1) *b + 100*d(0,1) *a *b 3 2 3 2 + 50*d(0,1) *b )*d(1,1) ,7*(288*d(5,2)*d(1,1) + 193*d(4,2) + 193*d(4,2)*d(0,1)*a - 193*d(3,2)*d(2,1) - 193*d(3,2)*d(0,1)*b) 4 5 *d(1,1) , - 3367*(d(2,1) + d(0,1)*b)*d(1,1) , 5 6 3367*(d(4,2) + d(0,1)*a)*d(1,1) ,4096*d(1,1) ,0), 2 (7*(741*d(6,0)*d(1,1) + 323*d(5,2)*d(2,1)*d(1,1)*a + 323*d(5,2)*d(2,1)*d(1,1) + 323*d(5,2)*d(1,1)*d(0,1)*b + 776*d(5,0)*d(4,2)*d(1,1) - 323*d(5,0)*d(3,2)*d(1,1)*b + 646*d(5,0)*d(2,1)*d(1,1)*a + 776*d(5,0)*d(2,1)*d(1,1) 2 + 646*d(5,0)*d(1,1)*d(0,1)*a + 583*d(5,0)*d(1,1)*d(0,1)*a + 323*d(5,0)*d(1,1)*d(0,1)*b - 453*d(5,0)*d(1,1)*d(0,1) 2 2 2 + 130*d(4,2) *d(2,1)*a + 260*d(4,2) *d(2,1) + 260*d(4,2) *d(0,1)*b - 323*d(4,2)*d(4,1)*d(1,1)*a + 323*d(4,2)*d(4,1)*d(1,1) 2 - 130*d(4,2)*d(3,2)*d(2,1)*b - 130*d(4,2)*d(3,2)*d(0,1)*b 2 - 323*d(4,2)*d(3,1)*d(1,1)*b + 390*d(4,2)*d(2,1) *a 2 2 + 390*d(4,2)*d(2,1) + 650*d(4,2)*d(2,1)*d(0,1)*a + 260*d(4,2)*d(2,1)*d(0,1)*a*b + 390*d(4,2)*d(2,1)*d(0,1)*a + 520*d(4,2)*d(2,1)*d(0,1)*b - 260*d(4,2)*d(2,1)*d(0,1) 2 2 2 + 260*d(4,2)*d(0,1) *a *b + 520*d(4,2)*d(0,1) *a*b 2 2 2 + 130*d(4,2)*d(0,1) *b - 260*d(4,2)*d(0,1) *b + 323*d(4,1)*d(3,2)*d(1,1)*a*b - 323*d(4,1)*d(3,2)*d(1,1)*b 2 3 - 646*d(4,1)*d(2,1)*d(1,1)*a - 646*d(4,1)*d(1,1)*d(0,1)*a 2 + 969*d(4,1)*d(1,1)*d(0,1)*a - 323*d(4,1)*d(1,1)*d(0,1)*a*b 2 - 323*d(4,1)*d(1,1)*d(0,1)*a + 323*d(3,2)*d(3,1)*d(1,1)*b 2 - 130*d(3,2)*d(2,1) *b - 260*d(3,2)*d(2,1)*d(0,1)*a*b 2 - 130*d(3,2)*d(2,1)*d(0,1)*b + 130*d(3,2)*d(2,1)*d(0,1)*b 2 2 2 2 - 260*d(3,2)*d(0,1) *a*b + 130*d(3,2)*d(0,1) *b - 646*d(3,1)*d(2,1)*d(1,1)*a*b - 323*d(3,1)*d(2,1)*d(1,1)*a - 323*d(3,1)*d(2,1)*d(1,1)*b - 323*d(3,1)*d(2,1)*d(1,1) 2 - 646*d(3,1)*d(1,1)*d(0,1)*a *b + 323*d(3,1)*d(1,1)*d(0,1)*a*b 2 - 323*d(3,1)*d(1,1)*d(0,1)*b - 323*d(3,1)*d(1,1)*d(0,1)*b 3 3 2 2 + 260*d(2,1) *a + 130*d(2,1) + 910*d(2,1) *d(0,1)*a 2 2 2 + 260*d(2,1) *d(0,1)*a*b + 260*d(2,1) *d(0,1)*b - 130*d(2,1) *d(0,1) 2 3 2 2 + 780*d(2,1)*d(0,1) *a + 780*d(2,1)*d(0,1) *a *b 2 2 2 - 390*d(2,1)*d(0,1) *a + 260*d(2,1)*d(0,1) *a*b 2 2 2 3 3 + 130*d(2,1)*d(0,1) *b - 260*d(2,1)*d(0,1) *b + 520*d(0,1) *a *b 3 2 3 2 3 2 3 - 260*d(0,1) *a *b + 260*d(0,1) *a*b - 130*d(0,1) *b )*d(1,1) ,7*( 2 3 183*d(6,2)*d(2,1)*d(1,1) + 558*d(6,1)*d(1,1) 2 + 183*d(6,0)*d(1,1) *d(0,1) + 160*d(5,2)*d(4,2)*d(2,1)*d(1,1) 2 2 + 253*d(5,2)*d(4,1)*d(1,1) + 90*d(5,2)*d(2,1) *d(1,1) + 250*d(5,2)*d(2,1)*d(1,1)*d(0,1)*a - 20*d(5,2)*d(2,1)*d(1,1)*d(0,1) 2 2 + 70*d(5,2)*d(1,1)*d(0,1) *b + 363*d(5,1)*d(4,2)*d(1,1) 2 2 + 363*d(5,1)*d(2,1)*d(1,1) + 726*d(5,1)*d(1,1) *d(0,1)*a 2 - 363*d(5,1)*d(1,1) *d(0,1) + 160*d(5,0)*d(4,2)*d(1,1)*d(0,1) - 70*d(5,0)*d(3,2)*d(2,1)*d(1,1) - 70*d(5,0)*d(3,2)*d(1,1)*d(0,1)*b 2 - 253*d(5,0)*d(3,1)*d(1,1) + 140*d(5,0)*d(2,1)*d(1,1)*d(0,1)*a 2 2 + 160*d(5,0)*d(2,1)*d(1,1)*d(0,1) + 140*d(5,0)*d(1,1)*d(0,1) *a 2 2 + 110*d(5,0)*d(1,1)*d(0,1) *a + 70*d(5,0)*d(1,1)*d(0,1) *b 2 3 - 90*d(5,0)*d(1,1)*d(0,1) + 20*d(4,2) *d(2,1) 2 2 2 + 110*d(4,2) *d(4,1)*d(1,1) + 20*d(4,2) *d(2,1) 2 2 + 80*d(4,2) *d(2,1)*d(0,1)*a + 20*d(4,2) *d(2,1)*d(0,1) 2 2 + 40*d(4,2) *d(0,1) *b + 40*d(4,2)*d(4,1)*d(2,1)*d(1,1) + 260*d(4,2)*d(4,1)*d(1,1)*d(0,1)*a - 40*d(4,2)*d(4,1)*d(1,1)*d(0,1) 2 - 20*d(4,2)*d(3,2)*d(2,1) - 40*d(4,2)*d(3,2)*d(2,1)*d(0,1)*b 2 2 - 20*d(4,2)*d(3,2)*d(0,1) *b - 180*d(4,2)*d(3,1)*d(2,1)*d(1,1) 2 - 180*d(4,2)*d(3,1)*d(1,1)*d(0,1)*b + 80*d(4,2)*d(2,1) *d(0,1)*a 2 2 2 + 60*d(4,2)*d(2,1) *d(0,1) + 140*d(4,2)*d(2,1)*d(0,1) *a 2 2 + 40*d(4,2)*d(2,1)*d(0,1) *a*b + 40*d(4,2)*d(2,1)*d(0,1) *a 2 2 + 80*d(4,2)*d(2,1)*d(0,1) *b - 40*d(4,2)*d(2,1)*d(0,1) 3 2 3 3 2 + 40*d(4,2)*d(0,1) *a *b + 80*d(4,2)*d(0,1) *a*b + 20*d(4,2)*d(0,1) *b 3 2 2 - 40*d(4,2)*d(0,1) *b - 253*d(4,1) *d(1,1) + 70*d(4,1)*d(3,2)*d(2,1)*d(1,1)*a - 70*d(4,1)*d(3,2)*d(2,1)*d(1,1) + 70*d(4,1)*d(3,2)*d(1,1)*d(0,1)*a*b - 70*d(4,1)*d(3,2)*d(1,1)*d(0,1)*b 2 2 + 253*d(4,1)*d(3,1)*d(1,1) *a - 506*d(4,1)*d(3,1)*d(1,1) 2 - 140*d(4,1)*d(2,1)*d(1,1)*d(0,1)*a 2 3 + 110*d(4,1)*d(2,1)*d(1,1)*d(0,1)*a - 140*d(4,1)*d(1,1)*d(0,1) *a 2 2 2 + 430*d(4,1)*d(1,1)*d(0,1) *a - 70*d(4,1)*d(1,1)*d(0,1) *a*b 2 - 180*d(4,1)*d(1,1)*d(0,1) *a + 70*d(3,2)*d(3,1)*d(2,1)*d(1,1)*b 2 3 + 70*d(3,2)*d(3,1)*d(1,1)*d(0,1)*b - 20*d(3,2)*d(2,1) 2 2 - 40*d(3,2)*d(2,1) *d(0,1)*a - 40*d(3,2)*d(2,1) *d(0,1)*b 2 2 + 20*d(3,2)*d(2,1) *d(0,1) - 80*d(3,2)*d(2,1)*d(0,1) *a*b 2 2 2 - 20*d(3,2)*d(2,1)*d(0,1) *b + 40*d(3,2)*d(2,1)*d(0,1) *b 3 2 3 2 2 2 - 40*d(3,2)*d(0,1) *a*b + 20*d(3,2)*d(0,1) *b + 253*d(3,1) *d(1,1) *b 2 - 110*d(3,1)*d(2,1) *d(1,1) - 140*d(3,1)*d(2,1)*d(1,1)*d(0,1)*a*b - 290*d(3,1)*d(2,1)*d(1,1)*d(0,1)*a - 180*d(3,1)*d(2,1)*d(1,1)*d(0,1)*b 2 2 + 40*d(3,1)*d(2,1)*d(1,1)*d(0,1) - 140*d(3,1)*d(1,1)*d(0,1) *a *b 2 2 2 - 150*d(3,1)*d(1,1)*d(0,1) *a*b - 70*d(3,1)*d(1,1)*d(0,1) *b 2 3 3 + 40*d(3,1)*d(1,1)*d(0,1) *b + 40*d(2,1) *d(0,1)*a + 20*d(2,1) *d(0,1) 2 2 2 2 2 + 140*d(2,1) *d(0,1) *a + 40*d(2,1) *d(0,1) *a*b 2 2 2 2 3 3 + 40*d(2,1) *d(0,1) *b - 20*d(2,1) *d(0,1) + 120*d(2,1)*d(0,1) *a 3 2 3 2 + 120*d(2,1)*d(0,1) *a *b - 60*d(2,1)*d(0,1) *a 3 3 2 3 + 40*d(2,1)*d(0,1) *a*b + 20*d(2,1)*d(0,1) *b - 40*d(2,1)*d(0,1) *b 4 3 4 2 4 2 4 2 + 80*d(0,1) *a *b - 40*d(0,1) *a *b + 40*d(0,1) *a*b - 20*d(0,1) *b ) 2 2 *d(1,1) ,7*(741*d(6,2)*d(1,1) + 776*d(5,2)*d(4,2)*d(1,1) + 453*d(5,2)*d(2,1)*d(1,1) + 906*d(5,2)*d(1,1)*d(0,1)*a - 453*d(5,2)*d(1,1)*d(0,1) - 323*d(5,0)*d(3,2)*d(1,1) 3 2 2 + 130*d(4,2) + 130*d(4,2) *d(2,1) + 390*d(4,2) *d(0,1)*a 2 - 130*d(4,2) *d(0,1) - 323*d(4,2)*d(4,1)*d(1,1) - 130*d(4,2)*d(3,2)*d(2,1) - 130*d(4,2)*d(3,2)*d(0,1)*b - 323*d(4,2)*d(3,1)*d(1,1) + 130*d(4,2)*d(2,1)*d(0,1)*a 2 2 2 + 260*d(4,2)*d(0,1) *a - 130*d(4,2)*d(0,1) *a + 323*d(4,1)*d(3,2)*d(1,1)*a - 323*d(4,1)*d(3,2)*d(1,1) 2 + 323*d(3,2)*d(3,1)*d(1,1)*b - 130*d(3,2)*d(2,1) - 260*d(3,2)*d(2,1)*d(0,1)*a - 130*d(3,2)*d(2,1)*d(0,1)*b 2 + 130*d(3,2)*d(2,1)*d(0,1) - 260*d(3,2)*d(0,1) *a*b 2 3 + 130*d(3,2)*d(0,1) *b)*d(1,1) , - 7*( 583*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) 4 - 1064*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1))*d(1,1) ,7*( 583*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(4,2) + d(0,1)*a) 4 - 1064*(d(4,1) + d(3,1) - d(5,2))*d(1,1))*d(1,1) , 5 6 11529*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*d(1,1) ,15625*d(1,1) )) MATD**7:= 7 6 mat((128*d(1,1) ,127*d(1,1) *d(0,1),0,0,0,0,0), 7 (0,d(1,1) ,0,0,0,0,0), 6 7 (0,127*d(2,1)*d(1,1) ,128*d(1,1) ,0,0,0,0), 2 ( - 2059*((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) 6 *d(1,1) , - (966 2 *((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) 5 *d(0,1) - (966*d(3,2)*d(2,1) + 1093*d(3,1)*d(1,1)))*d(1,1) , 6 7 2059*d(3,2)*d(1,1) ,2187*d(1,1) ,0,0,0), 6 (2059*(d(2,1)*a + d(2,1) + d(0,1)*b)*d(1,1) ,(966*d(4,2)*d(2,1) + 1093*d(4,1)*d(1,1) + 966*d(2,1)*d(0,1)*a + 966*d(2,1)*d(0,1) 2 5 6 7 + 966*d(0,1) *b)*d(1,1) ,2059*d(4,2)*d(1,1) ,0,2187*d(1,1) ,0,0), 2 ((6069*((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)) *(d(2,1) + d(0,1)*b) + 8128*d(5,0)*d(1,1) + 6069*d(4,2)*d(2,1)*a 2 + 6069*d(4,2)*d(2,1) + 6069*d(4,2)*d(0,1)*b + 6069*d(2,1)*d(0,1)*a 2 5 + 6069*d(2,1)*d(0,1)*a + 6069*d(0,1) *a*b)*d(1,1) ,( 2 2667*d(5,2)*d(2,1)*d(1,1) + 5461*d(5,1)*d(1,1) 2 + 2667*d(5,0)*d(1,1)*d(0,1) + 1701*d(4,2) *d(2,1) + 4368*d(4,2)*d(4,1)*d(1,1) + 3402*d(4,2)*d(2,1)*d(0,1)*a 2 + 3402*d(4,2)*d(2,1)*d(0,1) + 3402*d(4,2)*d(0,1) *b 2 + 4368*d(4,1)*d(1,1)*d(0,1)*a - 1701*d(3,2)*d(2,1) 2 2 - 3402*d(3,2)*d(2,1)*d(0,1)*b - 1701*d(3,2)*d(0,1) *b - 4368*d(3,1)*d(2,1)*d(1,1) - 4368*d(3,1)*d(1,1)*d(0,1)*b 2 2 2 2 + 3402*d(2,1) *d(0,1)*a + 1701*d(2,1) *d(0,1) + 5103*d(2,1)*d(0,1) *a 2 2 3 2 + 3402*d(2,1)*d(0,1) *a*b + 3402*d(2,1)*d(0,1) *b + 3402*d(0,1) *a *b 3 2 4 2 + 1701*d(0,1) *b )*d(1,1) ,(8128*d(5,2)*d(1,1) + 6069*d(4,2) + 6069*d(4,2)*d(0,1)*a - 6069*d(3,2)*d(2,1) - 6069*d(3,2)*d(0,1)*b) 5 6 *d(1,1) , - 14197*(d(2,1) + d(0,1)*b)*d(1,1) , 6 7 14197*(d(4,2) + d(0,1)*a)*d(1,1) ,16384*d(1,1) ,0), 2 ((25999*d(6,0)*d(1,1) + 11970*d(5,2)*d(2,1)*d(1,1)*a + 11970*d(5,2)*d(2,1)*d(1,1) + 11970*d(5,2)*d(1,1)*d(0,1)*b + 29841*d(5,0)*d(4,2)*d(1,1) - 11970*d(5,0)*d(3,2)*d(1,1)*b + 23940*d(5,0)*d(2,1)*d(1,1)*a + 29841*d(5,0)*d(2,1)*d(1,1) 2 + 23940*d(5,0)*d(1,1)*d(0,1)*a + 23772*d(5,0)*d(1,1)*d(0,1)*a + 11970*d(5,0)*d(1,1)*d(0,1)*b - 17871*d(5,0)*d(1,1)*d(0,1) 2 2 2 + 5901*d(4,2) *d(2,1)*a + 11802*d(4,2) *d(2,1) + 11802*d(4,2) *d(0,1)*b - 11970*d(4,2)*d(4,1)*d(1,1)*a + 11970*d(4,2)*d(4,1)*d(1,1) 2 - 5901*d(4,2)*d(3,2)*d(2,1)*b - 5901*d(4,2)*d(3,2)*d(0,1)*b 2 - 11970*d(4,2)*d(3,1)*d(1,1)*b + 17703*d(4,2)*d(2,1) *a 2 2 + 17703*d(4,2)*d(2,1) + 29505*d(4,2)*d(2,1)*d(0,1)*a + 11802*d(4,2)*d(2,1)*d(0,1)*a*b + 17703*d(4,2)*d(2,1)*d(0,1)*a + 23604*d(4,2)*d(2,1)*d(0,1)*b - 11802*d(4,2)*d(2,1)*d(0,1) 2 2 2 + 11802*d(4,2)*d(0,1) *a *b + 23604*d(4,2)*d(0,1) *a*b 2 2 2 + 5901*d(4,2)*d(0,1) *b - 11802*d(4,2)*d(0,1) *b + 11970*d(4,1)*d(3,2)*d(1,1)*a*b - 11970*d(4,1)*d(3,2)*d(1,1)*b 2 3 - 23940*d(4,1)*d(2,1)*d(1,1)*a - 23940*d(4,1)*d(1,1)*d(0,1)*a 2 + 35910*d(4,1)*d(1,1)*d(0,1)*a - 11970*d(4,1)*d(1,1)*d(0,1)*a*b 2 - 11970*d(4,1)*d(1,1)*d(0,1)*a + 11970*d(3,2)*d(3,1)*d(1,1)*b 2 - 5901*d(3,2)*d(2,1) *b - 11802*d(3,2)*d(2,1)*d(0,1)*a*b 2 - 5901*d(3,2)*d(2,1)*d(0,1)*b + 5901*d(3,2)*d(2,1)*d(0,1)*b 2 2 2 2 - 11802*d(3,2)*d(0,1) *a*b + 5901*d(3,2)*d(0,1) *b - 23940*d(3,1)*d(2,1)*d(1,1)*a*b - 11970*d(3,1)*d(2,1)*d(1,1)*a - 11970*d(3,1)*d(2,1)*d(1,1)*b - 11970*d(3,1)*d(2,1)*d(1,1) 2 - 23940*d(3,1)*d(1,1)*d(0,1)*a *b + 11970*d(3,1)*d(1,1)*d(0,1)*a*b 2 - 11970*d(3,1)*d(1,1)*d(0,1)*b - 11970*d(3,1)*d(1,1)*d(0,1)*b 3 3 2 2 + 11802*d(2,1) *a + 5901*d(2,1) + 41307*d(2,1) *d(0,1)*a 2 2 2 + 11802*d(2,1) *d(0,1)*a*b + 11802*d(2,1) *d(0,1)*b - 5901*d(2,1) *d(0,1) 2 3 2 2 + 35406*d(2,1)*d(0,1) *a + 35406*d(2,1)*d(0,1) *a *b 2 2 2 - 17703*d(2,1)*d(0,1) *a + 11802*d(2,1)*d(0,1) *a*b 2 2 2 3 3 + 5901*d(2,1)*d(0,1) *b - 11802*d(2,1)*d(0,1) *b + 23604*d(0,1) *a *b 3 2 3 2 3 2 4 - 11802*d(0,1) *a *b + 11802*d(0,1) *a*b - 5901*d(0,1) *b )*d(1,1) ,( 2 3 6468*d(6,2)*d(2,1)*d(1,1) + 19531*d(6,1)*d(1,1) 2 + 6468*d(6,0)*d(1,1) *d(0,1) + 6552*d(5,2)*d(4,2)*d(2,1)*d(1,1) 2 2 + 9219*d(5,2)*d(4,1)*d(1,1) + 3801*d(5,2)*d(2,1) *d(1,1) + 10353*d(5,2)*d(2,1)*d(1,1)*d(0,1)*a 2 - 1050*d(5,2)*d(2,1)*d(1,1)*d(0,1) + 2751*d(5,2)*d(1,1)*d(0,1) *b 2 2 + 14070*d(5,1)*d(4,2)*d(1,1) + 14070*d(5,1)*d(2,1)*d(1,1) 2 2 + 28140*d(5,1)*d(1,1) *d(0,1)*a - 14070*d(5,1)*d(1,1) *d(0,1) + 6552*d(5,0)*d(4,2)*d(1,1)*d(0,1) - 2751*d(5,0)*d(3,2)*d(2,1)*d(1,1) 2 - 2751*d(5,0)*d(3,2)*d(1,1)*d(0,1)*b - 9219*d(5,0)*d(3,1)*d(1,1) + 5502*d(5,0)*d(2,1)*d(1,1)*d(0,1)*a + 6552*d(5,0)*d(2,1)*d(1,1)*d(0,1) 2 2 2 + 5502*d(5,0)*d(1,1)*d(0,1) *a + 4851*d(5,0)*d(1,1)*d(0,1) *a 2 2 + 2751*d(5,0)*d(1,1)*d(0,1) *b - 3801*d(5,0)*d(1,1)*d(0,1) 3 2 + 1050*d(4,2) *d(2,1) + 4851*d(4,2) *d(4,1)*d(1,1) 2 2 2 + 1050*d(4,2) *d(2,1) + 4200*d(4,2) *d(2,1)*d(0,1)*a 2 2 2 + 1050*d(4,2) *d(2,1)*d(0,1) + 2100*d(4,2) *d(0,1) *b + 2100*d(4,2)*d(4,1)*d(2,1)*d(1,1) + 11802*d(4,2)*d(4,1)*d(1,1)*d(0,1)*a 2 - 2100*d(4,2)*d(4,1)*d(1,1)*d(0,1) - 1050*d(4,2)*d(3,2)*d(2,1) 2 2 - 2100*d(4,2)*d(3,2)*d(2,1)*d(0,1)*b - 1050*d(4,2)*d(3,2)*d(0,1) *b - 7602*d(4,2)*d(3,1)*d(2,1)*d(1,1) - 7602*d(4,2)*d(3,1)*d(1,1)*d(0,1)*b 2 2 + 4200*d(4,2)*d(2,1) *d(0,1)*a + 3150*d(4,2)*d(2,1) *d(0,1) 2 2 2 + 7350*d(4,2)*d(2,1)*d(0,1) *a + 2100*d(4,2)*d(2,1)*d(0,1) *a*b 2 2 + 2100*d(4,2)*d(2,1)*d(0,1) *a + 4200*d(4,2)*d(2,1)*d(0,1) *b 2 3 2 - 2100*d(4,2)*d(2,1)*d(0,1) + 2100*d(4,2)*d(0,1) *a *b 3 3 2 + 4200*d(4,2)*d(0,1) *a*b + 1050*d(4,2)*d(0,1) *b 3 2 2 - 2100*d(4,2)*d(0,1) *b - 9219*d(4,1) *d(1,1) + 2751*d(4,1)*d(3,2)*d(2,1)*d(1,1)*a - 2751*d(4,1)*d(3,2)*d(2,1)*d(1,1) + 2751*d(4,1)*d(3,2)*d(1,1)*d(0,1)*a*b 2 - 2751*d(4,1)*d(3,2)*d(1,1)*d(0,1)*b + 9219*d(4,1)*d(3,1)*d(1,1) *a 2 2 - 18438*d(4,1)*d(3,1)*d(1,1) - 5502*d(4,1)*d(2,1)*d(1,1)*d(0,1)*a 2 3 + 4851*d(4,1)*d(2,1)*d(1,1)*d(0,1)*a - 5502*d(4,1)*d(1,1)*d(0,1) *a 2 2 2 + 17955*d(4,1)*d(1,1)*d(0,1) *a - 2751*d(4,1)*d(1,1)*d(0,1) *a*b 2 - 7602*d(4,1)*d(1,1)*d(0,1) *a + 2751*d(3,2)*d(3,1)*d(2,1)*d(1,1)*b 2 3 + 2751*d(3,2)*d(3,1)*d(1,1)*d(0,1)*b - 1050*d(3,2)*d(2,1) 2 2 - 2100*d(3,2)*d(2,1) *d(0,1)*a - 2100*d(3,2)*d(2,1) *d(0,1)*b 2 2 + 1050*d(3,2)*d(2,1) *d(0,1) - 4200*d(3,2)*d(2,1)*d(0,1) *a*b 2 2 2 - 1050*d(3,2)*d(2,1)*d(0,1) *b + 2100*d(3,2)*d(2,1)*d(0,1) *b 3 2 3 2 - 2100*d(3,2)*d(0,1) *a*b + 1050*d(3,2)*d(0,1) *b 2 2 2 + 9219*d(3,1) *d(1,1) *b - 4851*d(3,1)*d(2,1) *d(1,1) - 5502*d(3,1)*d(2,1)*d(1,1)*d(0,1)*a*b - 12453*d(3,1)*d(2,1)*d(1,1)*d(0,1)*a - 7602*d(3,1)*d(2,1)*d(1,1)*d(0,1)*b + 2100*d(3,1)*d(2,1)*d(1,1)*d(0,1) 2 2 2 - 5502*d(3,1)*d(1,1)*d(0,1) *a *b - 6951*d(3,1)*d(1,1)*d(0,1) *a*b 2 2 2 - 2751*d(3,1)*d(1,1)*d(0,1) *b + 2100*d(3,1)*d(1,1)*d(0,1) *b 3 3 2 2 2 + 2100*d(2,1) *d(0,1)*a + 1050*d(2,1) *d(0,1) + 7350*d(2,1) *d(0,1) *a 2 2 2 2 + 2100*d(2,1) *d(0,1) *a*b + 2100*d(2,1) *d(0,1) *b 2 2 3 3 - 1050*d(2,1) *d(0,1) + 6300*d(2,1)*d(0,1) *a 3 2 3 2 + 6300*d(2,1)*d(0,1) *a *b - 3150*d(2,1)*d(0,1) *a 3 3 2 + 2100*d(2,1)*d(0,1) *a*b + 1050*d(2,1)*d(0,1) *b 3 4 3 4 2 - 2100*d(2,1)*d(0,1) *b + 4200*d(0,1) *a *b - 2100*d(0,1) *a *b 4 2 4 2 3 2 + 2100*d(0,1) *a*b - 1050*d(0,1) *b )*d(1,1) ,(25999*d(6,2)*d(1,1) + 29841*d(5,2)*d(4,2)*d(1,1) + 17871*d(5,2)*d(2,1)*d(1,1) + 35742*d(5,2)*d(1,1)*d(0,1)*a - 17871*d(5,2)*d(1,1)*d(0,1) 3 2 - 11970*d(5,0)*d(3,2)*d(1,1) + 5901*d(4,2) + 5901*d(4,2) *d(2,1) 2 2 + 17703*d(4,2) *d(0,1)*a - 5901*d(4,2) *d(0,1) - 11970*d(4,2)*d(4,1)*d(1,1) - 5901*d(4,2)*d(3,2)*d(2,1) - 5901*d(4,2)*d(3,2)*d(0,1)*b - 11970*d(4,2)*d(3,1)*d(1,1) 2 2 + 5901*d(4,2)*d(2,1)*d(0,1)*a + 11802*d(4,2)*d(0,1) *a 2 - 5901*d(4,2)*d(0,1) *a + 11970*d(4,1)*d(3,2)*d(1,1)*a - 11970*d(4,1)*d(3,2)*d(1,1) + 11970*d(3,2)*d(3,1)*d(1,1)*b 2 - 5901*d(3,2)*d(2,1) - 11802*d(3,2)*d(2,1)*d(0,1)*a - 5901*d(3,2)*d(2,1)*d(0,1)*b + 5901*d(3,2)*d(2,1)*d(0,1) 2 2 4 - 11802*d(3,2)*d(0,1) *a*b + 5901*d(3,2)*d(0,1) *b)*d(1,1) , - ( 23772*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(2,1) + d(0,1)*b) 5 - 37969*(d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0))*d(1,1))*d(1,1) ,( 23772*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*(d(4,2) + d(0,1)*a) 5 - 37969*(d(4,1) + d(3,1) - d(5,2))*d(1,1))*d(1,1) , 6 7 61741*((2*a - 1)*d(0,1) + d(2,1) + d(4,2))*d(1,1) ,78125*d(1,1) )) matd**j est nul pour j geq 5 rank 1 with maximal torus t1 1 matrice de passage de la base X(0)=delta, X(1),..., X(6) a une base diagonali\ sant le tore maximal: on peut prendre P:= [1 0 0 0 0 0 0] [ ] [0 1 0 0 0 0 0] [ ] [0 0 1 0 0 0 0] [ ] [0 0 0 1 0 0 0] [ ] [0 0 0 0 1 0 0] [ ] [0 0 0 0 0 1 0] [ ] [0 0 0 0 0 0 1] P**(-1)*t1*P:= [2 0 0 0 0 0 0] [ ] [0 1 0 0 0 0 0] [ ] [0 0 2 0 0 0 0] [ ] [0 0 0 3 0 0 0] [ ] [0 0 0 0 3 0 0] [ ] [0 0 0 0 0 4 0] [ ] [0 0 0 0 0 0 5] matrice des derivations dans cette base diagonalisante Y(1),...,Y(7): P**(-1)*MATD*P:= mat((2*d(1,1),d(0,1),0,0,0,0,0),(0,d(1,1),0,0,0,0,0),(0,d(2,1),2*d(1,1),0,0,0,0) ,( - ((2*a**2 - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)),d(3,1),d(3 ,2),3*d(1,1),0,0,0),(d(2,1)*a + d(2,1) + d(0,1)*b,d(4,1),d(4,2),0,3*d(1,1),0,0), (d(5,0),d(5,1),d(5,2), - (d(2,1) + d(0,1)*b),d(4,2) + d(0,1)*a,4*d(1,1),0),(d(6, 0),d(6,1),d(6,2),d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0), - (d(4,1) + d(3,1) - d(5 ,2)),(2*a - 1)*d(0,1) + d(2,1) + d(4,2),5*d(1,1)))$ PP:= [1 0 0 0 0 0 0] [ ] [0 1 0 0 0 0 0] [ ] [0 0 1 0 0 0 0] [ ] [0 0 0 1 0 0 0] [ ] [0 0 0 0 1 0 0] [ ] [0 0 0 0 0 1 0] [ ] [0 0 0 0 0 0 1] avec PP:=P*Q:= [1 0 0 0 0 0 0] [ ] [0 1 0 0 0 0 0] [ ] [0 0 1 0 0 0 0] [ ] [0 0 0 1 0 0 0] [ ] [0 0 0 0 1 0 0] [ ] [0 0 0 0 0 1 0] [ ] [0 0 0 0 0 0 1] MATDDIAGONALISE:= mat((2*d(1,1),d(0,1),0,0,0,0,0), (0,d(1,1),0,0,0,0,0), (0,d(2,1),2*d(1,1),0,0,0,0), 2 ( - ((2*a - a + b)*d(0,1) + (2*a + 1)*d(2,1) - d(3,2)*b + d(4,2)),d(3,1), d(3,2),3*d(1,1),0,0,0), (d(2,1)*a + d(2,1) + d(0,1)*b,d(4,1),d(4,2),0,3*d(1,1),0,0), (d(5,0),d(5,1),d(5,2), - (d(2,1) + d(0,1)*b),d(4,2) + d(0,1)*a,4*d(1,1),0), (d(6,0),d(6,1),d(6,2),d(4,1)*a - d(4,1) + d(3,1)*b - d(5,0), - (d(4,1) + d(3,1) - d(5,2)),(2*a - 1)*d(0,1) + d(2,1) + d(4,2),5*d(1,1))) on voit apparaitre les poids sur la diagonale r(1) := 2*d(1,1) r(2) := d(1,1) r(3) := 2*d(1,1) r(4) := 3*d(1,1) r(5) := 3*d(1,1) r(6) := 4*d(1,1) r(7) := 5*d(1,1) r(1) := 2*gamma1 r(2) := gamma1 r(3) := 2*gamma1 r(4) := 3*gamma1 r(5) := 3*gamma1 r(6) := 4*gamma1 r(7) := 5*gamma1 Le systeme de poids est le systeme 1.3 calcul de relations de commutation de la base diaY(j) diagonalisant le tore listcommutateursdesx := {{{0,1},x(3)}, {{0,2},a*x(5)}, {{0,3},b*x(6)}, {{0,4},x(6)*a - x(6)}, {{0,5},0}, {{0,6},0}, {{1,2},x(4)}, {{1,3},0}, {{1,4},x(5)}, {{1,5},x(6)}, {{1,6},0}, {{2,3},x(6)}, {{2,4},x(6)}, {{2,5},0}, {{2,6},0}, {{3,4},0}, {{3,5},0}, {{3,6},0}, {{4,5},0}, {{4,6},0}, {{5,6},0}} diaY(1):=x(0) diaY(2):=x(1) diaY(3):=x(2) diaY(4):=x(3) diaY(5):=x(4) diaY(6):=x(5) diaY(7):=x(6) liste des commutateurs des diaY(i) :$ listcommutateurdesdiaY:={{{1,2},diay(4)}, {{1,3},diay(6)*a}, {{1,4},diay(7)*b}, {{1,5},diay(7)*(a - 1)}, {{1,6},0}, {{1,7},0}, {{2,3},diay(5)}, {{2,4},0}, {{2,5},diay(6)}, {{2,6},diay(7)}, {{2,7},0}, {{3,4},diay(7)}, {{3,5},diay(7)}, {{3,6},0}, {{3,7},0}, {{4,5},0}, {{4,6},0}, {{4,7},0}, {{5,6},0}, {{5,7},0}, {{6,7},0}}$ Now we make explicit the isomorphism with an algebra of the book:$ Namely g_{7,1.3}$ (iL) with L given below$ pour a neq{0}$ pour b neq{0}$ i.e. we go from the basis diaY(i) to the new basis ZZ(i) defined by the matrix:$ on pose :$ avec comme matrice de changement de base :$ This isom computed by calculisom6_12V.red$ mat((0,( - a + 1)/a**2,( - 1)/a,0,0,0,0),(1,0,0,0,0,0,0),(0,( - b)/a**2,0,0,0,0, 0),(0,0,0,(a - 1)/a**2,1/a,0,0),(0,0,0,( - b)/a**2,0,0,0),(0,0,0,0,0,( - b)/a**2 ,0),(0,0,0,0,0,0,( - b)/a**2))$ det(isom):= b**4/a**10$ ZZ(1):=diay(2)$ ZZ(2):=( - ((a - 1)*diay(1) + diay(3)*b))/a**2$ ZZ(3):=( - diay(1))/a$ ZZ(4):=((a - 1)*diay(4) - diay(5)*b)/a**2$ ZZ(5):=diay(4)/a$ ZZ(6):=( - diay(6)*b)/a**2$ ZZ(7):=( - diay(7)*b)/a**2$ listcommutateursdesZZ:=$ {{1,2},zz(4)}$ {{1,3},zz(5)}$ {{1,4},zz(6)}$ {{1,5},0}$ {{1,6},zz(7)}$ {{1,7},0}$ {{2,3},zz(6)}$ {{2,4},( - zz(7)*(b + 1) + zz(7)*a)/a**2}$ {{2,5},zz(7)}$ {{2,6},0}$ {{2,7},0}$ {{3,4},0}$ {{3,5},zz(7)}$ {{3,6},0}$ {{3,7},0}$ {{4,5},0}$ {{4,6},0}$ {{4,7},0}$ {{5,6},0}$ {{5,7},0}$ {{6,7},0}$ On obtient donc les relations de commutations de $ g_{7,1.3}$ (iL) with L:=( - (b + 1 - a))/a**2$ Et cela pour a:=a.$ Et cela pour b:=b.$ Et cela pour a different de {0}.$ Et cela pour b different de {0}.$ shortformdelta:={0, ss, 1, 0, ss, a, ss, b}$ delta:= mat((0,0,0,0,0,0),(0,0,0,0,0,0),(1,0,0,0,0,0),(0,0,0,0,0,0),(0,a,0,0,0,0),(0,0,b ,a - 1,0,0))$