X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/b0ab12e6a6cb035df2b6312df7ad1736af0a6128..962dd3329d51f1d18313a17eb0cb4695ee4421a0:/field.h

diff --git a/field.h b/field.h
index 35e9df0..5a70649 100644
--- a/field.h
+++ b/field.h
@@ -1,6 +1,6 @@
 /* -*-c-*-
  *
- * $Id: field.h,v 1.1 2001/04/29 18:12:33 mdw Exp $
+ * $Id: field.h,v 1.3 2002/01/13 13:48:44 mdw Exp $
  *
  * Definitions for field arithmetic
  *
@@ -30,6 +30,12 @@
 /*----- Revision history --------------------------------------------------* 
  *
  * $Log: field.h,v $
+ * Revision 1.3  2002/01/13 13:48:44  mdw
+ * Further progress.
+ *
+ * Revision 1.2  2001/05/07 17:30:13  mdw
+ * Add an internal-representation no-op function.
+ *
  * Revision 1.1  2001/04/29 18:12:33  mdw
  * Prototype version.
  *
@@ -64,6 +70,7 @@ typedef struct field_ops {
   mp *(*in)(field */*f*/, mp */*d*/, mp */*x*/);
   mp *(*out)(field */*f*/, mp */*d*/, mp */*x*/);
 
+  mp *(*neg)(field */*f*/, mp */*d*/, mp */*x*/);
   mp *(*add)(field */*f*/, mp */*d*/, mp */*x*/, mp */*y*/);
   mp *(*sub)(field */*f*/, mp */*d*/, mp */*x*/, mp */*y*/);
   mp *(*mul)(field */*f*/, mp */*d*/, mp */*x*/, mp */*y*/);
@@ -83,6 +90,7 @@ typedef struct field_ops {
 
 #define F_IN(f, d, x)		(f)->ops->in((f), (d), (x))
 #define F_OUT(f, d, x)		(f)->ops->out((f), (d), (x))
+#define F_NEG(f, d, x)		(f)->ops->neg((f), (d), (x))
 #define F_ADD(f, d, x, y)	(f)->ops->add((f), (d), (x), (y))
 #define F_SUB(f, d, x, y)	(f)->ops->sub((f), (d), (x), (y))
 #define F_MUL(f, d, x, y)	(f)->ops->mul((f), (d), (x), (y))
@@ -94,6 +102,22 @@ typedef struct field_ops {
 #define F_TPL(f, d, x)		(f)->ops->tpl((f), (d), (x))
 #define F_SQRT(f, d, x)		(f)->ops->sqrt((f), (d), (x))
 
+/*----- Helpful field operations ------------------------------------------*/
+
+/* --- @field_id@ --- *
+ *
+ * Arguments:	@field *f@ = pointer to a field
+ *		@mp *d@ = a destination element
+ *		@mp *x@ = a source element
+ *
+ * Returns:	The result element.
+ *
+ * Use:		An identity operation which can be used if your field has no
+ *		internal representation.
+ */
+
+extern mp *field_id(field */*f*/, mp */*d*/, mp */*x*/);
+
 /*----- Creating fields ---------------------------------------------------*/
 
 /* --- @field_prime@ --- *