Pensieve header: Fixing many many signs for SnG.

SetDirectory["C:\\drorbn\\AcademicPensieve\\2016-03"];
<< SnG.m

hmhts[u_] := (u// hm[2,1,1] // hts[1,4]) -(u// hts[1,4] // hts[2,4] // hm[2,1,1]);
UU[δaa[(Subscript[f, 37])[(Subscript[b, 4]),(Subscript[b, 5])],4,1,4,2]] // hmhts

(Subscript[ϵ, 16])=(Subscript[ϵ, 8])(Subscript[ϵ, 14]);

tmhts[u_] := (u// tm[1,2,1] // hts[4,1]) -(u// hts[4,1] // hts[4,2] // tm[1,2,1]);
tmhts@UU[a[(Subscript[f, 2])[(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3])],1,4]]

(Subscript[ϵ, 7])=(Subscript[ϵ, 8])(Subscript[ϵ, 13]);

tmhts[u_] := (u// tm[1,2,1] // hts[4,1]) -(u// hts[4,1] // hts[4,2] // tm[1,2,1]);
tmhts@UU[a[(Subscript[f, 6])[(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3])],2,4]]

(Subscript[ϵ, 13])=(Subscript[ϵ, 11]);

tmhts[u_] := (u// tm[1,2,1] // hts[4,1]) -(u// hts[4,1] // hts[4,2] // tm[1,2,1]);
tmhts@UU[δaa[(Subscript[f, 32])[(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3])],1,4,2,4]]

(Subscript[ϵ, 14])=(Subscript[ϵ, 3]);

tmhts[u_] := (u// tm[2,1,1] // hts[4,1]) -(u// hts[4,2] // hts[4,1] // tm[2,1,1]);
tmhts@UU[δaa[(Subscript[f, 32])[(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3])],1,4,2,4]]

(Subscript[ϵ, 15])=-(Subscript[ϵ, 1]);

hmhts[u_] := (u// hm[1,2,1] // hts[1,4]) -(u// hts[2,4] // hts[1,4] // hm[1,2,1]);
hmhts@UU[ca[(Subscript[f, 24])[(Subscript[b, 4]),(Subscript[b, 5])],2,4,1]]

(Subscript[ϵ, 12])=(Subscript[ϵ, 10]);

hmhts[u_] := (u// hm[1,2,1] // hts[1,4]) -(u// hts[2,4] // hts[1,4] // hm[1,2,1]);
hmhts@UU[δaa[(Subscript[f, 37])[(Subscript[b, 4]),(Subscript[b, 5])],4,1,4,2]]

(Subscript[ϵ, 3])=-(Subscript[ϵ, 1]);

hmhts[u_] := (u// hm[2,1,1] // hts[1,4]) -(u// hts[1,4] // hts[2,4] // hm[2,1,1]);
hmhts@UU[δaa[(Subscript[f, 43])[(Subscript[b, 4]),(Subscript[b, 5])],4,1,5,2]]

(Subscript[ϵ, 2])=(Subscript[ϵ, 1]);

tbAS[u_,v_] := tb[0][u, v] + tb[0][v,u];
tbAS@@{UU[a[(Subscript[f, 2])[(Subscript[b, 0]),(Subscript[b, 1])],0,1]],UU[a[(Subscript[g, 2])[(Subscript[b, 0]),(Subscript[b, 2])],0,3]]}

(Subscript[ϵ, 41])=(Subscript[ϵ, 40]);

tbAS[u_,v_] := tb[0][u, v] + tb[0][v,u];
tbAS@@{UU[a[(Subscript[f, 2])[(Subscript[b, 0]),(Subscript[b, 1])],0,1]],UU[a[(Subscript[g, 6])[(Subscript[b, 0]),(Subscript[b, 2])],2,3]]}

(Subscript[ϵ, 42])=(Subscript[ϵ, 40]);

hbJacobi[u_,v_,w_] := hb[0][u, hb[0][v,w]] + hb[0][v, hb[0][w,u]] + hb[0][w, hb[0][u,v]];
hbJacobi@@{UU[a[(Subscript[f, 2])[(Subscript[b, 1]),(Subscript[b, 2])],1,0]],UU[a[(Subscript[g, 2])[(Subscript[b, 3]),(Subscript[b, 4])],3,0]],UU[δa[(Subscript[h, 3])[(Subscript[b, 5]),(Subscript[b, 6])],5,0]]}

(Subscript[ϵ, 20])=(Subscript[ϵ, 18]);

hbJacobi[u_,v_,w_] := hb[0][u, hb[0][v,w]] + hb[0][v, hb[0][w,u]] + hb[0][w, hb[0][u,v]];
hbJacobi@@{UU[a[(Subscript[f, 2])[(Subscript[b, 1]),(Subscript[b, 2])],1,0]],UU[a[(Subscript[g, 2])[(Subscript[b, 3]),(Subscript[b, 4])],3,0]],UU[c[(Subscript[h, 11])[(Subscript[b, 5]),(Subscript[b, 6])],0]]}

(Subscript[ϵ, 18])=(Subscript[ϵ, 19])(Subscript[ϵ, 48]);

hbJacobi[u_,v_,w_] := hb[0][u, hb[0][v,w]] + hb[0][v, hb[0][w,u]] + hb[0][w, hb[0][u,v]];
hbJacobi@@{UU[a[(Subscript[f, 2])[(Subscript[b, 1]),(Subscript[b, 2])],1,0]],UU[a[(Subscript[g, 2])[(Subscript[b, 3]),(Subscript[b, 4])],3,0]],UU[ca[(Subscript[h, 13])[(Subscript[b, 5]),(Subscript[b, 6])],0,5,0]]}

(Subscript[ϵ, 22])=(Subscript[ϵ, 19])(Subscript[ϵ, 48]);

(Subscript[ϵ, 24])=(Subscript[ϵ, 19])(Subscript[ϵ, 48]);

hbJacobi[u_,v_,w_] := hb[0][u, hb[0][v,w]] + hb[0][v, hb[0][w,u]] + hb[0][w, hb[0][u,v]];
hbJacobi@@{UU[δaa[(Subscript[f, 28])[(Subscript[b, 1]),(Subscript[b, 2])],2,0,2,1]],UU[a[(Subscript[g, 6])[(Subscript[b, 3]),(Subscript[b, 4])],4,0]],UU[a[(Subscript[h, 6])[(Subscript[b, 5]),(Subscript[b, 6])],6,0]]}

(Subscript[ϵ, 21])=(Subscript[ϵ, 19]);

(Subscript[ϵ, 48])=(Subscript[ϵ, 4]);

hbJacobi[u_,v_,w_] := hb[0][u, hb[0][v,w]] + hb[0][v, hb[0][w,u]] + hb[0][w, hb[0][u,v]];
hbJacobi@@{UU[a[(Subscript[f, 2])[(Subscript[b, 1]),(Subscript[b, 2])],1,0]],UU[a[(Subscript[g, 2])[(Subscript[b, 3]),(Subscript[b, 4])],3,0]],UU[ca[(Subscript[h, 13])[(Subscript[b, 5]),(Subscript[b, 6])],0,5,0]]}

(Subscript[ϵ, 23])=(Subscript[ϵ, 4])(Subscript[ϵ, 19]);

thhJacobi[u_,v_,w_] := Plus[
-thb[0,0][u,hb[0][v,w]]+hb[0][thb[0,0][u,v],w]+thb[0,0][thb[0,0][u,v], w]+hb[0][v,thb[0,0][u,w]]-thb[0,0][thb[0,0][u,w],v]
];
thhJacobi@@{UU[a[(Subscript[f, 2])[(Subscript[b, 0]),(Subscript[b, 1])],0,1]],UU[a[(Subscript[g, 2])[(Subscript[b, 2]),(Subscript[b, 3])],2,0]],UU[a[(Subscript[h, 2])[(Subscript[b, 4]),(Subscript[b, 5])],4,0]]}

(Subscript[ϵ, 37])=(Subscript[ϵ, 25]);

(Subscript[ϵ, 25])=(Subscript[ϵ, 4])(Subscript[ϵ, 19]);

(Subscript[ϵ, 46])=(Subscript[ϵ, 45]);

(Subscript[ϵ, 36])=(Subscript[ϵ, 4])(Subscript[ϵ, 19]);

(Subscript[ϵ, 26])=(Subscript[ϵ, 4])(Subscript[ϵ, 44]);

thhJacobi[u_,v_,w_] := Plus[
-thb[0,0][u,hb[0][v,w]]+hb[0][thb[0,0][u,v],w]+thb[0,0][thb[0,0][u,v], w]+hb[0][v,thb[0,0][u,w]]-thb[0,0][thb[0,0][u,w],v]
];
thhJacobi@@{UU[δaa[(Subscript[f, 23])[(Subscript[b, 0]),(Subscript[b, 1])],0,2,0,2]],UU[a[(Subscript[g, 6])[(Subscript[b, 2]),(Subscript[b, 3])],3,0]],UU[a[(Subscript[h, 6])[(Subscript[b, 4]),(Subscript[b, 5])],5,0]]}

(Subscript[ϵ, 19])=1/(Subscript[ϵ, 4]);

(Subscript[ϵ, 35])=1;

thhJacobi[u_,v_,w_] := Plus[
-thb[0,0][u,hb[0][v,w]]+hb[0][thb[0,0][u,v],w]+thb[0,0][thb[0,0][u,v], w]+hb[0][v,thb[0,0][u,w]]-thb[0,0][thb[0,0][u,w],v]
];
thhJacobi@@{UU[a[(Subscript[f, 2])[(Subscript[b, 0]),(Subscript[b, 1])],0,1]],UU[a[(Subscript[g, 2])[(Subscript[b, 2]),(Subscript[b, 3])],2,0]],UU[c[(Subscript[h, 11])[(Subscript[b, 4]),(Subscript[b, 5])],0]]}

(Subscript[ϵ, 28])=(Subscript[ϵ, 4])(Subscript[ϵ, 27]);

thhJacobi[u_,v_,w_] := Plus[
-thb[0,0][u,hb[0][v,w]]+hb[0][thb[0,0][u,v],w]+thb[0,0][thb[0,0][u,v], w]+hb[0][v,thb[0,0][u,w]]-thb[0,0][thb[0,0][u,w],v]
];
thhJacobi@@{UU[a[(Subscript[f, 2])[(Subscript[b, 0]),(Subscript[b, 1])],0,1]],UU[a[(Subscript[g, 2])[(Subscript[b, 2]),(Subscript[b, 3])],2,0]],UU[ca[(Subscript[h, 13])[(Subscript[b, 4]),(Subscript[b, 5])],0,4,0]]}

(Subscript[ϵ, 33])=(Subscript[ϵ, 30]);

(Subscript[ϵ, 32])=(Subscript[ϵ, 4])(Subscript[ϵ, 29]);

(Subscript[ϵ, 34])=(Subscript[ϵ, 4])(Subscript[ϵ, 31]);

thhJacobi[u_,v_,w_] := Plus[
-thb[0,0][u,hb[0][v,w]]+hb[0][thb[0,0][u,v],w]+thb[0,0][thb[0,0][u,v], w]+hb[0][v,thb[0,0][u,w]]-thb[0,0][thb[0,0][u,w],v]
];
thhJacobi@@{UU[a[(Subscript[f, 2])[(Subscript[b, 0]),(Subscript[b, 1])],0,1]],UU[a[(Subscript[g, 2])[(Subscript[b, 2]),(Subscript[b, 3])],2,0]],UU[δaa[(Subscript[h, 21])[(Subscript[b, 4]),(Subscript[b, 5])],4,0,4,0]]}

(Subscript[ϵ, 30])=(Subscript[ϵ, 4])(Subscript[ϵ, 29]);

(Subscript[ϵ, 31])=(Subscript[ϵ, 1])(Subscript[ϵ, 27]);

tthJacobi[u_,v_,w_] := Plus[
-thb[0,0][tb[0][u,v],w]+tb[0][thb[0,0][u,w],v]-thb[0,0][v, thb[0,0][u,w]]+tb[0][u,thb[0,0][v,w]]+thb[0,0][u,thb[0,0][v,w]]
];
tthJacobi@@{UU[β[(Subscript[f, 1])[(Subscript[b, 0]),(Subscript[b, 1])]]],UU[a[(Subscript[g, 2])[(Subscript[b, 0]),(Subscript[b, 2])],0,3]],UU[a[(Subscript[h, 2])[(Subscript[b, 3]),(Subscript[b, 4])],3,0]]}

(Subscript[ϵ, 43])=(Subscript[ϵ, 18]) (Subscript[ϵ, 39])/(Subscript[ϵ, 27])/(Subscript[ϵ, 4]);

tthJacobi[u_,v_,w_] := Plus[
-thb[0,0][tb[0][u,v],w]+tb[0][thb[0,0][u,w],v]-thb[0,0][v, thb[0,0][u,w]]+tb[0][u,thb[0,0][v,w]]+thb[0,0][u,thb[0,0][v,w]]
];
tthJacobi@@{UU[a[(Subscript[f, 2])[(Subscript[b, 0]),(Subscript[b, 1])],0,1]],UU[a[(Subscript[g, 2])[(Subscript[b, 0]),(Subscript[b, 2])],0,3]],UU[a[(Subscript[h, 2])[(Subscript[b, 3]),(Subscript[b, 4])],3,0]]}

(Subscript[ϵ, 40])=(Subscript[ϵ, 17])/(Subscript[ϵ, 4]);

(Subscript[ϵ, 17])=(Subscript[ϵ, 4]^2) (Subscript[ϵ, 29]) (Subscript[ϵ, 44]);

(Subscript[ϵ, 38])=1;

dbAS[u_,v_] := db[0][u, v] + db[0][v,u];
dbAS@@{UU[a[(Subscript[f, 2])[(Subscript[b, 0]),(Subscript[b, 1]),(Subscript[b, 2])],0,0]],UU[a[(Subscript[g, 2])[(Subscript[b, 0]),(Subscript[b, 3]),(Subscript[b, 4])],0,0]]}

(Subscript[ϵ, 11])=(Subscript[ϵ, 4]^2) (Subscript[ϵ, 10]) (Subscript[ϵ, 29]) (Subscript[ϵ, 44]) ;

dbJacobi[u_,v_,w_] := db[0][u, db[0][v,w]] + db[0][v, db[0][w,u]] + db[0][w, db[0][u,v]];
dbJacobi@@{UU[a[(Subscript[f, 2])[(Subscript[b, 0]),(Subscript[b, 1]),(Subscript[b, 2])],0,0]],UU[a[(Subscript[g, 4])[(Subscript[b, 0]),(Subscript[b, 3]),(Subscript[b, 4])],0,3]],UU[a[(Subscript[h, 8])[(Subscript[b, 0]),(Subscript[b, 5]),(Subscript[b, 6])],5,0]]}

(Subscript[ϵ, 29])=1/(Subscript[ϵ, 4]);

(Subscript[ϵ, 47])=(Subscript[ϵ, 4]) (Subscript[ϵ, 10]) (Subscript[ϵ, 44]);

(Subscript[ϵ, 45])=(Subscript[ϵ, 1])(Subscript[ϵ, 44]);

(Subscript[ϵ, 27])=1/(Subscript[ϵ, 4]);

(Subscript[ϵ, 1])=(Subscript[ϵ, 4])(Subscript[ϵ, 10]);

dbdm[u_,v_] := Plus[
db[1][u,dσ[2,-2][v]] // dm[2,-2,2],
-db[1][u,dσ[2,-2][v]] // dm[-2,2,2],
-db[2][u,dσ[1,-1][v]] // dm[1,-1,1],
db[2][u,dσ[1,-1][v]] // dm[-1,1,1]
];
dbdm@@{UU[a[(Subscript[f, 2])[(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 3])],1,1]],UU[a[(Subscript[g, 4])[(Subscript[b, 1]),(Subscript[b, 2]),(Subscript[b, 4])],1,2]]}

(Subscript[ϵ, 9])=(Subscript[ϵ, 4])(Subscript[ϵ, 10]);

dbdm[u_,v_] := Plus[
db[1][u,dσ[2,-2][v]] // dm[2,-2,2],
-db[1][u,dσ[2,-2][v]] // dm[-2,2,2],
-db[2][u,dσ[1,-1][v]] // dm[1,-1,1],
db[2][u,dσ[1,-1][v]] // dm[-1,1,1]
];
dbdm@@{UU[a[f[(Subscript[b, 2])],1,1]],UU[a[1,1,2]]}

bb4=bb[1,2,3,4]; bbAS[u_,v_] := bb4[u, v] + bb4[v,u];
bbAS@@{UU[a[(Subscript[f, 2])[(Subscript[b, 1]),(Subscript[b, 2])],1,1]],UU[a[(Subscript[g, 6])[(Subscript[b, 1]),(Subscript[b, 2])],2,1]]}

Table[i->(Subscript[ϵ, i]),{i,48}]

DeleteCases[{1->(Subscript[ϵ, 4]) (Subscript[ϵ, 10]),2->(Subscript[ϵ, 4]) (Subscript[ϵ, 10]),3->-(Subscript[ϵ, 4]) (Subscript[ϵ, 10]),4->(Subscript[ϵ, 4]),5->(Subscript[ϵ, 5]),6->(Subscript[ϵ, 6]),7->(Subscript[ϵ, 4]) (Subscript[ϵ, 8]) (Subscript[ϵ, 10]) (Subscript[ϵ, 44]),8->(Subscript[ϵ, 8]),9->(Subscript[ϵ, 4]) (Subscript[ϵ, 10]),10->(Subscript[ϵ, 10]),11->(Subscript[ϵ, 4]) (Subscript[ϵ, 10]) (Subscript[ϵ, 44]),12->(Subscript[ϵ, 10]),13->(Subscript[ϵ, 4]) (Subscript[ϵ, 10]) (Subscript[ϵ, 44]),14->-(Subscript[ϵ, 4]) (Subscript[ϵ, 10]),15->-(Subscript[ϵ, 4]) (Subscript[ϵ, 10]),16->-(Subscript[ϵ, 4]) (Subscript[ϵ, 8]) (Subscript[ϵ, 10]),17->(Subscript[ϵ, 4]) (Subscript[ϵ, 44]),18->1,19->(1/(Subscript[ϵ, 4])),20->1,21->(1/(Subscript[ϵ, 4])),22->1,23->1,24->1,25->1,26->(Subscript[ϵ, 4]) (Subscript[ϵ, 44]),27->(1/(Subscript[ϵ, 4])),28->1,29->(1/(Subscript[ϵ, 4])),30->1,31->(Subscript[ϵ, 10]),32->1,33->1,34->(Subscript[ϵ, 4]) (Subscript[ϵ, 10]),35->1,36->1,37->1,38->1,39->(Subscript[ϵ, 39]),40->(Subscript[ϵ, 44]),41->(Subscript[ϵ, 44]),42->(Subscript[ϵ, 44]),43->(Subscript[ϵ, 39]),44->(Subscript[ϵ, 44]),45->(Subscript[ϵ, 4]) (Subscript[ϵ, 10]) (Subscript[ϵ, 44]),46->(Subscript[ϵ, 4]) (Subscript[ϵ, 10]) (Subscript[ϵ, 44]),47->(Subscript[ϵ, 4]) (Subscript[ϵ, 10]) (Subscript[ϵ, 44]),48->(Subscript[ϵ, 4])} /. (Subscript[ϵ, _])->1, _->1]