===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/engine/gmpq.c,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM_contrib2/asir2000/engine/gmpq.c	2014/01/22 02:34:58	1.2
+++ OpenXM_contrib2/asir2000/engine/gmpq.c	2014/08/19 06:35:01	1.3
@@ -220,6 +220,16 @@ void mulgz(GZ n1,GZ n2,GZ *nr)
 	}
 }
 
+void mul1gz(GZ n1,int n2,GZ *nr)
+{
+	mpz_t t;
+
+	if ( !n1 || !n2 ) *nr = 0;
+	else {
+		mpz_init(t); mpz_mul_ui(t,BDY(n1),(long)n2); MPZTOGZ(t,*nr);
+	}
+}
+
 void divgz(GZ n1,GZ n2,GZ *nq)
 {
 	mpz_t t;