# print("///////////////////////////////") # print(i) # print(x) basisA12.append(L[i]) basisA12Lambda1.append(lambda1[i]) checker(L[i],basisA12,orderList2) # if dimChecker(L[i])!=133: # print("////////////////////////////////////") # print(latex(lambda1[i])) # print(dimChecker(L[i])) # print(latex(L[i])) for i in range(1,1): p="" p=p+str(i)+"&" temp=latex(lambda1[i]) for j in range(0,len(temp)): if temp[j]!='(' and temp[j]!=')' and temp[j]!=',': p=p+temp[j] p=p+"& " p=p+latex(L[i]) p=p+" \\\\ " print(p) print("&& $$ \\\\ \\hline") def checkerA12inE8(l,basis,orderList): print("Checking if conjugate to any of the complete ones:")
a[1]=removeA1(basisA18[1],3) a[2]=diagA1(basisA18[1],2,3) a[3]=diagA1(basisA18[1],3,4) a[4]=diagA1(basisA18[1],3,5) a[5]=diagA1(basisA18[1],1,2) basisA17.append(a[0]) basisA17.append(a[1]) basisA17.append(a[2]) basisA17.append(a[3]) basisA17.append(a[4]) basisA17.append(a[5]) for i in range(1,1): print(i) print(latex(basisA17[i])) #In D8 a[1]=expand("[(1,1,0,0,0,0,0)/(0,0,1,1,0,0,0)/(0,0,0,0,1,1,0)/(0,0,0,0,0,1)^2]") a[2]=expand("[(1,1,0,0,0,0,0)/(0,0,1,1,0,0,0)/(0,0,0,0,1,1,0)/(0,0,0,0,0,2)/(0,0,0,0,0,0,0)]") orderList=order(7) #print("In D8") w=[0,0,0,0,0] w[1]=expand("[(2,0,0,0,0,0,0)/(0,2,0,0,0,0,0)/(1,1,1,1,0,0,0)/(1,1,0,0,1,1,0)/(1,1,0,0,0,0,1)^2/(0,0,2,0,0,0,0)/(0,0,0,2,0,0,0)/(0,0,1,1,1,1,0)/(0,0,1,1,0,0,1)^2/(0,0,0,0,2,0,0)/(0,0,0,0,0,2,0)/(0,0,0,0,1,1,1)^2/(0,0,0,0,0,0,2)/(0,0,0,0,0,0,0)^3]") w[2]=expand("[(2,0,0,0,0,0,0)/(0,2,0,0,0,0,0)/(1,1,1,1,0,0,0)/(1,1,0,0,1,1,0)/(1,1,0,0,0,0,2)/(1,1,0,0,0,0,0)/(0,0,2,0,0,0,0)/(0,0,0,2,0,0,0)/(0,0,1,1,1,1,0)/(0,0,1,1,0,0,2)/(0,0,1,1,0,0,0)/(0,0,0,0,2,0,0)/(0,0,0,0,0,2,0)/(0,0,0,0,1,1,2)/(0,0,0,0,1,1,0)/(0,0,0,0,0,0,2)^2]")
x=(test[i][1],) for j in range(2,len(test[i])): x=x+(test[i][j],) soltest.append(x) return(soltest) ############################################################### ############################################################### ###########A18 ############################################################### ############################################################### a=expand("[(2,0,0,0,0,0,0,0)/(0,2,0,0,0,0,0,0)/(0,0,2,0,0,0,0,0)/(0,0,0,2,0,0,0,0)/(0,0,0,0,2,0,0,0)/(0,0,0,0,0,2,0,0)/(0,0,0,0,0,0,2,0)/(0,0,0,0,0,0,0,2)/(1,1,1,1,0,0,0,0)/(1,1,0,0,1,1,0,0)/(1,1,0,0,0,0,1,1)/(1,0,1,0,1,0,0,1)/(1,0,1,0,0,1,1,0)/(1,0,0,1,1,0,1,0)/(1,0,0,1,0,1,0,1)/(0,0,1,1,1,1,0,0)/(0,0,1,1,0,0,1,1)/(0,0,0,0,1,1,1,1)/(0,1,1,0,1,0,0,1)/(0,1,1,0,0,1,1,0)/(0,1,0,1,1,0,1,0)/(0,1,0,1,0,1,0,1)]") print("A18") print(dimChecker(a)) print(latex(a)) basisA18=[[0]] basisA18.append(a) ############################################################### ############################################################### ###########A17 ############################################################### ############################################################### a=[0,0,0,0,0,00,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,00,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,00,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,00,0,0,0,0,0,0,0,0,0,0] orderList = order(7) basisA17=[[0]] #We make the basis from basis of A18 a[0]=diagA1(basisA18[1],1,2) a[1]=removeA1(basisA18[1],1)
from compare import classifyIncomplete #from compare import classifyIncomplete2 from compare import classify from compare import perm from tensor_wedge import concat from remove_tensor_A1 import removeFirstA1 from remove_tensor_A1 import removeA1 from remove_tensor_A1 import diagA1 from tensor_wedge import printLE8 from tensor_wedge import tensor print("A_1^4 in D5") a=[(1,1,0,0),(0,0,1,1),(0,0,0,0),(0,0,0,0)] b=[(1,1,0,0),(0,0,2,0),(0,0,0,2),(0,0,0,0)] print(latex(wedge2(a))) print(latex(wedge2(b))) print("A_1^3 in D5") lam=[0] lam.append(expand("[(1,1,0)/(0,1,1)/(0,0,0)^2]")) lam.append(expand("[(1,1,0)/(0,0,1)^2/(0,0,0)^2]")) lam.append(expand("[(1,1,0)/(0,0,2)/(0,0,0)^3]")) lam.append(expand("[(1,1,0)/(0,0,2)^2]")) lam.append(expand("[(1,1,0)/(2,0,0)/(0,0,2)]")) lam.append(expand("[(1,1,0)/(0,0,4)/(0,0,0)]")) lam.append(expand("[(1,0,0)^2/(0,2,0)/(0,0,2)]")) lam.append(expand("[(2,0,0)/(0,2,0)/(0,0,2)/(0,0,0)]")) print(len(lam))