-
Notifications
You must be signed in to change notification settings - Fork 1
/
res_nouvelle_approche_6
11 lines (9 loc) · 3.21 KB
/
res_nouvelle_approche_6
1
2
3
4
5
6
7
8
9
10
11
_
|_|_ _ _ _
|_|_|_|_|_|
s[] # s[5, 1] + s[1] # s[4, 1, 1] + s[1] # s[4, 2] + s[1, 1] # s[3, 1, 1, 1] + s[1, 1] # s[3, 2, 1] + s[1, 1, 1] # s[2, 1, 1, 1, 1] + s[1, 1, 1] # s[2, 2, 1, 1] + s[1, 1, 1, 1] # s[1, 1, 1, 1, 1, 1] + s[2] # s[3, 2, 1] + s[2] # s[3, 3] + s[2] # s[4, 1, 1] + s[2] # s[4, 2] + s[2, 1] # s[2, 2, 1, 1] + s[2, 1] # s[2, 2, 2] + s[2, 1] # s[3, 1, 1, 1] + 2*s[2, 1] # s[3, 2, 1] + s[2, 1] # s[3, 3] + s[2, 1, 1] # s[2, 1, 1, 1, 1] + s[2, 1, 1] # s[2, 2, 1, 1] + s[2, 1, 1] # s[2, 2, 2] + s[2, 2] # s[2, 2, 1, 1] + s[2, 2] # s[3, 2, 1] + s[3] # s[3, 1, 1, 1] + 2*s[3] # s[3, 2, 1] + s[3] # s[4, 1, 1] + s[3] # s[4, 2] + s[3, 1] # s[2, 1, 1, 1, 1] + 2*s[3, 1] # s[2, 2, 1, 1] + s[3, 1] # s[2, 2, 2] + 2*s[3, 1] # s[3, 1, 1, 1] + 2*s[3, 1] # s[3, 2, 1] + s[3, 1, 1] # s[1, 1, 1, 1, 1, 1] + s[3, 1, 1] # s[2, 1, 1, 1, 1] + s[3, 1, 1] # s[2, 2, 1, 1] + s[3, 2] # s[2, 1, 1, 1, 1] + s[3, 2] # s[2, 2, 1, 1] + s[3, 2] # s[2, 2, 2] + s[3, 2] # s[3, 1, 1, 1] + s[3, 3] # s[2, 1, 1, 1, 1] + s[4] # s[2, 2, 1, 1] + s[4] # s[2, 2, 2] + s[4] # s[3, 1, 1, 1] + 2*s[4] # s[3, 2, 1] + s[4] # s[3, 3] + s[4] # s[4, 1, 1] + 2*s[4, 1] # s[2, 1, 1, 1, 1] + 3*s[4, 1] # s[2, 2, 1, 1] + s[4, 1] # s[2, 2, 2] + s[4, 1] # s[3, 1, 1, 1] + s[4, 1] # s[3, 2, 1] + s[4, 1, 1] # s[1, 1, 1, 1, 1, 1] + s[4, 1, 1] # s[2, 1, 1, 1, 1] + s[4, 2] # s[1, 1, 1, 1, 1, 1] + s[4, 2] # s[2, 1, 1, 1, 1] + s[4, 2] # s[2, 2, 1, 1] + s[4, 3] # s[1, 1, 1, 1, 1, 1] + s[5] # s[2, 2, 1, 1] + s[5] # s[2, 2, 2] + 2*s[5] # s[3, 1, 1, 1] + 2*s[5] # s[3, 2, 1] + 2*s[5, 1] # s[2, 1, 1, 1, 1] + 2*s[5, 1] # s[2, 2, 1, 1] + s[5, 1] # s[2, 2, 2] + s[5, 1] # s[3, 1, 1, 1] + s[5, 1, 1] # s[1, 1, 1, 1, 1, 1] + s[5, 2] # s[2, 1, 1, 1, 1] + s[6] # s[2, 1, 1, 1, 1] + 2*s[6] # s[2, 2, 1, 1] + s[6] # s[3, 1, 1, 1] + s[6] # s[3, 2, 1] + s[6, 1] # s[1, 1, 1, 1, 1, 1] + 2*s[6, 1] # s[2, 1, 1, 1, 1] + s[6, 1] # s[2, 2, 1, 1] + s[6, 2] # s[1, 1, 1, 1, 1, 1] + s[7] # s[2, 1, 1, 1, 1] + s[7] # s[2, 2, 1, 1] + s[7] # s[2, 2, 2] + s[7] # s[3, 1, 1, 1] + s[7, 1] # s[1, 1, 1, 1, 1, 1] + s[7, 1] # s[2, 1, 1, 1, 1] + s[8] # s[2, 1, 1, 1, 1] + s[8] # s[2, 2, 1, 1] + s[8, 1] # s[1, 1, 1, 1, 1, 1] + s[9] # s[2, 1, 1, 1, 1] + s[10] # s[1, 1, 1, 1, 1, 1]
1 \otimes s_{5,1} +(s_{1} + s_{2} + s_{3}) \otimes s_{4,2} +(s_{1} + s_{2} + s_{3} + s_{4}) \otimes s_{4,1,1} +(s_{2} + s_{2,1} + s_{4}) \otimes s_{3,3} +(s_{1,1} + s_{2} + 2s_{2,1} + s_{2,2} + 2s_{3} + 2s_{3,1} + 2s_{4} + s_{4,1} + 2s_{5} + s_{6}) \otimes s_{3,2,1} +(s_{1,1} + s_{2,1} + s_{3} + 2s_{3,1} + s_{3,2} + s_{4} + s_{4,1} + 2s_{5} + s_{5,1} + s_{6} + s_{7}) \otimes s_{3,1,1,1} +(s_{2,1} + s_{2,1,1} + s_{3,1} + s_{3,2} + s_{4} + s_{4,1} + s_{5} + s_{5,1} + s_{7}) \otimes s_{2,2,2} +(s_{1,1,1} + s_{2,1} + s_{2,1,1} + s_{2,2} + 2s_{3,1} + s_{3,1,1} + s_{3,2} + s_{4} + 3s_{4,1} + s_{4,2} + s_{5} + 2s_{5,1} + 2s_{6} + s_{6,1} + s_{7} + s_{8}) \otimes s_{2,2,1,1} +(s_{1,1,1} + s_{2,1,1} + s_{3,1} + s_{3,1,1} + s_{3,2} + s_{3,3} + 2s_{4,1} + s_{4,1,1} + s_{4,2} + 2s_{5,1} + s_{5,2} + s_{6} + 2s_{6,1} + s_{7} + s_{7,1} + s_{8} + s_{9}) \otimes s_{2,1,1,1,1} +(s_{1,1,1,1} + s_{3,1,1} + s_{4,1,1} + s_{4,2} + s_{4,3} + s_{5,1,1} + s_{6,1} + s_{6,2} + s_{7,1} + s_{8,1} + s_{10}) \otimes s_{1,1,1,1,1,1}
_
|_|_ _ _ _
|_|_|_|_| |_|
halt 14