Quelle  dec6.125   Sprache: unbekannt

//p+1 algebras
<a,b,c|ca,cb,pa+bab,pb+wbaa,pc-baaa,class=4>
<a,b,c|ca,cb,pa+bab-xbaaa,pb+wbaa-ybaaa,pc,class=4>(all x,y, [x,y]~[x',y'] if y^2-wx^2=y'^2-wx'^2 mod p)