The generic automorphism phi of C x g_{5,6} as computed by calculautom6_cx56.r\ ed : phi:= mat((b(1,1),0,0,0,0,0), 2 (b(2,1),b(1,1) ,0,0,0,0), 3 (b(3,1),b(3,2),b(1,1) ,0,0,0), 4 (b(4,1),b(4,2),b(3,2)*b(1,1),b(1,1) ,0,0), 2 (b(5,1),b(5,2), - b(3,1)*b(1,1) + b(3,2)*b(2,1) + b(4,2)*b(1,1), 2 5 b(1,1) *(b(2,1)*b(1,1) + b(3,2)),b(1,1) ,b(5,6)), (b(6,1),b(6,2),0,0,0,b(6,6))) 15 det(phi):=b(6,6)*b(1,1) generic derivation : delta:= mat((xi(1,1),0,0,0,0,0), (xi(2,1),2*xi(1,1),0,0,0,0), (xi(3,1),xi(3,2),3*xi(1,1),0,0,0), (xi(4,1),xi(4,2),xi(3,2),4*xi(1,1),0,0), (xi(5,1),xi(5,2), - xi(3,1) + xi(4,2),xi(2,1) + xi(3,2),5*xi(1,1),xi(5,6)), (xi(6,1),xi(6,2),0,0,0,xi(6,6))) [0 0 0 0 0 0] [ ] [0 0 0 0 0 0] [ ] [0 1 0 0 0 0] adx1 := [ ] [0 0 1 0 0 0] [ ] [0 0 0 1 0 0] [ ] [0 0 0 0 0 0] [0 0 0 0 0 0] [ ] [0 0 0 0 0 0] [ ] [-1 0 0 0 0 0] adx2 := [ ] [0 0 0 0 0 0] [ ] [0 0 1 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 0] adx3 := [ ] [-1 0 0 0 0 0] [ ] [0 -1 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 0 0] adx4 := [ ] [0 0 0 0 0 0] [ ] [-1 0 0 0 0 0] [ ] [0 0 0 0 0 0] The generic nilpotent derivation : the eigenvalues are 0 xi(1,1):=0 xi(6,6):=0 by subtracting adjoints one then may suppose: xi(3,1):=0,xi(3,2):=0,xi(4,1):=0,xi(5,1):=0 delta:= [ 0 0 0 0 0 0 ] [ ] [xi(2,1) 0 0 0 0 0 ] [ ] [ 0 0 0 0 0 0 ] [ ] [ 0 xi(4,2) 0 0 0 0 ] [ ] [ 0 xi(5,2) xi(4,2) xi(2,1) 0 xi(5,6)] [ ] [xi(6,1) xi(6,2) 0 0 0 0 ] We denote this delta by the shortform shortformdelta:={xi(2,1), ss, xi(4,2), ss, xi(5,2), xi(5,6), ss, xi(6,1), xi(6,2)} paramindexeslist:={{2,1},{4,2},{5,2},{5,6},{6,1},{6,2}} With the first kind automorphism one gets$ shortformdeltaprimemodadg:={b(1,1)*xi(2,1), ss, b(1,1)**2*xi(4,2), ss, ( - b(6,2)*b(1,1)**6*xi(5,6) + b(6,6)*b(1,1)**6*xi(5,2) + 2*b(6,6)*b(2,1)*b(1,1) **4*xi(4,2) + b(6,6)*b(3,2)**2*xi(2,1) - 2*b(6,6)*b(4,2)*b(1,1)**2*xi(2,1) + b(6 ,6)*b(5,6)*b(1,1)*xi(6,2))/(b(6,6)*b(1,1)**3), (b(1,1)**5*xi(5,6))/b(6,6), ss, (b(6,2)*b(1,1)**2*xi(2,1) + b(6,6)*b(1,1)**2*xi(6,1) - b(6,6)*b(2,1)*xi(6,2))/b( 1,1)**3, (b(6,6)*xi(6,2))/b(1,1)**2}$ deltaprimemodg(2,1):=b(1,1)*xi(2,1)$ deltaprimemodg(4,2):=b(1,1)**2*xi(4,2)$ deltaprimemodg(5,2):=( - b(6,2)*b(1,1)**6*xi(5,6) + b(6,6)*b(1,1)**6*xi(5,2) + 2 *b(6,6)*b(2,1)*b(1,1)**4*xi(4,2) + b(6,6)*b(3,2)**2*xi(2,1) - 2*b(6,6)*b(4,2)*b( 1,1)**2*xi(2,1) + b(6,6)*b(5,6)*b(1,1)*xi(6,2))/(b(6,6)*b(1,1)**3)$ deltaprimemodg(5,6):=(b(1,1)**5*xi(5,6))/b(6,6)$ deltaprimemodg(6,1):=(b(6,2)*b(1,1)**2*xi(2,1) + b(6,6)*b(1,1)**2*xi(6,1) - b(6, 6)*b(2,1)*xi(6,2))/b(1,1)**3$ deltaprimemodg(6,2):=(b(6,6)*xi(6,2))/b(1,1)**2$ det(AUTOM):=b(6,6)*b(1,1)**15$ DELTAPRIMEMODADG:= mat((0,0,0,0,0,0), (b(1,1)*xi(2,1),0,0,0,0,0), (0,0,0,0,0,0), 2 (0,b(1,1) *xi(4,2),0,0,0,0), 6 6 (0,( - b(6,2)*b(1,1) *xi(5,6) + b(6,6)*b(1,1) *xi(5,2) 4 2 + 2*b(6,6)*b(2,1)*b(1,1) *xi(4,2) + b(6,6)*b(3,2) *xi(2,1) 2 - 2*b(6,6)*b(4,2)*b(1,1) *xi(2,1) + b(6,6)*b(5,6)*b(1,1)*xi(6,2))/( 5 3 2 b(1,1) *xi(5,6) b(6,6)*b(1,1) ),b(1,1) *xi(4,2),b(1,1)*xi(2,1),0,-----------------), b(6,6) 2 2 b(6,2)*b(1,1) *xi(2,1) + b(6,6)*b(1,1) *xi(6,1) - b(6,6)*b(2,1)*xi(6,2) (-------------------------------------------------------------------------, 3 b(1,1) b(6,6)*xi(6,2) ----------------,0,0,0,0)) 2 b(1,1) ****************** CASE 2 : xi(2,1) = 0 *************************$ xi(2,1):=0$ With the first kind automorphism one gets$ shortformdeltaprimemodadg:={0, ss, b(1,1)**2*xi(4,2), ss, ( - b(6,2)*b(1,1)**5*xi(5,6) + b(6,6)*b(1,1)**5*xi(5,2) + 2*b(6,6)*b(2,1)*b(1,1) **3*xi(4,2) + b(6,6)*b(5,6)*xi(6,2))/(b(6,6)*b(1,1)**2), (b(1,1)**5*xi(5,6))/b(6,6), ss, (b(6,6)*(b(1,1)**2*xi(6,1) - b(2,1)*xi(6,2)))/b(1,1)**3, (b(6,6)*xi(6,2))/b(1,1)**2}$ deltaprimemodg(2,1):=0$ deltaprimemodg(4,2):=b(1,1)**2*xi(4,2)$ deltaprimemodg(5,2):=( - b(6,2)*b(1,1)**5*xi(5,6) + b(6,6)*b(1,1)**5*xi(5,2) + 2 *b(6,6)*b(2,1)*b(1,1)**3*xi(4,2) + b(6,6)*b(5,6)*xi(6,2))/(b(6,6)*b(1,1)**2)$ deltaprimemodg(5,6):=(b(1,1)**5*xi(5,6))/b(6,6)$ deltaprimemodg(6,1):=(b(6,6)*(b(1,1)**2*xi(6,1) - b(2,1)*xi(6,2)))/b(1,1)**3$ deltaprimemodg(6,2):=(b(6,6)*xi(6,2))/b(1,1)**2$ det(AUTOM):=b(6,6)*b(1,1)**15$ DELTAPRIMEMODADG:= mat((0,0,0,0,0,0), (0,0,0,0,0,0), (0,0,0,0,0,0), 2 (0,b(1,1) *xi(4,2),0,0,0,0), 5 5 (0,( - b(6,2)*b(1,1) *xi(5,6) + b(6,6)*b(1,1) *xi(5,2) 3 + 2*b(6,6)*b(2,1)*b(1,1) *xi(4,2) + b(6,6)*b(5,6)*xi(6,2))/(b(6,6) 5 2 2 b(1,1) *xi(5,6) *b(1,1) ),b(1,1) *xi(4,2),0,0,-----------------), b(6,6) 2 b(6,6)*(b(1,1) *xi(6,1) - b(2,1)*xi(6,2)) b(6,6)*xi(6,2) (-------------------------------------------,----------------,0,0,0,0)) 3 2 b(1,1) b(1,1) ****************** SUBCASE 2.1 : xi(6,2) NEQ 0 *************************$ Then one can suppose xi(6,2):=1$ xi(6,2):=1$ and one keeps deltaprimemodg(6,2):=k by taking :$ b(6,6):=b(1,1)**2*k$ With the first kind automorphism one gets$ shortformdeltaprimemodadg:={0, ss, b(1,1)**2*xi(4,2), ss, (b(1,1)**5*xi(5,2)*k + 2*b(2,1)*b(1,1)**3*xi(4,2)*k + b(5,6)*k - b(6,2)*b(1,1)** 3*xi(5,6))/(b(1,1)**2*k), (b(1,1)**3*xi(5,6))/k, ss, (k*(b(1,1)**2*xi(6,1) - b(2,1)))/b(1,1), k}$ deltaprimemodg(2,1):=0$ deltaprimemodg(4,2):=b(1,1)**2*xi(4,2)$ deltaprimemodg(5,2):=(b(1,1)**5*xi(5,2)*k + 2*b(2,1)*b(1,1)**3*xi(4,2)*k + b(5,6 )*k - b(6,2)*b(1,1)**3*xi(5,6))/(b(1,1)**2*k)$ deltaprimemodg(5,6):=(b(1,1)**3*xi(5,6))/k$ deltaprimemodg(6,1):=(k*(b(1,1)**2*xi(6,1) - b(2,1)))/b(1,1)$ deltaprimemodg(6,2):=k$ det(AUTOM):=b(1,1)**17*k$ DELTAPRIMEMODADG:= mat((0,0,0,0,0,0), (0,0,0,0,0,0), (0,0,0,0,0,0), 2 (0,b(1,1) *xi(4,2),0,0,0,0), 5 3 (0,(b(1,1) *xi(5,2)*k + 2*b(2,1)*b(1,1) *xi(4,2)*k + b(5,6)*k 3 2 2 - b(6,2)*b(1,1) *xi(5,6))/(b(1,1) *k),b(1,1) *xi(4,2),0,0, 3 b(1,1) *xi(5,6) -----------------), k 2 k*(b(1,1) *xi(6,1) - b(2,1)) (------------------------------,k,0,0,0,0)) b(1,1) Then one gets deltaprimemodg(5,2)=0 by taking : $ b(5,6):=(b(1,1)**3*( - b(1,1)**2*xi(5,2)*k - 2*b(2,1)*xi(4,2)*k + b(6,2)*xi(5,6) ))/k$ and one gets deltaprimemodg(6,1)=0 by taking : $ b(2,1):=b(1,1)**2*xi(6,1)$ With the first kind automorphism one gets$ shortformdeltaprimemodadg:={0, ss, b(1,1)**2*xi(4,2), ss, 0, (b(1,1)**3*xi(5,6))/k, ss, 0, k}$ deltaprimemodg(2,1):=0$ deltaprimemodg(4,2):=b(1,1)**2*xi(4,2)$ deltaprimemodg(5,2):=0$ deltaprimemodg(5,6):=(b(1,1)**3*xi(5,6))/k$ deltaprimemodg(6,1):=0$ deltaprimemodg(6,2):=k$ det(AUTOM):=b(1,1)**17*k$ DELTAPRIMEMODADG:= [0 0 0 0 0 0 ] [ ] [0 0 0 0 0 0 ] [ ] [0 0 0 0 0 0 ] [ ] [ 2 ] [0 b(1,1) *xi(4,2) 0 0 0 0 ] [ ] [ 3 ] [ 2 b(1,1) *xi(5,6) ] [0 0 b(1,1) *xi(4,2) 0 0 -----------------] [ k ] [ ] [0 k 0 0 0 0 ] Then if xi(4,2) NEQ 0 one gets deltaprimemodg(4,2)=k by taking : $ b(1,1):=sqrt(k/xi(4,2))$ With the first kind automorphism one gets$ shortformdeltaprimemodadg:={0, ss, k, ss, 0, (sqrt(k/xi(4,2))*xi(5,6))/xi(4,2), ss, 0, k}$ deltaprimemodg(2,1):=0$ deltaprimemodg(4,2):=k$ deltaprimemodg(5,2):=0$ deltaprimemodg(5,6):=(sqrt(k/xi(4,2))*xi(5,6))/xi(4,2)$ deltaprimemodg(6,1):=0$ deltaprimemodg(6,2):=k$ det(AUTOM):=(sqrt(k/xi(4,2))*k**9)/xi(4,2)**8$ DELTAPRIMEMODADG:= [0 0 0 0 0 0 ] [ ] [0 0 0 0 0 0 ] [ ] [0 0 0 0 0 0 ] [ ] [0 k 0 0 0 0 ] [ ] [ k ] [ sqrt(---------)*xi(5,6) ] [ xi(4,2) ] [0 0 k 0 0 -------------------------] [ xi(4,2) ] [ ] [0 k 0 0 0 0 ] Then if xi(5,6) NEQ 0 one gets deltaprimemodg(5,6)=k by taking : $ k:=xi(5,6)**2/xi(4,2)**3$ With the first kind automorphism one gets$ shortformdeltaprimemodadg:={0, ss, xi(5,6)**2/xi(4,2)**3, ss, 0, xi(5,6)**2/xi(4,2)**3, ss, 0, xi(5,6)**2/xi(4,2)**3}$ deltaprimemodg(2,1):=0$ deltaprimemodg(4,2):=xi(5,6)**2/xi(4,2)**3$ deltaprimemodg(5,2):=0$ deltaprimemodg(5,6):=xi(5,6)**2/xi(4,2)**3$ deltaprimemodg(6,1):=0$ deltaprimemodg(6,2):=xi(5,6)**2/xi(4,2)**3$ det(AUTOM):=xi(5,6)**19/xi(4,2)**37$ DELTAPRIMEMODADG:= [0 0 0 0 0 0 ] [ ] [0 0 0 0 0 0 ] [ ] [0 0 0 0 0 0 ] [ ] [ 2 ] [ xi(5,6) ] [0 ---------- 0 0 0 0 ] [ 3 ] [ xi(4,2) ] [ ] [ 2 2 ] [ xi(5,6) xi(5,6) ] [0 0 ---------- 0 0 ----------] [ 3 3 ] [ xi(4,2) xi(4,2) ] [ ] [ 2 ] [ xi(5,6) ] [0 ---------- 0 0 0 0 ] [ 3 ] [ xi(4,2) ] Hence, we are reduced in the subcase 2.1. under consideration to:$ shortformdeltaprime ={0,SS,epsilon,SS,0,eta,SS,0,1}$ where epsilon=xi(4,2)=0,1 and eta=xi(5,6)=0,1.$ ****************** SUBCASE 2.2 : xi(6,2) = 0 *************************$ xi(6,2):=0$ clear b(6,6),b(5,6),b(2,1),b(1,1),k$ With the first kind automorphism one gets$ shortformdeltaprimemodadg:={0, ss, b(1,1)**2*xi(4,2), ss, (b(1,1)*( - b(6,2)*b(1,1)**2*xi(5,6) + b(6,6)*b(1,1)**2*xi(5,2) + 2*b(6,6)*b(2,1 )*xi(4,2)))/b(6,6), (b(1,1)**5*xi(5,6))/b(6,6), ss, (b(6,6)*xi(6,1))/b(1,1), 0}$ deltaprimemodg(2,1):=0$ deltaprimemodg(4,2):=b(1,1)**2*xi(4,2)$ deltaprimemodg(5,2):=(b(1,1)*( - b(6,2)*b(1,1)**2*xi(5,6) + b(6,6)*b(1,1)**2*xi( 5,2) + 2*b(6,6)*b(2,1)*xi(4,2)))/b(6,6)$ deltaprimemodg(5,6):=(b(1,1)**5*xi(5,6))/b(6,6)$ deltaprimemodg(6,1):=(b(6,6)*xi(6,1))/b(1,1)$ deltaprimemodg(6,2):=0$ det(AUTOM):=b(6,6)*b(1,1)**15$ DELTAPRIMEMODADG:= mat((0,0,0,0,0,0), (0,0,0,0,0,0), (0,0,0,0,0,0), 2 (0,b(1,1) *xi(4,2),0,0,0,0), 2 2 (0,(b(1,1)*( - b(6,2)*b(1,1) *xi(5,6) + b(6,6)*b(1,1) *xi(5,2) 2 + 2*b(6,6)*b(2,1)*xi(4,2)))/b(6,6),b(1,1) *xi(4,2),0,0, 5 b(1,1) *xi(5,6) -----------------), b(6,6) b(6,6)*xi(6,1) (----------------,0,0,0,0,0)) b(1,1) ****************** SUBSUBCASE 2.2.1 : xi(4,2) NEQ 0 *************************$ Then one can suppose xi(4,2):=1$ xi(4,2):=1$ and one keeps deltaprimemodg(4,2):=k by taking :$ b(1,1):=sqrt(k)$ and one gets deltaprimemodg(5,2)=0 by taking : $ b(2,1):=(k*(b(6,2)*xi(5,6) - b(6,6)*xi(5,2)))/(2*b(6,6))$ With the first kind automorphism one gets$ shortformdeltaprimemodadg:={0, ss, k, ss, 0, (sqrt(k)*xi(5,6)*k**2)/b(6,6), ss, (b(6,6)*xi(6,1))/sqrt(k), 0}$ deltaprimemodg(2,1):=0$ deltaprimemodg(4,2):=k$ deltaprimemodg(5,2):=0$ deltaprimemodg(5,6):=(sqrt(k)*xi(5,6)*k**2)/b(6,6)$ deltaprimemodg(6,1):=(b(6,6)*xi(6,1))/sqrt(k)$ deltaprimemodg(6,2):=0$ det(AUTOM):=sqrt(k)*b(6,6)*k**7$ DELTAPRIMEMODADG:= [ 0 0 0 0 0 0 ] [ ] [ 0 0 0 0 0 0 ] [ ] [ 0 0 0 0 0 0 ] [ ] [ 0 k 0 0 0 0 ] [ ] [ 2 ] [ sqrt(k)*xi(5,6)*k ] [ 0 0 k 0 0 --------------------] [ b(6,6) ] [ ] [ b(6,6)*xi(6,1) ] [---------------- 0 0 0 0 0 ] [ sqrt(k) ] If xi(6,1) neq 0, we get deltaprime(6,1):=k by taking :$ b(6,6):=(sqrt(k)*k)/xi(6,1)$ With the first kind automorphism one gets$ shortformdeltaprimemodadg:={0, ss, k, ss, 0, xi(6,1)*xi(5,6)*k, ss, k, 0}$ deltaprimemodg(2,1):=0$ deltaprimemodg(4,2):=k$ deltaprimemodg(5,2):=0$ deltaprimemodg(5,6):=xi(6,1)*xi(5,6)*k$ deltaprimemodg(6,1):=k$ deltaprimemodg(6,2):=0$ det(AUTOM):=k**9/xi(6,1)$ DELTAPRIMEMODADG:= [0 0 0 0 0 0 ] [ ] [0 0 0 0 0 0 ] [ ] [0 0 0 0 0 0 ] [ ] [0 k 0 0 0 0 ] [ ] [0 0 k 0 0 xi(6,1)*xi(5,6)*k] [ ] [k 0 0 0 0 0 ] Hence, we are reduced in that case to:$ shortformdeltaprime ={0,SS,1,SS,0,a,SS,1,0}$ where a=xi(5,6) is any complex number.$ If xi(6,1) = 0, we get :$ xi(6,1):=0$ clear b(6,6)$ With the first kind automorphism one gets$ shortformdeltaprimemodadg:={0, ss, k, ss, 0, (sqrt(k)*xi(5,6)*k**2)/b(6,6), ss, 0, 0}$ deltaprimemodg(2,1):=0$ deltaprimemodg(4,2):=k$ deltaprimemodg(5,2):=0$ deltaprimemodg(5,6):=(sqrt(k)*xi(5,6)*k**2)/b(6,6)$ deltaprimemodg(6,1):=0$ deltaprimemodg(6,2):=0$ det(AUTOM):=sqrt(k)*b(6,6)*k**7$ DELTAPRIMEMODADG:= [0 0 0 0 0 0 ] [ ] [0 0 0 0 0 0 ] [ ] [0 0 0 0 0 0 ] [ ] [0 k 0 0 0 0 ] [ ] [ 2 ] [ sqrt(k)*xi(5,6)*k ] [0 0 k 0 0 --------------------] [ b(6,6) ] [ ] [0 0 0 0 0 0 ] Hence, we are reduced in that case to:$ shortformdeltaprime ={0,SS,1,SS,0,epsilon,SS,0,0}$ where epsilon=xi(5,6)=0,1 $ clear xi(6,1)$ ****************** SUBSUBCASE 2.2.2 : xi(4,2) = 0 *************************$ xi(4,2):=0$ clear b(2,1),b(1,1)$ With the first kind automorphism one gets$ shortformdeltaprimemodadg:={0, ss, 0, ss, (b(1,1)**3*( - b(6,2)*xi(5,6) + b(6,6)*xi(5,2)))/b(6,6), (b(1,1)**5*xi(5,6))/b(6,6), ss, (b(6,6)*xi(6,1))/b(1,1), 0}$ deltaprimemodg(2,1):=0$ deltaprimemodg(4,2):=0$ deltaprimemodg(5,2):=(b(1,1)**3*( - b(6,2)*xi(5,6) + b(6,6)*xi(5,2)))/b(6,6)$ deltaprimemodg(5,6):=(b(1,1)**5*xi(5,6))/b(6,6)$ deltaprimemodg(6,1):=(b(6,6)*xi(6,1))/b(1,1)$ deltaprimemodg(6,2):=0$ det(AUTOM):=b(6,6)*b(1,1)**15$ DELTAPRIMEMODADG:= mat((0,0,0,0,0,0), (0,0,0,0,0,0), (0,0,0,0,0,0), (0,0,0,0,0,0), 3 5 b(1,1) *( - b(6,2)*xi(5,6) + b(6,6)*xi(5,2)) b(1,1) *xi(5,6) (0,----------------------------------------------,0,0,0,-----------------), b(6,6) b(6,6) b(6,6)*xi(6,1) (----------------,0,0,0,0,0)) b(1,1) Suppose first xi(5,6) NEQ 0$ Then one can suppose xi(5,6):=1$ xi(5,6):=1$ and one keeps deltaprimemodg(5,6):=k by taking :$ b(6,6):=b(1,1)**5/k$ and one gets deltaprimemodg(5,2)=0 by taking : $ b(6,2):=(b(1,1)**5*xi(5,2))/k$ With the first kind automorphism one gets$ shortformdeltaprimemodadg:={0, ss, 0, ss, 0, k, ss, (b(1,1)**4*xi(6,1))/k, 0}$ deltaprimemodg(2,1):=0$ deltaprimemodg(4,2):=0$ deltaprimemodg(5,2):=0$ deltaprimemodg(5,6):=k$ deltaprimemodg(6,1):=(b(1,1)**4*xi(6,1))/k$ deltaprimemodg(6,2):=0$ det(AUTOM):=b(1,1)**20/k$ DELTAPRIMEMODADG:= [ 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 0 0 0 k] [ ] [ 4 ] [ b(1,1) *xi(6,1) ] [----------------- 0 0 0 0 0] [ k ] Hence, we are reduced in that case to:$ shortformdeltaprime ={0,SS,0,SS,0,1,SS,eta,0}$ where eta=xi(6,1)=0,1.$ Suppose now xi(5,6) = 0$ xi(5,6):=0$ clear b(6,6),b(6,2)$ With the first kind automorphism one gets$ shortformdeltaprimemodadg:={0, ss, 0, ss, b(1,1)**3*xi(5,2), 0, ss, (b(6,6)*xi(6,1))/b(1,1), 0}$ deltaprimemodg(2,1):=0$ deltaprimemodg(4,2):=0$ deltaprimemodg(5,2):=b(1,1)**3*xi(5,2)$ deltaprimemodg(5,6):=0$ deltaprimemodg(6,1):=(b(6,6)*xi(6,1))/b(1,1)$ deltaprimemodg(6,2):=0$ det(AUTOM):=b(6,6)*b(1,1)**15$ DELTAPRIMEMODADG:= [ 0 0 0 0 0 0] [ ] [ 0 0 0 0 0 0] [ ] [ 0 0 0 0 0 0] [ ] [ 0 0 0 0 0 0] [ ] [ 3 ] [ 0 b(1,1) *xi(5,2) 0 0 0 0] [ ] [ b(6,6)*xi(6,1) ] [---------------- 0 0 0 0 0] [ b(1,1) ] Hence, we are reduced in that to either :$ shortformdeltaprime ={0,SS,0,SS,1,0,SS,epsilon,0}$ where epsilon=xi(6,1)=0,1$ if xi(5,2) NEQ 0$ or $ shortformdeltaprime ={0,SS,0,SS,0,0,SS,1,0}$ if xi(5,2) = 0.$