sagemath_C2a.sage

var('underbracehatomegaotimesshiftvarphi1otimesvarphi2dotsvarphi5_1');
var('underbracehatomegavarphi1varphi2otimesshiftvarphi3otimesvarphi4varphi5_2');
var('underbracevarphi1hatomegavarphi2otimesshiftvarphi3otimesvarphi4varphi5_3');
var('underbracehatomegavarphi1dotsvarphi4otimesshiftvarphi5otimes1_4');
var('underbracevarphi1hatomegavarphi2varphi3varphi4otimesshiftvarphi5otimes1_5');
var('underbracevarphi1otimesshiftvarphi21otimesvarphi22dotsvarphi25varphi3varphi4varphi5_6');
var('underbrace1otimesshiftvarphi1otimesshiftotimesshiftpartialshiftinversevarphi2varphi3varphi4varphi5_7');
var('underbracevarphi1varphi2hatomegavarphi3varphi4otimesshiftvarphi5otimes1_8');
var('underbracevarphi1varphi2varphi3hatomegavarphi4otimesshiftvarphi5otimes1_9');
var('underbracevarphi1varphi2varphi3otimesshiftvarphi41otimesvarphi42dotsvarphi45varphi5_10');
var('underbracevarphi1varphi2otimesshiftvarphi3otimesshiftotimesshiftpartialshiftinversevarphi4varphi5_11');
var('underbrace1otimesshiftvarphi1otimesvarphi2hatomegavarphi3varphi4varphi5_12');
var('underbrace1otimesshiftvarphi1otimesvarphi2varphi3hatomegavarphi4varphi5_13');
var('underbracevarphi1shiftotimesshiftpartialshiftinversevarphi2otimesshiftvarphi3otimesvarphi4varphi5_14');
var('underbracevarphi1varphi21dotsvarphi24otimesshiftvarphi25otimesvarphi3varphi4varphi5_15');
var('underbracevarphi1varphi2hatomegaotimesshiftvarphi3otimesvarphi4varphi5_16');
var('underbracevarphi1varphi2otimesshiftvarphi3otimeshatomegavarphi4varphi5_17');
var('underbracevarphi1dotsvarphi4hatomegaotimesshiftvarphi5otimes1_18');
var('underbracevarphi1dotsvarphi4otimesshiftvarphi5otimeshatomega_19');
var('underbracevarphi1varphi2otimesshiftvarphi3otimesvarphi4hatomegavarphi5_20');
var('underbracevarphi1varphi2otimesshiftvarphi3otimesvarphi4varphi5hatomega_21');
var('underbracevarphi1varphi2varphi3shiftotimesshiftpartialshiftinversevarphi4otimesshiftvarphi5otimes1_22');
var('underbracevarphi1varphi2varphi3varphi41dotsvarphi44otimesshiftvarphi45otimesvarphi5_23');
var('underbrace1otimesshiftvarphi1otimesvarphi2varphi3varphi4hatomegavarphi5_24');
var('underbrace1otimesshiftvarphi1otimesvarphi2dotsvarphi5hatomega_25');
var('underbrace1otimesshiftvarphi1otimeshatomegavarphi2dotsvarphi5_26');
0-underbrace1otimesshiftvarphi1otimesvarphi2dotsvarphi5hatomega_25+underbracevarphi1varphi2otimesshiftvarphi3otimesvarphi4varphi5hatomega_21-underbracevarphi1dotsvarphi4otimesshiftvarphi5otimeshatomega_19+underbracevarphi1otimesshiftvarphi21otimesvarphi22dotsvarphi25varphi3varphi4varphi5_6+underbracevarphi1varphi21dotsvarphi24otimesshiftvarphi25otimesvarphi3varphi4varphi5_15-underbracehatomegaotimesshiftvarphi1otimesvarphi2dotsvarphi5_1+underbracehatomegavarphi1varphi2otimesshiftvarphi3otimesvarphi4varphi5_2-underbracehatomegavarphi1dotsvarphi4otimesshiftvarphi5otimes1_4+0+underbracevarphi1varphi2varphi3otimesshiftvarphi41otimesvarphi42dotsvarphi45varphi5_10+underbracevarphi1varphi2varphi3varphi41dotsvarphi44otimesshiftvarphi45otimesvarphi5_23+underbracehatomegaotimesshiftvarphi1otimesvarphi2dotsvarphi5_1+underbrace1otimesshiftvarphi1otimeshatomegavarphi2dotsvarphi5_26-underbracevarphi1hatomegavarphi2otimesshiftvarphi3otimesvarphi4varphi5_3-underbracevarphi1varphi2hatomegaotimesshiftvarphi3otimesvarphi4varphi5_16-underbracevarphi1shiftotimesshiftpartialshiftinversevarphi2otimesshiftvarphi3otimesvarphi4varphi5_14+underbracevarphi1hatomegavarphi2varphi3varphi4otimesshiftvarphi5otimes1_5+underbracevarphi1varphi2hatomegavarphi3varphi4otimesshiftvarphi5otimes1_8-underbrace1otimesshiftvarphi1otimeshatomegavarphi2dotsvarphi5_26-underbrace1otimesshiftvarphi1otimesvarphi2hatomegavarphi3varphi4varphi5_12-underbrace1otimesshiftvarphi1otimesshiftotimesshiftpartialshiftinversevarphi2varphi3varphi4varphi5_7+underbracevarphi1varphi2otimesshiftvarphi3otimeshatomegavarphi4varphi5_17+underbracevarphi1varphi2hatomegaotimesshiftvarphi3otimesvarphi4varphi5_16-underbracevarphi1dotsvarphi4hatomegaotimesshiftvarphi5otimes1_18-underbracevarphi1varphi2varphi3hatomegavarphi4otimesshiftvarphi5otimes1_9-underbracevarphi1varphi2varphi3shiftotimesshiftpartialshiftinversevarphi4otimesshiftvarphi5otimes1_22+underbrace1otimesshiftvarphi1otimesvarphi2varphi3hatomegavarphi4varphi5_13+underbrace1otimesshiftvarphi1otimesvarphi2varphi3varphi4hatomegavarphi5_24-underbracevarphi1varphi2otimesshiftvarphi3otimeshatomegavarphi4varphi5_17-underbracevarphi1varphi2otimesshiftvarphi3otimesvarphi4hatomegavarphi5_20-underbracevarphi1varphi2otimesshiftvarphi3otimesshiftotimesshiftpartialshiftinversevarphi4varphi5_11+underbracevarphi1dotsvarphi4hatomegaotimesshiftvarphi5otimes1_18+underbracevarphi1dotsvarphi4otimesshiftvarphi5otimeshatomega_19+0-underbracevarphi1varphi2hatomegavarphi3varphi4otimesshiftvarphi5otimes1_8+underbracevarphi1varphi2varphi3hatomegavarphi4otimesshiftvarphi5otimes1_9+0+underbracevarphi1varphi2otimesshiftvarphi3otimesvarphi4hatomegavarphi5_20-underbracevarphi1varphi2otimesshiftvarphi3otimesvarphi4varphi5hatomega_21+underbracehatomegavarphi1dotsvarphi4otimesshiftvarphi5otimes1_4-underbracevarphi1hatomegavarphi2varphi3varphi4otimesshiftvarphi5otimes1_5+0+0-underbrace1otimesshiftvarphi1otimesvarphi2varphi3varphi4hatomegavarphi5_24+underbrace1otimesshiftvarphi1otimesvarphi2dotsvarphi5hatomega_25-underbracehatomegavarphi1varphi2otimesshiftvarphi3otimesvarphi4varphi5_2+underbracevarphi1hatomegavarphi2otimesshiftvarphi3otimesvarphi4varphi5_3++0+underbrace1otimesshiftvarphi1otimesvarphi2hatomegavarphi3varphi4varphi5_12-underbrace1otimesshiftvarphi1otimesvarphi2varphi3hatomegavarphi4varphi5_13+0+0+0+underbracevarphi1shiftotimesshiftpartialshiftinversevarphi2otimesshiftvarphi3otimesvarphi4varphi5_14-underbracevarphi1varphi21dotsvarphi24otimesshiftvarphi25otimesvarphi3varphi4varphi5_15+0-underbracevarphi1otimesshiftvarphi21otimesvarphi22dotsvarphi25varphi3varphi4varphi5_6+underbrace1otimesshiftvarphi1otimesshiftotimesshiftpartialshiftinversevarphi2varphi3varphi4varphi5_7+0+0+0+0-underbracevarphi1varphi2varphi3otimesshiftvarphi41otimesvarphi42dotsvarphi45varphi5_10+underbracevarphi1varphi2otimesshiftvarphi3otimesshiftotimesshiftpartialshiftinversevarphi4varphi5_11+0+0+0+0+0+underbracevarphi1varphi2varphi3shiftotimesshiftpartialshiftinversevarphi4otimesshiftvarphi5otimes1_22-underbracevarphi1varphi2varphi3varphi41dotsvarphi44otimesshiftvarphi45otimesvarphi5_23;