X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/9b8b6877809f0626e8e3eff1f731b1daa796fecb..bc985cefafea2e1b02095a2ff2a9982c4c647d17:/ec.h

diff --git a/ec.h b/ec.h
index 680bf9c..d398f4a 100644
--- a/ec.h
+++ b/ec.h
@@ -1,6 +1,6 @@
 /* -*-c-*-
  *
- * $Id: ec.h,v 1.6 2004/03/22 02:19:10 mdw Exp $
+ * $Id: ec.h,v 1.7 2004/03/23 15:19:32 mdw Exp $
  *
  * Elliptic curve definitions
  *
@@ -30,6 +30,9 @@
 /*----- Revision history --------------------------------------------------* 
  *
  * $Log: ec.h,v $
+ * Revision 1.7  2004/03/23 15:19:32  mdw
+ * Test elliptic curves more thoroughly.
+ *
  * Revision 1.6  2004/03/22 02:19:10  mdw
  * Rationalise the sliding-window threshold.  Drop guarantee that right
  * arguments to EC @add@ are canonical, and fix up projective implementations
@@ -235,6 +238,22 @@ extern ec *ec_setinf(ec */*p*/);
 
 extern ec *ec_copy(ec */*d*/, const ec */*p*/);
 
+/* --- @ec_eq@ --- *
+ *
+ * Arguments:	@const ec *p, *q@ = two points
+ *
+ * Returns:	Nonzero if the points are equal.  Compares external-format
+ *		points.
+ */
+
+#define EC_EQ(p, q)							\
+    ((EC_ATINF(p) && EC_ATINF(q)) ||					\
+     (!EC_ATINF(p) && !EC_ATINF(q) &&					\
+      MP_EQ((p)->x, (q)->x) &&						\
+      MP_EQ((p)->y, (q)->y)))
+
+extern int ec_eq(const ec *p, const ec *q);
+
 /*----- Interesting arithmetic --------------------------------------------*/
 
 /* --- @ec_find@ --- *
@@ -253,6 +272,19 @@ extern ec *ec_copy(ec */*d*/, const ec */*p*/);
 
 extern ec *ec_find(ec_curve */*c*/, ec */*d*/, mp */*x*/);
 
+/* --- @ec_rand@ --- *
+ *
+ * Arguments:	@ec_curve *c@ = pointer to an elliptic curve
+ *		@ec *d@ = pointer to the destination point
+ *		@grand *r@ = random number source
+ *
+ * Returns:	The destination @d@.
+ *
+ * Use:		Finds a random point on the given curve.
+ */
+
+extern ec *ec_rand(ec_curve */*c*/, ec */*d*/, grand */*r*/);
+
 /* --- @ec_neg@ --- *
  *
  * Arguments:	@ec_curve *c@ = pointer to an elliptic curve