Lines Matching defs:s2
844 felem z1z1, z1z1z1, s2, u2, h, i, j, r, rr, v, tmp;
851 felem_mul(s2, y2, z1z1z1);
856 felem_diff(r, s2, y1);
882 felem z1z1, z1z1z1, z2z2, z2z2z2, s1, s2, u1, u2, h, i, j, r, rr, v, tmp;
898 felem_mul(s2, y2, z1z1z1);
903 felem_diff(r, s2, s1);
929 felem z1z1, z1z1z1, z2z2, z2z2z2, s1, s2, u1, u2, h, i, j, r, rr, v, tmp;
946 felem_mul(s2, y2, z1z1z1);
952 felem_diff(r, s2, s1);
