Pensieve header: Testing OneCo.

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\OneCo-1606\\V1"];
<< OneCo.m

Table[x->b[x,(Subscript[a, 1,2])], {x,{(Subscript[c, 1]),(Subscript[c, 2]),(Subscript[u, 1]),(Subscript[u, 2]),(Subscript[w, 1]),(Subscript[w, 2]),(Subscript[c, 3]),(Subscript[u, 3]),(Subscript[w, 3])}}]//Column

b[(Subscript[a, 1,3]),(Subscript[a, 2,3])]+b[(Subscript[a, 1,2]),(Subscript[a, 2,3])]+b[(Subscript[a, 1,2]),(Subscript[a, 1,3])]

{b[(Subscript[a, 1,2]),(Subscript[a, 1,3])], ϵ (Subscript[c, 3])**(Subscript[a, 1,2])-ϵ (Subscript[c, 2])(Subscript[a, 1,3])} // Expand

{t1=b[(Subscript[a, 1,3]),(Subscript[a, 2,3])], t2=((Subscript[b, 2])-ϵ (Subscript[c, 2]))**(Subscript[a, 1,3])-((Subscript[b, 1])-ϵ (Subscript[c, 1]))**(Subscript[a, 2,3]), t1-t2} // Expand

{t1=(Subscript[a, 1,3])**(Subscript[a, 2,4])-(Subscript[a, 1,4])**(Subscript[a, 2,3]),
t2=(Subscript[a, 1,3])**((Subscript[b, 2])-ϵ (Subscript[c, 2]))**(Subscript[c, 4])-(Subscript[a, 2,3])**((Subscript[b, 1])-ϵ (Subscript[c, 1]))**(Subscript[c, 4])-(Subscript[a, 1,4])**((Subscript[b, 2])-ϵ (Subscript[c, 2]))**(Subscript[c, 3])+(Subscript[a, 2,4])**((Subscript[b, 1])-ϵ (Subscript[c, 1]))**(Subscript[c, 3]),
t1-t2
} // Column

LBasis[2]

bas=LBasis[2]; Table[b[x,y]+b[y,x], {x,bas},{y,bas}] //Flatten//Union

bas=LBasis[2]; Table[b[b[x,y],z]+b[b[y,z],x]+b[b[z,x],y], {x,bas},{y,bas}, {y,bas}] //Flatten//Union

bas=Flatten@Table[(Subscript[y, k]), {y,{c,u,w}}, {k,3}];
Table[{x,y}->Expand[(Subscript[R, 0])[τ,1,2][b[x,y]]-b[(Subscript[R, 0])[τ,1,2][x], (Subscript[R, 0])[τ,1,2][y]]], {x,bas},{y,bas}]