{(SuperPlus[ρ])[u,x], (SuperPlus[ρ])[v,y]}

(SuperPlus[ρ])[u,x](SuperPlus[ρ])[v,y]

Λ1=(SuperPlus[ρ])[u,x](SuperPlus[ρ])[v,y](SuperPlus[ρ])[w,z]

Λ1 // tm[u,v,u] // tm[u,w,u]

Λ1 // tm[v,w,v] // tm[u,v,u]

Λ1 // hm[x,y,x] // hm[x,z,x]

Λ1 // hm[y,z,y] // hm[x,y,x]

{t1=(SuperPlus[ρ])[u,x](SuperPlus[ρ])[v,y](SuperPlus[ρ])[w,z] // tm[v,w,v] // hm[x,y,x] // tha[u,z],
t2=(SuperPlus[ρ])[v,x](SuperPlus[ρ])[w,z](SuperPlus[ρ])[u,y] // tm[v,w,v] // hm[x,y,x],
t1==t2}

Λ1=(SuperMinus[R])[12,1](SuperMinus[R])[2,7](SuperMinus[R])[8,3](SuperMinus[R])[4,11](SuperPlus[R])[16,5](SuperPlus[R])[6,13](SuperPlus[R])[14,9](SuperPlus[R])[10,15]

Λ2=Λ1; Do[Λ2 = Λ2 // dm[1,k,1], {k,2,16}]; Λ2

Coefficient[Λ2[[1]], Hs[] Ts[]]

<< KnotTheory`

Alexander[Knot[8,17]][t]

Λ4=Λ1; Do[Λ4 = Λ4 // dm[k,k-1,k-1], {k,16,8, -1}]; Λ4

{{u,v,w}={1,2,3};
t1=Λ4 // tm[u,v,u] // tm[u,w,u];
t2=Λ4 // tm[v,w,v] // tm[u,v,u];
t1==t2}

{x,y,z}={1,2,3};
(Λ4 // hm[x,y,x] // hm[x,z,x])==(Λ4 // hm[y,z,y] // hm[x,y,x])

{a,b,c}={1,2,3};
(Λ4 // dm[a,b,a] // dm[a,c,a])==(Λ4 // dm[b,c,b] // dm[a,b,a])

Λ4 // dm[a,b,a] // dm[a,c,a]

{(SuperPlus[R])[1,2] // B, (SuperMinus[R])[1,2] // B}

(SuperPlus[R])[1,2]

β1=B[Λ1]

Λ1 // dm[1,2,1] //dm[1,3,1] //dm[1,4,1]//dm[1,5,1]//dm[1,6,1]// dm[1,7,1]//dm[1,8,1]//dm[1,9,1]//dm[1,10,1]//dm[1,11,1]//dm[1,12,1]//dm[1,13,1]//dm[1,14,1]//B

Λ1 // B // dm[1,2,1] // dm[1,3,1] // dm[1,4,1]//dm[1,5,1]//dm[1,6,1]//dm[1,7,1]// dm[1,8,1]//dm[1,9,1]//dm[1,10,1]//dm[1,11,1]//dm[1,12,1]//dm[1,13,1]//dm[1,14,1]//bbCollect

n=6;
ops=Composition@@Reverse@Table[dm[1,k,1], {k,2,n}];
t1 = Λ1 // ops // B;
t2 = Λ1 // B // ops // bbCollect;
{t1,t2, t1==t2}

n=6;
ops=Composition@@Reverse@Join[Table[dm[1,k,1], {k,2,n}], {tha[1,7]}];
t1 = Λ1 // ops // B;
t2 = Λ1 // B // ops // bbCollect;
{t1,t2, t1==t2}