interface(prettyprint=0): z21 := z3: z211 := 2/5*z2^2: z22 := 3/10*z2^2: z31 := 1/10*z2^2: z4 := 2/5*z2^2: z2111 := z5: z212 := 9/2*z5-2*z2*z3: z221 := -11/2*z5+3*z2*z3: z23 := 9/2*z5-2*z2*z3: z311 := 2*z5-z2*z3: z32 := -11/2*z5+3*z2*z3: z41 := 2*z5-z2*z3: z21111 := 8/35*z2^3: z2112 := 10/21*z2^3-z3^2: z2121 := -4/35*z2^3+1/2*z3^2: z213 :=-13/70*z2^3+z3^2: z2211 := -32/105*z2^3+z3^2: z222 := 3/70*z2^3: z231 := 53/105*z2^3-3/2*z3^2: z24 := 10/21*z2^3-z3^2: z3111 := 6/35*z2^3-1/2*z3^2: z312 := 53/105*z2^3-3/2*z3^2: z321:= -29/30*z2^3+3*z3^2: z33 := -4/35*z2^3+1/2*z3^2: z411 := 23/70*z2^3-z3^2: z42 := -32/105*z2^3+z3^2: z51 := 6/35*z2^3-1/2*z3^2: z6 := 8/35*z2^3: ass2:=expand( +z2*(-1*AB+1*BA)) ; ass3:=expand( +z21*(+1*ABB-2*BAB+1*BBA) +z3*(-1*AAB+2*ABA-1*BAA)) ; ass4:=expand( +z211*(-1*ABBB+3*BABB-3*BBAB+1*BBBA) +z31*(+1*AABB-2*ABBA-2*BAAB+4*BABA-1*BBAA) +z4*(-1*AAAB+3*AABA-3*ABAA+1*BAAA) +z22*(+1*ABAB-1*ABBA-1*BAAB+1*BABA)) ; ass5:=expand( +z2111*(+1*ABBBB-4*BABBB+6*BBABB-4*BBBAB+1*BBBBA) +z311*(-1*AABBB+2*ABBBA+3*BAABB-6*BABBA-3*BBAAB+6*BBABA-1*BBBAA) +z41*(+1*AAABB-3*AABBA+3*ABBAA-2*BAAAB+6*BAABA-6*BABAA+1*BBAAA) +z5*(-1*AAAAB+4*AAABA-6*AABAA+4*ABAAA-1*BAAAA) +z221*(-1*ABABB+1*ABBBA+1*BAABB+2*BABAB-3*BABBA-2*BBAAB+2*BBABA) +z212*(-1*ABBAB+1*ABBBA+2*BABAB-2*BABBA-1*BBAAB+1*BBABA) +z23*(+1*ABAAB-2*ABABA+1*ABBAA-1*BAAAB+2*BAABA-1*BABAA) +z32*(+1*AABAB-1*AABBA-2*ABABA+2*ABBAA-1*BAAAB+3*BAABA-2*BABAA)) ; ass6:=expand( +z21111*(-1*ABBBBB+5*BABBBB-10*BBABBB+10*BBBABB-5*BBBBAB+1*BBBBBA) +z3111*(+1*AABBBB-2*ABBBBA-4*BAABBB+8*BABBBA+6*BBAABB-12*BBABBA-4*BBBAAB+8*BBBABA-1*BBBBAA) +z411*(-1*AAABBB+3*AABBBA-3*ABBBAA+3*BAAABB-9*BAABBA+9*BABBAA-3*BBAAAB+9*BBAABA-9*BBABAA+1*BBBAAA) +z51*(+1*AAAABB-4*AAABBA+6*AABBAA-4*ABBAAA-2*BAAAAB+8*BAAABA-12*BAABAA+8*BABAAA-1*BBAAAA) +z6*(-1*AAAAAB+5*AAAABA-10*AAABAA+10*AABAAA-5*ABAAAA+1*BAAAAA) +z2211*(+1*ABABBB-1*ABBBBA-1*BAABBB-3*BABABB+4*BABBBA+3*BBAABB+3*BBABAB-6*BBABBA-3*BBBAAB+3*BBBABA) +z2121*(+1*ABBABB-1*ABBBBA-2*BABABB-2*BABBAB+4*BABBBA+1*BBAABB+4*BBABAB-5*BBABBA-2*BBBAAB+2*BBBABA) +z2112*(+1*ABBBAB-1*ABBBBA-3*BABBAB+3*BABBBA+3*BBABAB-3*BBABBA-1*BBBAAB+1*BBBABA) +z231*(-1*ABAABB+2*ABABBA-1*ABBBAA+1*BAAABB-2*BAABBA+2*BABAAB-4*BABABA+3*BABBAA-2*BBAAAB+4*BBAABA-2*BBABAA) +z213*(-1*ABBAAB+2*ABBABA-1*ABBBAA+2*BABAAB-4*BABABA+2*BABBAA-1*BBAAAB+2*BBAABA-1*BBABAA) +z321*(-1*AABABB+1*AABBBA+2*ABABBA-2*ABBBAA+1*BAAABB+2*BAABAB-5*BAABBA-4*BABABA+6*BABBAA-2*BBAAAB+6*BBAABA-4*BBABAA) +z312*(-1*AABBAB+1*AABBBA+2*ABBABA-2*ABBBAA+2*BAABAB-2*BAABBA-4*BABABA+4*BABBAA-1*BBAAAB+3*BBAABA-2*BBABAA) +z24*(+1*ABAAAB-3*ABAABA+3*ABABAA-1*ABBAAA-1*BAAAAB+3*BAAABA-3*BAABAA+1*BABAAA) +z33*(+1*AABAAB-2*AABABA+1*AABBAA-2*ABAABA+4*ABABAA-2*ABBAAA-1*BAAAAB+4*BAAABA-5*BAABAA+2*BABAAA) +z42*(+1*AAABAB-1*AAABBA-3*AABABA+3*AABBAA+3*ABABAA-3*ABBAAA-1*BAAAAB+4*BAAABA-6*BAABAA+3*BABAAA) +z222*(-1*ABABAB+1*ABABBA+1*ABBABA-1*ABBBAA+1*BAABAB-1*BAABBA+1*BABAAB-3*BABABA+2*BABBAA-1*BBAAAB+2*BBAABA-1*BBABAA)) ; collect(ass2,z2); collect(ass3,z3); collect(ass4,z2); collect(ass5,[z2,z3,z5]); collect(ass6,[z2,z3]);