===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/engine/dist.c,v
retrieving revision 1.10
retrieving revision 1.12
diff -u -p -r1.10 -r1.12
--- OpenXM_contrib2/asir2000/engine/dist.c	2000/11/07 06:06:39	1.10
+++ OpenXM_contrib2/asir2000/engine/dist.c	2000/12/11 02:00:41	1.12
@@ -45,13 +45,10 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/engine/dist.c,v 1.9 2000/08/22 05:04:05 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/engine/dist.c,v 1.11 2000/12/05 06:59:16 noro Exp $ 
 */
 #include "ca.h"
 
-#define NV(p) ((p)->nv)
-#define C(p) ((p)->c)
-
 #define ORD_REVGRADLEX 0
 #define ORD_GRADLEX 1
 #define ORD_LEX 2
@@ -62,12 +59,8 @@
 #define ORD_BGRADREV 7
 #define ORD_BLEXREV 8
 #define ORD_ELIM 9
+#define ORD_WEYL_ELIM 10
 
-struct cdl {
-	P c;
-	DL d;
-};
-
 int (*cmpdl)()=cmpdl_revgradlex;
 int (*primitive_cmpdl[3])() = {cmpdl_revgradlex,cmpdl_gradlex,cmpdl_lex};
 
@@ -79,6 +72,8 @@ void comm_muld_tab(VL,int,struct cdl *,int,struct cdl 
 
 void mkwc(int,int,Q *);
 
+int cmpdl_weyl_elim();
+
 int do_weyl;
 
 int dp_nelim,dp_fcoeffs;
@@ -149,6 +144,8 @@ struct order_spec *spec;
 					cmpdl = cmpdl_blexrev; break;
 				case ORD_ELIM:
 					cmpdl = cmpdl_elim; break;
+				case ORD_WEYL_ELIM:
+					cmpdl = cmpdl_weyl_elim; break;
 				case ORD_LEX: default:
 					cmpdl = cmpdl_lex; break;
 			}
@@ -835,6 +832,20 @@ DL *dr;
 	}
 }
 
+/* d1 += d2 */
+
+void adddl_destructive(n,d1,d2)
+int n;
+DL d1,d2;
+{
+	DL dt;
+	int i;
+
+	d1->td += d2->td;
+	for ( i = 0; i < n; i++ )
+		d1->d[i] += d2->d[i];
+}
+
 int compd(vl,p1,p2)
 VL vl;
 DP p1,p2;
@@ -1061,6 +1072,26 @@ DL d1,d2;
 		return -1;
 	else 
 		return cmpdl_revgradlex(n,d1,d2);
+}
+
+int cmpdl_weyl_elim(n,d1,d2)
+int n;
+DL d1,d2;
+{
+	int e1,e2,i;
+
+	for ( i = 1, e1 = 0, e2 = 0; i <= dp_nelim; i++ ) {
+		e1 += d1->d[n-i]; e2 += d2->d[n-i];
+	}
+	if ( e1 > e2 )
+		return 1;
+	else if ( e1 < e2 )
+		return -1;
+	else if ( d1->td > d2->td )
+		return 1;
+	else if ( d1->td < d2->td )
+		return -1;
+	else return -cmpdl_revlex(n,d1,d2);
 }
 
 int cmpdl_order_pair(n,d1,d2)