Lines Matching defs:py
54 /* Checks if point P(px, py) is at infinity. Uses affine coordinates. */
56 ec_GF2m_pt_is_inf_aff(const mp_int *px, const mp_int *py)
59 if ((mp_cmp_z(px) == 0) && (mp_cmp_z(py) == 0)) {
67 /* Sets P(px, py) to be the point at infinity. Uses affine coordinates. */
69 ec_GF2m_pt_set_inf_aff(mp_int *px, mp_int *py)
72 mp_zero(py);
79 ec_GF2m_pt_add_aff(const mp_int *px, const mp_int *py, const mp_int *qx,
93 if (ec_GF2m_pt_is_inf_aff(px, py) == 0) {
102 MP_CHECKOK(mp_copy(py, ry));
106 /* if px != qx, then lambda = (py+qy) / (px+qx), tempx = a + lambda^2
109 MP_CHECKOK(group->meth->field_add(py, qy, &tempy, group->meth));
123 /* if py != qy or qx = 0, then R = inf */
124 if (((mp_cmp(py, qy) != 0)) || (mp_cmp_z(qx) == 0)) {
161 ec_GF2m_pt_sub_aff(const mp_int *px, const mp_int *py, const mp_int *qx,
172 MP_CHECKOK(group->point_add(px, py, qx, &nqy, rx, ry, group));
181 ec_GF2m_pt_dbl_aff(const mp_int *px, const mp_int *py, mp_int *rx,
184 return group->point_add(px, py, px, py, rx, ry, group);
192 ec_GF2m_pt_mul_aff(const mp_int *n, const mp_int *px, const mp_int *py,
221 MP_CHECKOK(mp_copy(py, &qy));
285 ec_GF2m_validate_point(const mp_int *px, const mp_int *py, const ECGroup *group)
302 if (ec_GF2m_pt_is_inf_aff(px, py) == MP_YES) {
310 (MP_SIGN(py) == MP_NEG) || (mp_cmp(py, &group->meth->irr) >= 0)) {
317 group->meth->field_enc(py, &pyt, group->meth);
320 mp_copy(py, &pyt);
341 MP_CHECKOK( ECPoint_mul(group, &group->order, px, py, &pxt, &pyt) );