Quelle  dec6.159   Sprache: unbekannt

//(p^3 + p^2)/2 algebras
<a,b,c|ca-baa-xbabb,cb,pa-baa,pb-baa,pc-ybabb,class=4>(all x, x~-x, y ne 0)
<a,b,c|ca-baa-xbabb,cb,pa-baa-ybabb,pb-baa-zbabb,pc,class=4>(all x,y,z, [x,y,z]~[-x,-y,-z])