Quelle  dec6.376   Sprache: unbekannt

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