Quelle  dec6.179   Sprache: unbekannt

//(p^4+p^2)/2 algebras
<a,b,c|ca-bab,cb-wbaa-xbaaa,pa-ybaaa,pb-zbaaa,pc-bab-tbaaa,class=4>(all x,y,z,t, y~-y, if y=0 then t~-t)