def test_GFp(): inv13 = GFp.inv(13) test.test("inv-1271", GFp.mul(inv13, 13), 1) invsqrt13 = GFp.invsqrt(13) test.test("invsqrt-1271", GFp.mul(13, GFp.sqr(invsqrt13)), 1)