Quelle  dec6.156   Sprache: unbekannt

//p algebras
<a,b,c|ca-baa,cb,pa-bab,pb+baa,pc-xbaaa,class=4>(x ne 0, x~-x)
<a,b,c|ca-baa,cb,pa-bab-xbaaa,pb+baa,pc,class=4>(all x, x~-x)