Quelle  dec6.377   Sprache: unbekannt

//p algebras
<a,b|p^2a-wbab,pb-wbaa-xbaaa,class=4>(all x, x~-x)
<a,b|p^2a-wbab-xbaaa,pb-wbaa,class=4>(x ne 0, x~-x)