-
Notifications
You must be signed in to change notification settings - Fork 0
/
sagemath_B2b.sage
16 lines (16 loc) · 2.32 KB
/
sagemath_B2b.sage
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
var('underbracehatomegahatomegaotimesshiftaotimes1_1');
var('underbracehatomegaotimesshiftaotimeshatomega_2');
var('underbrace1otimesshiftaotimeshatomegahatomega_3');
var('underbrace1otimesshifta1otimesa2a3hatomega_4');
var('underbracehatomegaa1a2otimesshifta3otimes1_5');
var('underbracea1hatomegaa2otimesshifta3otimes1_6');
var('underbrace1otimesshifta1otimesa2hatomegaa3_7');
var('underbracehatomegaotimesshifta1otimesa2a3_8');
var('underbracea1a2otimesshifta3otimeshatomega_9');
var('underbracea1a21dotsa24otimesshifta25otimesa3_10');
var('underbrace1otimesshifta1otimeshatomegaa2a3_11');
var('underbracea1a2hatomegaotimesshifta3otimes1_12');
var('underbrace1otimesshifta1otimesshiftotimesshiftpartialshiftinversea2a3_13');
var('underbracea1shiftotimesshiftpartialshiftinversea2otimesshifta3otimes1_14');
var('underbracea1otimesshifta21otimesa22dotsa25a3_15');
underbracehatomegahatomegaotimesshiftaotimes1_1+underbracehatomegaotimesshiftaotimeshatomega_2-underbracehatomegaa1a2otimesshifta3otimes1_5+underbracehatomegaotimesshifta1otimesa2a3_8+underbrace1otimesshiftaotimeshatomegahatomega_3-underbracea1a2hatomegaotimesshifta3otimes1_12-underbracea1a2otimesshifta3otimeshatomega_9+underbrace1otimesshifta1otimeshatomegaa2a3_11+underbrace1otimesshifta1otimesa2hatomegaa3_7+underbrace1otimesshifta1otimesshiftotimesshiftpartialshiftinversea2a3_13-underbracehatomegahatomegaotimesshiftaotimes1_1-underbracehatomegaotimesshiftaotimeshatomega_2-underbrace1otimesshiftaotimeshatomegahatomega_3+underbracea1a2otimesshifta3otimeshatomega_9-underbrace1otimesshifta1otimesa2a3hatomega_4+underbracea1hatomegaa2otimesshifta3otimes1_6+underbracea1a2hatomegaotimesshifta3otimes1_12+underbracea1shiftotimesshiftpartialshiftinversea2otimesshifta3otimes1_14-underbracehatomegaotimesshifta1otimesa2a3_8-underbrace1otimesshifta1otimeshatomegaa2a3_11-underbracea1otimesshifta21otimesa22dotsa25a3_15-underbracea1a21dotsa24otimesshifta25otimesa3_10+underbracehatomegaa1a2otimesshifta3otimes1_5-underbracea1hatomegaa2otimesshifta3otimes1_6+0+underbracea1otimesshifta21otimesa22dotsa25a3_15-underbrace1otimesshifta1otimesshiftotimesshiftpartialshiftinversea2a3_13+0+0+0-underbrace1otimesshifta1otimesa2hatomegaa3_7+underbrace1otimesshifta1otimesa2a3hatomega_4-underbracea1shiftotimesshiftpartialshiftinversea2otimesshifta3otimes1_14+underbracea1a21dotsa24otimesshifta25otimesa3_10+0;