1) added some more explanations on the primality test, 2) cosmetic change to make "x=y mod z" look pretty.
1) added some more explanations on the primality test,
2) cosmetic change to make "x=y mod z" look pretty.

MateuszSnamina/yacas,MateuszSnamina/yacas,martanoga/yacas,tomaszkrysiuk/yacas,martanoga/yacas,tomaszkrysiuk/yacas,grzegorzmazur/yacas,grzegorzmazur/yacas,qwert2003/yacas,qwert2003/yacas,tomaszkrysiuk/yacas,qwert2003/yacas,MateuszSnamina/yacas,martanoga/yacas,martanoga/yacas,qwert2003/yacas,grzegorzmazur/yacas,MateuszSnamina/yacas,MateuszSnamina/yacas,qwert2003/yacas,MateuszSnamina/yacas,martanoga/yacas,tomaszkrysiuk/yacas,qwert2003/yacas,tomaszkrysiuk/yacas,martanoga/yacas,MateuszSnamina/yacas,qwert2003/yacas,grzegorzmazur/yacas,martanoga/yacas,grzegorzmazur/yacas,grzegorzmazur/yacas,grzegorzmazur/yacas,tomaszkrysiuk/yacas,tomaszkrysiuk/yacas