-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsagemath_A.sage
16 lines (15 loc) · 3.46 KB
/
sagemath_A.sage
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
var('underbracehatomegaa_1otimesshifta_2otimesdotsotimesshifta_iotimes1_1');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesa_ihatomega_2');
var('underbracehatomegaotimesshifta_1otimesdotsotimesshifta_iminus1otimesa_i_4');
var('underbracea_1otimesshifta_2otimesdotsotimesshifta_iotimeshatomega_5');
var('underbracea_1hatomegaotimesshifta_2otimesdotsotimesshifta_iotimes1_8');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimeshatomegaa_i_9');
var('underbraceshiftpartiala_1otimesshifta_2otimesdotsotimesshifta_iotimes1_11');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshiftpartiala_i_12');
var('underbracea_1a_21a_22otimesshifta_23otimesshifta_3otimesdotsotimesshifta_iotimes1_13');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus11otimesa_iminus12a_iminus13a_i_14');
var('underbracea_1otimesshifta_2otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2a_i3_15')
var('underbracea_11a_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iminus1otimesa_i_16');
var('underbracea_11a_12otimesshifta_13a_2otimesshifta_3otimesdotsotimesshifta_iotimes1_18');
var('underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus1a_i1otimesa_i2a_i3_19');
underbracea_1hatomegaotimesshifta_2otimesdotsotimesshifta_iotimes1_8+underbracea_1otimesshifta_2otimesdotsotimesshifta_iotimeshatomega_5-underbracea_1a_21a_22otimesshifta_23otimesshifta_3otimesdotsotimesshifta_iotimes1_13+underbracea_1otimesshifta_2otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2a_i3_15+underbracehatomegaotimesshifta_1otimesdotsotimesshifta_iminus1otimesa_i_4+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimeshatomegaa_i_9-underbracea_11a_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iminus1otimesa_i_16+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus11otimesa_iminus12a_iminus13a_i_14+underbracea_11a_12otimesshifta_13a_2otimesshifta_3otimesdotsotimesshifta_iotimes1_18+underbracea_1a_21a_22otimesshifta_23otimesshifta_3otimesdotsotimesshifta_iotimes1_13-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus11otimesa_iminus12a_iminus13a_i_14-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus1a_i1otimesa_i2a_i3_19-underbracehatomegaa_1otimesshifta_2otimesdotsotimesshifta_iotimes1_1-underbracehatomegaotimesshifta_1otimesdotsotimesshifta_iminus1otimesa_i_4-underbracea_1otimesshifta_2otimesdotsotimesshifta_iotimeshatomega_5-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesa_ihatomega_2+underbracehatomegaa_1otimesshifta_2otimesdotsotimesshifta_iotimes1_1-underbracea_1hatomegaotimesshifta_2otimesdotsotimesshifta_iotimes1_8-underbraceshiftpartiala_1otimesshifta_2otimesdotsotimesshifta_iotimes1_11-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimeshatomegaa_i_9+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesa_ihatomega_2+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshiftpartiala_i_12+underbraceshiftpartiala_1otimesshifta_2otimesdotsotimesshifta_iotimes1_11-underbracea_11a_12otimesshifta_13a_2otimesshifta_3otimesdotsotimesshifta_iotimes1_18+underbracea_11a_12otimesshifta_13otimesshifta_2otimesdotsotimesshifta_iminus1otimesa_i_16-underbracea_1otimesshifta_2otimesdotsotimesshifta_iminus1otimesshifta_i1otimesa_i2a_i3_15+underbrace1otimesshifta_1otimesdotsotimesshifta_iminus2otimesshifta_iminus1a_i1otimesa_i2a_i3_19-underbrace1otimesshifta_1otimesdotsotimesshifta_iminus1otimesshiftpartiala_i_12;