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)

basisA17.append(a[0])
basisA17.append(a[1])


a[0]=expand("[(2,0,0,0,0,0,0)/(0,2,0,0,0,0,0)^2/(0,0,2,0,0,0,0)/(0,0,0,2,0,0,0)/(0,0,0,0,2,0,0)/(0,0,0,0,0,2,0)/(0,0,0,0,0,0,2)/(1,2,1,0,0,0,0)/(1,0,1,0,0,0,0)/(1,1,0,1,1,0,0)/(1,1,0,0,0,1,1)/(1,1,0,1,0,0,1)/$(1,1,0,0,1,1,0)/(1,0,1,1,0,1,0)/(1,0,1,0,1,0,1)/(0,1,1,1,1,0,0)/(0,1,1,0,0,1,1)/(0,0,0,1,1,1,1)/(0,2,0,1,0,0,1)/(0,0,0,1,0,0,1)/(0,2,0,0,1,1,0)/(0,0,0,0,1,1,0)/(0,1,1,1,0,1,0)/(0,1,1,0,1,0,1)]")
print("First one in notes corresponds to 1rst one from A18?")
print(checker(a[0], basisA17,orderList ))


a[1]=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(" second that was wrong in notes corresponds to 1rst one from A18?")
print(checker(a[0], basisA17,orderList ))

a[2]=expand("[ (2,0,0,0,0,0,0)/(0,2,0,0,0,0,0)/(0,0,2,0,0,0,0)/(0,0,0,2,0,0,0)/(0,0,0,0,2,0,0)/(0,0,0,0,0,2,0)/(0,0,0,0,0,0,2)/(1,1,1,0,0,0,0)^2/(1,0,0,1,1,0,0)^2/(1,0,0,0,0,1,1)^2/(1,1,0,1,0,0,1)/(1,1,0,0,1,1,0)/(1,0,1,1,0,1,0)/(1,0,1,0,1,0,1)/(0,1,1,1,1,0,0)/(0,1,1,0,0,1,1)/(0,0,0,1,1,1,1)/(0,1,0,1,0,0,1)^2/(0,1,0,0,1,1,0)^2/(1,0,1,1,0,1,0)/(1,0,1,0,1,0,1)/(0,0,0,0,0,0,0)^3]")
예제 #2
0
lie=lie+[(0,6,0),(0,0,2),(0,2,0),
         (0,3,1)]
lie=lie+[(1,3,0),(1,4,1)]
a1=diagA1(lie,1,3)
#print("CASE 12")
#print(checker(a1,basisA12,orderList2))
#print(latex(a1))


#Case 13 and 14
print("cases 13 and 14")
a=expand("[(0,4,2)/(0,2,4)/(2,0,0)^2/(2,2,2)/(0,2,0)/(0,0,2)]")

b=expand("[(0,0,4)/(0,2,2)^2/(0,2,0)/(0,0,2)^3/(0,0,0)/(2,2,0)/(2,0,2)^2/(2,0,0)^2]")

print(latex(removeA1(a,1)))
print(classifyIncomplete(removeA1(a,1), basisA12,orderList2))
print(latex(removeA1(b,1)))
print(classifyIncomplete(removeA1(b,1), basisA12,orderList2))


a=expand("[(0,10)/(4,6)/(2,0)/(0,2)/(0,0)/(0,0)]/(0,0)")
print(latex(a))
print(classifyIncomplete(a, basisA12,orderList2))



#Is case (1,22/00^3) in A1D6 somewhere??

a=expand("[(0, 4)^4/(0, 0)^6/(0, 6)/(0, 2)/(2, 3)^4/(0, 3)^4/(2, 0)^6/(2, 4)]")
print("HERE")
print("A18")
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]=removeA1(basisA18[1],2)
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)