===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/arith.c,v
retrieving revision 1.21
retrieving revision 1.27
diff -u -p -r1.21 -r1.27
--- OpenXM_contrib2/asir2000/parse/arith.c	2005/09/27 03:00:21	1.21
+++ OpenXM_contrib2/asir2000/parse/arith.c	2017/08/31 02:36:21	1.27
@@ -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/parse/arith.c,v 1.20 2005/04/07 08:33:12 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/parse/arith.c,v 1.26 2005/12/10 14:14:15 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -66,9 +66,11 @@ ARF addfs, subfs, mulfs, divfs, remfs, pwrfs;
 void divsdc();
 int compqa();
 int compquote();
+int compvoid();
 
-struct oAFUNC afunc[] = {
-/* ???=0 */	{0,0,0,0,0,0,0},
+struct oAFUNC afunc0[] = {
+/* O_VOID=-1 */ {notdef,notdef,notdef,notdef,notdef,notdef,compvoid},
+/* ???=0 */	{notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},
 /* O_N=1 */	{addnum,subnum,mulnum,divnum,pwrnum,chsgnnum,compnum},
 /* O_P=2 */	{addp,subp,mulp,divr,pwrp,chsgnp,compp},
 /* O_R=3 */	{addr,subr,mulr,divr,pwrr,chsgnr,compr},
@@ -77,7 +79,7 @@ struct oAFUNC afunc[] = {
 /* O_MAT=6 */	{addmat,submat,mulmat,divmat,pwrmat,chsgnmat,compmat},
 /* O_STR=7 */	{addstr,notdef,notdef,notdef,notdef,notdef,compstr},
 /* O_COMP=8 */	{addcomp,subcomp,mulcomp,divcomp,pwrcomp,chsgncomp,compcomp},
-/* O_DP=9 */   {addd,subd,muld,divsdc,notdef,chsgnd,compd},
+/* O_DP=9 */   {addd,subd,muld,divdc,notdef,chsgnd,compd},
 /* O_USINT=10 */	{notdef,notdef,notdef,notdef,notdef,notdef,compui},
 /* O_ERR=11 */	{notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},
 /* O_GF2MAT=12 */	{notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},
@@ -93,8 +95,12 @@ struct oAFUNC afunc[] = {
 /* O_DPV=22 */	{adddv,subdv,muldv,notdef,notdef,chsgndv,compdv},
 /* O_QUOTEARG=23 */	{notdef,notdef,notdef,notdef,notdef,notdef,compqa},
 /* O_MAT=24 */	{AddMatI,SubMatI,MulMatG,notdef,notdef,ChsgnI,(int(*)())notdef},
+/* O_NBP=25 */	{addnbp,subnbp,mulnbp,notdef,pwrnbp,chsgnnbp,compnbp},
+/* O_DPM=26 */	{adddpm,subdpm,mulobjdpm,notdef,notdef,chsgndpm,compdpm},
 };
 
+struct oAFUNC *afunc = &afunc0[1];
+
 void arf_init() {
 	addfs = &arf[0]; addfs->name = "+"; addfs->fp = arf_add;
 	subfs = &arf[1]; subfs->name = "-"; subfs->fp = arf_sub;
@@ -104,9 +110,7 @@ void arf_init() {
 	pwrfs = &arf[5]; pwrfs->name = "^"; pwrfs->fp = arf_pwr;
 }
 
-void arf_add(vl,a,b,r)
-VL vl;
-Obj a,b,*r;
+void arf_add(VL vl,Obj a,Obj b,Obj *r)
 {
 	int mid;
 
@@ -124,9 +128,7 @@ Obj a,b,*r;
 		notdef(vl,a,b,r);
 }
 
-void arf_sub(vl,a,b,r)
-VL vl;
-Obj a,b,*r;
+void arf_sub(VL vl,Obj a,Obj b,Obj *r)
 {
 	int mid;
 
@@ -147,9 +149,7 @@ Obj a,b,*r;
 		notdef(vl,a,b,r);
 }
 
-void arf_mul(vl,a,b,r)
-VL vl;
-Obj a,b,*r;
+void arf_mul(VL vl,Obj a,Obj b,Obj *r)
 {
 	int mid,aid,bid;
 
@@ -170,12 +170,12 @@ Obj a,b,*r;
 		(*afunc[mid].mul)(vl,a,b,r);
 	else {
 		switch ( aid ) {
-			case O_N: case O_P:
+			case O_N: case O_P: case O_NBP:
 				(*afunc[mid].mul)(vl,a,b,r);
 				break;
 			case O_R:
 				/* rat * something; bid > O_R */
-				if ( bid == O_VECT || bid == O_MAT )
+				if ( bid == O_VECT || bid == O_MAT || bid == O_DP )
 					(*afunc[mid].mul)(vl,a,b,r);
 				else 
 					notdef(vl,a,b,r);
@@ -195,9 +195,9 @@ Obj a,b,*r;
 					notdef(vl,a,b,r);
 				break;
 			case O_DP:
-				if ( bid <= O_P )
+				if ( bid <= O_R )
 					(*afunc[O_DP].mul)(vl,a,b,r);
-				else if ( bid == O_MAT || bid == O_VECT || bid == O_DPV )
+				else if ( bid == O_MAT || bid == O_VECT || bid == O_DPV || bid == O_DPM )
 					(*afunc[bid].mul)(vl,a,b,r);
 				else
 					notdef(vl,a,b,r);
@@ -212,9 +212,7 @@ Obj a,b,*r;
 	}
 }
 
-void arf_div(vl,a,b,r)
-VL vl;
-Obj a,b,*r;
+void arf_div(VL vl,Obj a,Obj b,Obj *r)
 {
 	int mid;
 
@@ -231,9 +229,7 @@ Obj a,b,*r;
 		notdef(vl,a,b,r);
 }
 
-void arf_remain(vl,a,b,r)
-VL vl;
-Obj a,b,*r;
+void arf_remain(VL vl,Obj a,Obj b,Obj *r)
 {
 	if ( !b )
 		error("rem : division by 0");
@@ -247,9 +243,7 @@ Obj a,b,*r;
 
 int allow_laurent;
 
-void arf_pwr(vl,a,e,r)
-VL vl;
-Obj a,e,*r;
+void arf_pwr(VL vl,Obj a,Obj e,Obj *r)
 {
 	R t;
 
@@ -260,14 +254,14 @@ Obj a,e,*r;
 			*r = 0;
 		else
 			mkpow(vl,a,e,r);
-	} else if ( OID(a) == O_QUOTE || OID(e) == O_QUOTE )
-		(*(afunc[O_QUOTE].pwr))(vl,a,e,r);
-	else if ( !e ) {
+	} else if ( !e ) {
 		if ( OID(a) == O_MAT )
 			(*(afunc[O_MAT].pwr))(vl,a,e,r);
 		else	
 			*r = (pointer)ONE;
-	} else if ( (OID(e) <= O_N) && INT(e) ) {
+	} else if ( OID(a) == O_QUOTE || OID(e) == O_QUOTE )
+		(*(afunc[O_QUOTE].pwr))(vl,a,e,r);
+	else if ( (OID(e) <= O_N) && INT(e) ) {
 		if ( (OID(a) == O_P) && (SGN((Q)e) < 0) ) {
 			if ( allow_laurent )
 				(*(afunc[O_P].pwr))(vl,a,e,r);
@@ -290,8 +284,7 @@ Obj a,e,*r;
 		notdef(vl,a,e,r);
 }
 
-void arf_chsgn(a,r)
-Obj a,*r;
+void arf_chsgn(Obj a,Obj *r)
 {
 	if ( !a )
 		*r = 0;
@@ -299,9 +292,7 @@ Obj a,*r;
 		(*(afunc[OID(a)].chsgn))(a,r);
 }
 
-int arf_comp(vl,a,b)
-VL vl;
-Obj a,b;
+int arf_comp(VL vl,Obj a,Obj b)
 {
 	if ( !a )
 		if ( !b )
@@ -316,9 +307,7 @@ Obj a,b;
 		return (*afunc[OID(a)].comp)(vl,a,b);
 }
 
-int complist(vl,a,b)
-VL vl;
-LIST a,b;
+int complist(VL vl,LIST a,LIST b)
 {
 	int t;
 	NODE an,bn;
@@ -339,4 +328,16 @@ LIST a,b;
 		if ( t = arf_comp(vl,BDY(an),BDY(bn)) )
 			return t;
 	return 0;
+}
+
+int compvoid(VL vl,Obj a,Obj b)
+{
+	if ( !a )
+		if ( !b ) return 0;
+		else return -1;
+	else if ( !b )
+		return 1;
+	else if ( OID(a) > OID(b) ) return 1;
+	else if ( OID(b) < OID(a) ) return -1;
+	else return 0;
 }