Quelle  dec3.1   Sprache: unbekannt

//p+14 algebras
<a,b,c|ca,cb,class=2>
<a,b,c|cb,pa,class=2>
<a,b,c|cb,pa-ba,class=2>
<a,b,c|cb,pb,class=2>
<a,b,c|cb,pb-ba,class=2>
<a,b,c|cb,pb-ca,class=2>
<a,b,c|pb,pc,class=2>
<a,b,c|pb-ba,pc,class=2>
<a,b,c|pb-ca,pc,class=2>
<a,b,c|pb-cb,pc,class=2>
<a,b,c|pb-ba,pc-cb,class=2>
<a,b,c|pb-ca,pc-cb,class=2>
<a,b,c|pb-ba,pc-ca,class=2>
<a,b,c|pb-ca,pc-ba,class=2>
<a,b,c|pb-wca,pc-ba,class=2>
<a,b,c|pb-xca,pc-ba-ca,class=2>(x ne 0)