===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/pdiv.c,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- OpenXM_contrib2/asir2000/builtin/pdiv.c	2000/08/22 05:03:59	1.4
+++ OpenXM_contrib2/asir2000/builtin/pdiv.c	2001/02/21 07:10:17	1.5
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/builtin/pdiv.c,v 1.3 2000/08/21 08:31:20 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/builtin/pdiv.c,v 1.4 2000/08/22 05:03:59 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -64,7 +64,7 @@ struct ftab pdiv_tab[] = {
 	{"sdiv_gf2n",Psdiv_gf2n,2},
 	{"srem_gf2n",Psrem_gf2n,2},
 	{"sqr",Psqr,-3},
-	{"tdiv",Ptdiv,2},
+	{"tdiv",Ptdiv,-3},
 	{"udiv",Pudiv,2},
 	{"sdivm",Psdivm,-4},
 	{"sremm",Psremm,-4},
@@ -182,6 +182,7 @@ NODE arg;
 P *rp;
 {
 	P p1,p2,q1,q2,q,c1,c2,c;
+	int m;
 
 	p1 = (P)ARG0(arg); p2 = (P)ARG1(arg);
 	asir_assert(p1,O_P,"tdiv");
@@ -190,7 +191,14 @@ P *rp;
 		*rp = 0;
 	else if ( (OID(p1) > O_P) || (OID(p2) > O_P ) )
 		*rp = 0;
-	else {
+	else if ( argc(arg) == 3 ) {
+		m = QTOS((Q)ARG2(arg));
+		ptomp(m,p1,&q1); ptomp(m,p2,&q2);
+		if ( divtmp(CO,m,q1,q2,&q) )
+			mptop(q,rp);
+		else
+			*rp = 0;
+	} else {
 		ptozp(p1,1,(Q *)&c1,&q1); ptozp(p2,1,(Q *)&c2,&q2);
 		if ( divtpz(CO,q1,q2,&q) ) {
 			divq((Q)c1,(Q)c2,(Q *)&c); mulp(CO,q,c,rp);