Quelle  dec6.153   Sprache: unbekannt

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