Quelle  dec6.299   Sprache: unbekannt

//(3p-1)/2 algebras
<a,b,c|cb,baa,pa-wbab,pb-ca-bab,pc-xbabb,class=4>(all x)
<a,b,c|cb,baa,pa-wbab-xbabb,pb-ca-bab,pc-2babb,class=4>(x ne 0, x~-x)