Quelle  dec6.155   Sprache: unbekannt

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