Pensieve header: Implementing and testing the “ybax” algebra QU.

SetDirectory@"C:\\drorbn\\AcademicPensieve\\Projects\\SolvablePBW";
<< Engine.m

$k=2;
Gens=

B[U@a,U@y]=-U@y; B[U@x,U@a]=-U@x;
B[U@x,U@y]:=Normal[(E^ϵ)-1+((O[ϵ])^($k+1))]U@{y,x}+𝕆[{a},Normal[1-T (E^(-2ϵ a))+((O[ϵ])^($k+1))]];