-
Notifications
You must be signed in to change notification settings - Fork 0
/
sagemath_B2c.sage
28 lines (27 loc) · 8 KB
/
sagemath_B2c.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
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus1a_i1otimesa_i2otimesshifta_i3otimes1_5');
var('underbrace1otimesshifta_11otimesa_12otimesshifta_13a_2otimesshifta_3otimesdotsotimesshifta_iotimes1_6');
var('underbracea_11a_121dotsa_124otimesshifta_125otimesshifta_13otimesa_2otimesdotsotimesshifta_iminus1otimesa_i_7');
var('underbracea_1otimesshifta_2otimesdotsotimesshifta_iminus1otimesshifta_i1otimesshifta_i21otimesa_i22dotsa_i25a_i3_8');
var('underbrace1otimesshifta_11otimesa_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iminus1otimesa_i_9');
var('underbracea_1otimesshifta_2otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2otimesshifta_i3otimes1_10');
var('underbracea_11a_121dotsa_124otimesshifta_125otimesshifta_13a_2otimesshifta_3otimesdotsotimesshifta_iotimes1_11');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus1a_i1otimesshifta_i21otimesa_i22dotsa_i25a_i3_12');
var('underbracehatomegahatomegaotimesshifta_1otimesdotsotimesshifta_iotimes1_13');
var('underbracehatomegaotimesshifta_1otimesdotsotimesshifta_iotimeshatomega_14');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iotimeshatomegahatomega_15');
var('underbracea_11hatomegaa_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimes1_20');
var('underbracea_11shiftotimesshiftpartialshiftinversea_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimes1_21');
var('underbracea_11a_12hatomegaotimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimes1_22');
var('underbracea_11a_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2a_i3_23');
var('underbracehatomegaotimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2a_i3_24');
var('underbracea_11a_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimeshatomega_25');
var('underbracehatomegaa_11a_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimes1_28');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2a_i3hatomega_29');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimeshatomegaa_i2a_i3_30');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2hatomegaa_i3_31');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimesshiftotimesshiftpartialshiftinversea_i2a_i3_32');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimes1otimesshifta_i1otimesa_i2a_i3_33');
var('underbracea_11a_12otimesshifta_13otimes1otimesshifta_2otimesdotsotimesshifta_iotimes1_34');
var('underbracea_1a_21a_221dotsa_224otimesshifta_225otimesshifta_23otimesshifta_3otimesdotsotimesshifta_iotimes1_43');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus11otimesshifta_iminus121otimesa_iminus122dotsa_iminus125a_iminus13a_i_44');
-underbracehatomegahatomegaotimesshifta_1otimesdotsotimesshifta_iotimes1_13-underbracehatomegaotimesshifta_1otimesdotsotimesshifta_iotimeshatomega_14-underbrace1otimesshifta_1otimesdotsotimesshifta_iotimeshatomegahatomega_15+underbracea_11a_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimeshatomega_25-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2a_i3hatomega_29+underbracehatomegahatomegaotimesshifta_1otimesdotsotimesshifta_iotimes1_13+underbracehatomegaotimesshifta_1otimesdotsotimesshifta_iotimeshatomega_14-underbracehatomegaa_11a_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimes1_28+underbracehatomegaotimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2a_i3_24+underbrace1otimesshifta_1otimesdotsotimesshifta_iotimeshatomegahatomega_15-underbracea_11a_12otimesshifta_13otimes1otimesshifta_2otimesdotsotimesshifta_iotimes1_34-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimes1otimesshifta_i1otimesa_i2a_i3_33+underbracea_11hatomegaa_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimes1_20+underbracea_11a_12hatomegaotimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimes1_22+underbracea_11shiftotimesshiftpartialshiftinversea_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimes1_21-underbracehatomegaotimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2a_i3_24-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimeshatomegaa_i2a_i3_30+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimes1otimesshifta_i1otimesa_i2a_i3_33+underbracea_11a_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2a_i3_23-underbracea_11a_12hatomegaotimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimes1_22-underbracea_11a_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimeshatomega_25+underbracea_11a_12otimesshifta_13otimes1otimesshifta_2otimesdotsotimesshifta_iotimes1_34-underbracea_11a_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2a_i3_23+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimeshatomegaa_i2a_i3_30+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2hatomegaa_i3_31+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimesshiftotimesshiftpartialshiftinversea_i2a_i3_32+underbracea_1otimesshifta_2otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2otimesshifta_i3otimes1_10+underbracea_1a_21a_221dotsa_224otimesshifta_225otimesshifta_23otimesshifta_3otimesdotsotimesshifta_iotimes1_43+underbracea_1otimesshifta_2otimesdotsotimesshifta_iminus1otimesshifta_i1otimesshifta_i21otimesa_i22dotsa_i25a_i3_8-underbrace1otimesshifta_11otimesa_12otimesshifta_13a_2otimesshifta_3otimesdotsotimesshifta_iotimes1_6-underbracea_11a_121dotsa_124otimesshifta_125otimesshifta_13a_2otimesshifta_3otimesdotsotimesshifta_iotimes1_11-underbracea_1a_21a_221dotsa_224otimesshifta_225otimesshifta_23otimesshifta_3otimesdotsotimesshifta_iotimes1_43-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus1a_i1otimesa_i2otimesshifta_i3otimes1_5-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus11otimesshifta_iminus121otimesa_iminus122dotsa_iminus125a_iminus13a_i_44-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus1a_i1otimesshifta_i21otimesa_i22dotsa_i25a_i3_12+underbrace1otimesshifta_11otimesa_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iminus1otimesa_i_9+underbracea_11a_121dotsa_124otimesshifta_125otimesshifta_13otimesa_2otimesdotsotimesshifta_iminus1otimesa_i_7+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus11otimesshifta_iminus121otimesa_iminus122dotsa_iminus125a_iminus13a_i_44+underbracehatomegaa_11a_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimes1_28-underbracea_11hatomegaa_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimes1_20+0+underbrace1otimesshifta_11otimesa_12otimesshifta_13a_2otimesshifta_3otimesdotsotimesshifta_iotimes1_6-underbrace1otimesshifta_11otimesa_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iminus1otimesa_i_9-underbracea_1otimesshifta_2otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2otimesshifta_i3otimes1_10+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus1a_i1otimesa_i2otimesshifta_i3otimes1_5+0-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2hatomegaa_i3_31+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2a_i3hatomega_29+0+0+0-underbracea_11shiftotimesshiftpartialshiftinversea_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iotimes1_21+underbracea_11a_121dotsa_124otimesshifta_125otimesshifta_13a_2otimesshifta_3otimesdotsotimesshifta_iotimes1_11-underbracea_11a_121dotsa_124otimesshifta_125otimesshifta_13otimesa_2otimesdotsotimesshifta_iminus1otimesa_i_7-underbracea_1otimesshifta_2otimesdotsotimesshifta_iminus1otimesshifta_i1otimesshifta_i21otimesa_i22dotsa_i25a_i3_8+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus1a_i1otimesshifta_i21otimesa_i22dotsa_i25a_i3_12-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshifta_i1otimesshiftotimesshiftpartialshiftinversea_i2a_i3_32+0+0;