-
Notifications
You must be signed in to change notification settings - Fork 0
/
sagemath_C2b.sage
34 lines (34 loc) · 7.11 KB
/
sagemath_C2b.sage
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
var('underbrace1otimesshifta1otimesa2otimesshifta3otimeshatomega_1');
var('underbracehatomegaotimesshifta1otimesa2otimesshifta3otimes1_2');
var('underbracea1a21dotsa24otimesshifta25otimesshifta3otimeshatomega_3');
var('underbracehatomegaotimesshifta1otimesshifta21otimesa22dotsa25a3_4');
var('underbrace1otimesshifta1otimeshatomegaa2otimesshifta3otimes1_5');
var('underbrace1otimesshifta1otimesa2hatomegaotimesshifta3otimes1_6');
var('underbrace1otimesshifta1otimesshifta21otimeshatomegaa22dotsa25a3_7');
var('underbracea1a21dotsa24hatomegaotimesshifta25otimesshifta3otimes1_8');
var('underbrace1otimesshifta1otimes1otimesshifta21otimesa22dotsa25a3_9');
var('underbracea1a21dotsa24otimesshifta25otimes1otimesshifta3otimes1_10');
var('underbrace1otimesshifta1otimesshiftotimesshiftpartialshiftinversea2otimesshifta3otimes1_11');
var('underbrace1otimesshifta1otimesshifta21otimesa22dotsa25a3hatomega_12');
var('underbracea1otimesshifta21otimesa22dotsa25otimesshifta3otimes1_13');
var('underbracehatomegaa1a21dotsa24otimesshifta25otimesshifta3otimes1_14');
var('underbrace1otimesshifta1otimesa21dotsa24otimesshifta25otimesa3_15');
var('underbracea1a21a22hatomegaa23a24otimesshifta25otimesshifta3otimes1_16');
var('underbracea1a21a22a23hatomegaa24otimesshifta25otimesshifta3otimes1_17');
var('underbracea1a21a22otimesshifta23otimesa24otimesshifta25otimesa3_18');
var('underbracea1a21a22otimesshifta23otimesa24a25otimesshifta3otimes1_19');
var('underbracea1otimesshifta21otimesa22otimesshifta23otimesa24a25a3_20');
var('underbrace1otimesshifta1otimesa21a22otimesshifta23otimesa24a25a3_21');
var('underbrace1otimesshifta1otimesshifta21otimesa22hatomegaa23a24a25a3_22');
var('underbrace1otimesshifta1otimesshifta21otimesa22a23hatomegaa24a25a3_23');
var('underbracea1a21hatomegaa22dotsa24otimesshifta25otimesshifta3otimes1_24');
var('underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23dotsa25a3_25');
var('underbracea1otimesshifta21otimesshifta221otimesa222dotsa225a23a24a25a3_26');
var('underbracea1otimesshifta21otimesa22a23a24otimesshifta25otimesa3_27');
var('underbrace1otimesshifta1otimesshifta21otimesa22dotsa24hatomegaa25a3_28');
var('underbrace1otimesshifta1otimesshifta21otimesa22dotsa25hatomegaa3_29');
var('underbrace1otimesshifta1a21otimesa22dotsa24otimesshifta25otimesa3_30');
var('underbrace1otimesshifta1a21otimesa22dotsa25otimesshifta3otimes1_31');
var('underbracea1a21dotsa23shiftotimesshiftpartialshiftinversea24otimesshifta25otimesshifta3otimes1_32');
var('underbracea1a21a22a23a241dotsa244otimesshifta245otimesshifta25otimesa3_33');
0+0-underbracea1a21a22otimesshifta23otimesa24otimesshifta25otimesa3_18+underbracea1otimesshifta21otimesa22a23a24otimesshifta25otimesa3_27-underbracea1otimesshifta21otimesa22otimesshifta23otimesa24a25a3_20-underbracea1otimesshifta21otimesshifta221otimesa222dotsa225a23a24a25a3_26-underbracea1a21a22a23a241dotsa244otimesshifta245otimesshifta25otimesa3_33+0-underbrace1otimesshifta1otimesa2otimesshifta3otimeshatomega_1-underbrace1otimesshifta1otimesshifta21otimesa22dotsa25a3hatomega_12-underbracea1a21dotsa24otimesshifta25otimesshifta3otimeshatomega_3+underbracea1otimesshifta21otimesa22dotsa25otimesshifta3otimes1_13-underbracea1a21a22otimesshifta23otimesa24a25otimesshifta3otimes1_19+underbracea1a21dotsa24otimesshifta25otimes1otimesshifta3otimes1_10-underbracehatomegaotimesshifta1otimesa2otimesshifta3otimes1_2-underbracehatomegaotimesshifta1otimesshifta21otimesa22dotsa25a3_4-underbracehatomegaa1a21dotsa24otimesshifta25otimesshifta3otimes1_14+0+underbrace1otimesshifta1otimes1otimesshifta21otimesa22dotsa25a3_9-underbrace1otimesshifta1otimesa21a22otimesshifta23otimesa24a25a3_21+underbrace1otimesshifta1otimesa21dotsa24otimesshifta25otimesa3_15+underbracehatomegaotimesshifta1otimesa2otimesshifta3otimes1_2+underbrace1otimesshifta1otimeshatomegaa2otimesshifta3otimes1_5-underbrace1otimesshifta1otimeshatomegaa2otimesshifta3otimes1_5-underbrace1otimesshifta1otimesa2hatomegaotimesshifta3otimes1_6-underbrace1otimesshifta1otimesshiftotimesshiftpartialshiftinversea2otimesshifta3otimes1_11+underbrace1otimesshifta1otimesa2hatomegaotimesshifta3otimes1_6+underbrace1otimesshifta1otimesa2otimesshifta3otimeshatomega_1+underbracehatomegaotimesshifta1otimesshifta21otimesa22dotsa25a3_4+underbrace1otimesshifta1otimesshifta21otimeshatomegaa22dotsa25a3_7-underbrace1otimesshifta1otimes1otimesshifta21otimesa22dotsa25a3_9-underbrace1otimesshifta1otimesshifta21otimeshatomegaa22dotsa25a3_7-underbrace1otimesshifta1otimesshifta21otimesa22hatomegaa23a24a25a3_22-underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23dotsa25a3_25+underbrace1otimesshifta1otimesshifta21otimesa22a23hatomegaa24a25a3_23+underbrace1otimesshifta1otimesshifta21otimesa22dotsa24hatomegaa25a3_28+underbracea1a21hatomegaa22dotsa24otimesshifta25otimesshifta3otimes1_24+underbracea1a21a22hatomegaa23a24otimesshifta25otimesshifta3otimes1_16-underbracea1a21a22a23hatomegaa24otimesshifta25otimesshifta3otimes1_17-underbracea1a21dotsa24hatomegaotimesshifta25otimesshifta3otimes1_8-underbracea1a21dotsa23shiftotimesshiftpartialshiftinversea24otimesshifta25otimesshifta3otimes1_32+underbracea1a21dotsa24hatomegaotimesshifta25otimesshifta3otimes1_8+underbracea1a21dotsa24otimesshifta25otimesshifta3otimeshatomega_3-underbracea1a21dotsa24otimesshifta25otimes1otimesshifta3otimes1_10+underbracea1otimesshifta21otimesshifta221otimesa222dotsa225a23a24a25a3_26+underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23dotsa25a3_25+0+0+0-underbracea1otimesshifta21otimesa22dotsa25otimesshifta3otimes1_13+underbrace1otimesshifta1a21otimesa22dotsa25otimesshifta3otimes1_31+underbrace1otimesshifta1otimesshiftotimesshiftpartialshiftinversea2otimesshifta3otimes1_11+0+0-underbrace1otimesshifta1otimesshifta21otimesa22dotsa25hatomegaa3_29+underbrace1otimesshifta1otimesshifta21otimesa22dotsa25a3hatomega_12+underbracehatomegaa1a21dotsa24otimesshifta25otimesshifta3otimes1_14-underbracea1a21hatomegaa22dotsa24otimesshifta25otimesshifta3otimes1_24+0+0-underbrace1otimesshifta1a21otimesa22dotsa25otimesshifta3otimes1_31-underbrace1otimesshifta1a21otimesa22dotsa24otimesshifta25otimesa3_30+0-underbracea1a21a22hatomegaa23a24otimesshifta25otimesshifta3otimes1_16+underbracea1a21a22a23hatomegaa24otimesshifta25otimesshifta3otimes1_17+0+underbracea1a21a22otimesshifta23otimesa24a25otimesshifta3otimes1_19+underbracea1a21a22otimesshifta23otimesa24otimesshifta25otimesa3_18+underbracea1otimesshifta21otimesa22otimesshifta23otimesa24a25a3_20+underbrace1otimesshifta1otimesa21a22otimesshifta23otimesa24a25a3_21+0+underbrace1otimesshifta1otimesshifta21otimesa22hatomegaa23a24a25a3_22-underbrace1otimesshifta1otimesshifta21otimesa22a23hatomegaa24a25a3_23+0-underbracea1otimesshifta21otimesa22a23a24otimesshifta25otimesa3_27+underbrace1otimesshifta1a21otimesa22dotsa24otimesshifta25otimesa3_30-underbrace1otimesshifta1otimesa21dotsa24otimesshifta25otimesa3_15+0+0-underbrace1otimesshifta1otimesshifta21otimesa22dotsa24hatomegaa25a3_28+underbrace1otimesshifta1otimesshifta21otimesa22dotsa25hatomegaa3_29+0+0+0+underbracea1a21dotsa23shiftotimesshiftpartialshiftinversea24otimesshifta25otimesshifta3otimes1_32+underbracea1a21a22a23a241dotsa244otimesshifta245otimesshifta25otimesa3_33