===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/engine/F.c,v
retrieving revision 1.6
retrieving revision 1.12
diff -u -p -r1.6 -r1.12
--- OpenXM_contrib2/asir2000/engine/F.c	2001/04/20 02:34:21	1.6
+++ OpenXM_contrib2/asir2000/engine/F.c	2013/01/08 07:25:58	1.12
@@ -45,17 +45,14 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/engine/F.c,v 1.5 2001/04/19 04:52:41 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/engine/F.c,v 1.11 2002/01/15 01:09:55 noro Exp $ 
 */
 #include "ca.h"
 #include <math.h>
 
-void homfctr();
+int use_new_hensel;
 
-void fctrp(vl,f,dcp)
-VL vl;
-P f;
-DCP *dcp;
+void fctrp(VL vl,P f,DCP *dcp)
 {
 	VL nvl;
 	DCP dc;
@@ -75,11 +72,28 @@ DCP *dcp;
 	}
 }
 
-void homfctr(vl,g,dcp)
-VL vl;
-P g;
-DCP *dcp;
+void fctr_wrt_v_p(VL vl,P f,V v,DCP *dcp)
 {
+	VL nvl;
+	DCP dc;
+
+	if ( !f || NUM(f) ) {
+		NEWDC(dc); COEF(dc) = f; DEG(dc) = ONE;
+		NEXT(dc) = 0; *dcp = dc;
+		return;
+	} else if ( !qpcheck((Obj)f) )
+		error("fctrp : invalid argument");	
+	else {
+		clctv(vl,f,&nvl);
+		if ( !NEXT(nvl) ) 
+			ufctr(f,1,dcp);
+		else
+			mfctr_wrt_v(nvl,f,v,dcp);
+	}
+}
+
+void homfctr(VL vl,P g,DCP *dcp)
+{
 	P s,t,u,f,h,x;
 	Q e;
 	int d,d0;
@@ -98,10 +112,7 @@ DCP *dcp;
 	*dcp = dc;
 }
 
-void mfctr(vl,f,dcp)
-VL vl;
-P f;
-DCP *dcp;
+void mfctr(VL vl,P f,DCP *dcp)
 {
 	DCP dc,dc0,dct,dcs,dcr;
 	P p,pmin,ppmin,cmin,t;
@@ -119,6 +130,41 @@ DCP *dcp;
 #endif
 		pcp(mvl,pmin,&ppmin,&cmin);
 		if ( !NUM(cmin) ) {
+			mfctr(mvl,cmin,&dcs);
+			for ( dcr = NEXT(dcs); dcr; dcr = NEXT(dcr) ) {
+				DEG(dcr) = DEG(dct);
+				reorderp(vl,mvl,COEF(dcr),&t); COEF(dcr) = t;
+			}
+			for ( ; NEXT(dc); dc = NEXT(dc) );
+			NEXT(dc) = NEXT(dcs);
+		}
+		mfctrmain(mvl,ppmin,&dcs);
+		for ( dcr = dcs; dcr; dcr = NEXT(dcr) ) {
+			DEG(dcr) = DEG(dct);
+			reorderp(vl,mvl,COEF(dcr),&t); COEF(dcr) = t;
+		}
+		for ( ; NEXT(dc); dc = NEXT(dc) );
+		NEXT(dc) = dcs;
+	}
+	adjsgn(f,dc0); *dcp = dc0;
+}
+
+void mfctr_wrt_v(VL vl,P f,V v,DCP *dcp)
+{
+	DCP dc,dc0,dct,dcs,dcr;
+	P p,pmin,ppmin,cmin,t;
+	VL nvl,mvl;
+	Q c;
+
+	ptozp(f,1,&c,&p);
+	NEWDC(dc0); dc = dc0; COEF(dc) = (P)c; DEG(dc) = ONE; NEXT(dc) = 0;
+	msqfr(vl,p,&dct);
+	for ( ; dct; dct = NEXT(dct) ) {
+		clctv(vl,COEF(dct),&nvl);
+		reordvar(nvl,v,&mvl);
+		reorderp(mvl,vl,COEF(dct),&pmin);
+		pcp(mvl,pmin,&ppmin,&cmin);
+		if ( !NUM(cmin) ) {
 			mfctrmain(mvl,cmin,&dcs);
 			for ( dcr = dcs; dcr; dcr = NEXT(dcr) ) {
 				DEG(dcr) = DEG(dct);
@@ -139,9 +185,7 @@ DCP *dcp;
 }
 
 #if 0
-void adjsgn(p,dc)
-P p;
-DCP dc;
+void adjsgn(P p,DCP dc)
 {
 	int sgn;
 	DCP dct;
@@ -155,11 +199,8 @@ DCP dc;
 	}
 }
 #else
-void adjsgn(p,dc)
-P p;
-DCP dc;
+void adjsgn(P p,DCP dc)
 {     
-	int sgn;
 	DCP dct;
 	P c;
 
@@ -173,8 +214,7 @@ DCP dc;
 }
 #endif
 
-int headsgn(p)
-P p;
+int headsgn(P p)
 {
 	if ( !p )
 		return 0;
@@ -185,11 +225,7 @@ P p;
 	}
 }
 
-void fctrwithmvp(vl,f,v,dcp)
-VL vl;
-P f;
-V v;
-DCP *dcp;
+void fctrwithmvp(VL vl,P f,V v,DCP *dcp)
 {
 	VL nvl;
 	DCP dc;
@@ -207,11 +243,7 @@ DCP *dcp;
 		mfctrwithmv(nvl,f,v,dcp);
 }
 
-void mfctrwithmv(vl,f,v,dcp)
-VL vl;
-P f;
-V v;
-DCP *dcp;
+void mfctrwithmv(VL vl,P f,V v,DCP *dcp)
 {
 	DCP dc,dc0,dct,dcs,dcr;
 	P p,pmin,ppmin,cmin,t;
@@ -248,10 +280,7 @@ DCP *dcp;
 	*dcp = dc0;
 }
 
-void ufctr(f,hint,dcp)
-P f;
-int hint;
-DCP *dcp;
+void ufctr(P f,int hint,DCP *dcp)
 {
 	P p,c;
 	DCP dc,dct,dcs,dcr;
@@ -268,10 +297,7 @@ DCP *dcp;
 	}
 }
 
-void mfctrmain(vl,p,dcp)
-VL vl;
-P p;
-DCP *dcp;
+void mfctrmain(VL vl,P p,DCP *dcp)
 {
 	int i,j,k,*win,np,x;
 	VL nvl,tvl;
@@ -447,10 +473,7 @@ MAIN :
 	NEXT(dc) = 0; *dcp = dc0;
 }
 
-void ufctrmain(p,hint,dcp)
-P p;
-int hint;
-DCP *dcp;
+void ufctrmain(P p,int hint,DCP *dcp)
 {
 	ML list;
 	DCP dc;
@@ -463,7 +486,10 @@ DCP *dcp;
 	else if ( iscycp(p) )
 		cycp(VR(p),UDEG(p),dcp);
 	else {
-		hensel(5,5,p,&list);
+		if ( use_new_hensel )
+			hensel2(5,5,p,&list);
+		else
+			hensel(5,5,p,&list);
 		if ( list->n == 1 ) {
 			NEWDC(dc); DEG(dc) = ONE; COEF(dc) = p; NEXT(dc) = 0;
 			*dcp = dc;
@@ -472,17 +498,7 @@ DCP *dcp;
 	}
 }
 
-struct oMF {
-	int m;
-	P f;
-};
-
-void calcphi();
-
-void cycm(v,n,dcp)
-V v;
-register int n;
-DCP *dcp;
+void cycm(V v,int n,DCP *dcp)
 {
 	register int i,j;
 	struct oMF *mfp;
@@ -505,10 +521,7 @@ DCP *dcp;
 	NEXT(dc) = 0; *dcp = dc0;
 }
 
-void cycp(v,n,dcp)
-V v;
-register int n;
-DCP *dcp;
+void cycp(V v,int n,DCP *dcp)
 {
 	register int i,j;
 	int n0;
@@ -534,10 +547,7 @@ DCP *dcp;
 	NEXT(dc) = 0; *dcp = dc0;
 }
 
-void calcphi(v,n,mfp)
-V v;
-int n;
-register struct oMF *mfp;
+void calcphi(V v,int n,struct oMF *mfp)
 {
 	register int i,m;
 	P t,s,tmp;
@@ -551,10 +561,7 @@ register struct oMF *mfp;
 		error("calcphi: cannot happen");
 }
 
-void mkssum(v,e,s,sgn,r)
-V v;
-int e,s,sgn;
-P *r;
+void mkssum(V v,int e,int s,int sgn,P *r)
 {
 	register int i,sgnt;
 	DCP dc,dc0;
@@ -571,8 +578,7 @@ P *r;
 	NEXT(dc) = 0; MKP(v,dc0,*r);
 }
 
-int iscycp(f)
-P f;
+int iscycp(P f)
 {
 	DCP dc;
 	dc = DC(f);
@@ -585,8 +591,7 @@ P f;
 	return ( 1 );	
 }
 
-int iscycm(f)
-P f;
+int iscycm(P f)
 {
 	DCP dc;
 
@@ -599,8 +604,7 @@ P f;
 	return ( 1 );	
 }
 
-void sortfs(dcp)
-DCP *dcp;
+void sortfs(DCP *dcp)
 {
 	int i,k,n,k0,d;
 	DCP dc,dct,t;
@@ -628,8 +632,7 @@ DCP *dcp;
 	NEXT(dct) = 0;
 }
 
-void sortfsrev(dcp)
-DCP *dcp;
+void sortfsrev(DCP *dcp)
 {
 	int i,k,n,k0,d;
 	DCP dc,dct,t;
@@ -657,11 +660,7 @@ DCP *dcp;
 	NEXT(dct) = 0;
 }
 
-void nthrootchk(f,dc,fp,dcp)
-P f;
-struct oDUM *dc;
-ML fp;
-DCP *dcp;
+void nthrootchk(P f,struct oDUM *dc,ML fp,DCP *dcp)
 {
 	register int i,k;
 	int e,n,dr,tmp,t;
@@ -712,10 +711,7 @@ DCP *dcp;
 	}
 }
 
-void sqfrp(vl,f,dcp)
-VL vl;
-P f;
-DCP *dcp;
+void sqfrp(VL vl,P f,DCP *dcp)
 {
 	P c,p;
 	DCP dc,dc0;
@@ -736,10 +732,7 @@ DCP *dcp;
 /* 
  * f : must be a poly with int coef, ignore int content
  */
-void msqfr(vl,f,dcp)
-VL vl;
-P f;
-DCP *dcp;
+void msqfr(VL vl,P f,DCP *dcp)
 {
 	DCP dc,dct,dcs;
 	P c,p,t,s,pc;
@@ -777,9 +770,7 @@ DCP *dcp;
 	}
 }
 
-void usqp(f,dcp)
-P f;
-DCP *dcp;
+void usqp(P f,DCP *dcp)
 {
 	int index,nindex;
 	P g,c,h;
@@ -795,10 +786,7 @@ DCP *dcp;
 	*dcp = dc;
 }
 
-void msqfrmain(vl,p,dcp)
-VL vl;
-P p;
-DCP *dcp;
+void msqfrmain(VL vl,P p,DCP *dcp)
 {
 	int i,j;
 	VL nvl,tvl;
@@ -854,10 +842,8 @@ DCP *dcp;
 				*dcp = dc;
 				return;
 			} else {
-				d = d1;
-				found = 1;
-				sp0 = p0; sdc0 = dc0;
-				bcopy((char *)vn1,(char *)svn1,(int)(sizeof(struct oVN)*nv));
+				d = d1+1; /* XXX : try searching better evaluation */
+				found = 0;
 				break;
 			}
 		}
@@ -928,14 +914,7 @@ END:
 	}
 }
 
-void msqfrmainmain(vl,p,vn,p0,dc0,dcp,pp)
-VL vl;
-P p;
-VN vn;
-P p0;
-DCP dc0;
-DCP *dcp;
-P *pp;
+void msqfrmainmain(VL vl,P p,VN vn,P p0,DCP dc0,DCP *dcp,P *pp)
 {
 	int i,j,k,np;
 	DCP *a;
@@ -1035,12 +1014,7 @@ P *pp;
 	*dcp = dcr0;
 }
 
-void mfctrhen2(vl,vn,f,f0,g0,h0,lcg,lch,gp)
-VL vl;
-VN vn;
-P f;
-P f0,g0,h0,lcg,lch;
-P *gp;
+void mfctrhen2(VL vl,VN vn,P f,P f0,P g0,P h0,P lcg,P lch,P *gp)
 {
 	V v;
 	P f1,lc,lc0,lcg0,lch0;
@@ -1086,8 +1060,7 @@ P *gp;
 		*gp = 0;
 }
 
-int sqfrchk(p)
-P p;
+int sqfrchk(P p)
 {
 	Q c;
 	P f;
@@ -1100,8 +1073,7 @@ P p;
 		return ( 1 );
 }
 
-int cycchk(p)
-P p;
+int cycchk(P p)
 {
 	Q c;
 	P f;
@@ -1113,10 +1085,7 @@ P p;
 		return 1;
 }
 
-int zerovpchk(vl,p,vn)
-VL vl;
-P p;
-VN vn;
+int zerovpchk(VL vl,P p,VN vn)
 {
 	P t;
 
@@ -1127,10 +1096,7 @@ VN vn;
 		return ( 1 );
 }
 
-int valideval(vl,dc,vn)
-VL vl;
-DCP dc;
-VN vn;
+int valideval(VL vl,DCP dc,VN vn)
 {
 	DCP dct;
 	Q *a;
@@ -1156,12 +1122,7 @@ VN vn;
 	return ( 1 );
 }
 
-void estimatelc(vl,c,dc,vn,lcp)
-VL vl;
-Q c;
-DCP dc;
-VN vn;
-P *lcp;
+void estimatelc(VL vl,Q c,DCP dc,VN vn,P *lcp)
 {
 	int i;
 	DCP dct;
@@ -1189,11 +1150,7 @@ P *lcp;
 	*lcp = r;
 }
 
-void monomialfctr(vl,p,pr,dcp)
-VL vl;
-P p;
-P *pr;
-DCP *dcp;
+void monomialfctr(VL vl,P p,P *pr,DCP *dcp)
 {
 	VL nvl,avl;
 	Q d;
@@ -1213,10 +1170,7 @@ DCP *dcp;
 	*pr = f; *dcp = dc0;
 }
 
-void afctr(vl,p0,p,dcp)
-VL vl;
-P p,p0;
-DCP *dcp;
+void afctr(VL vl,P p0,P p,DCP *dcp)
 {
 	DCP dc,dc0,dcr,dct,dcs;
 	P t;
@@ -1259,11 +1213,7 @@ DCP *dcp;
 	*dcp = dc0;
 }
 
-void afctrmain(vl,p0,p,init,dcp)
-VL vl;
-P p,p0;
-int init;
-DCP *dcp;
+void afctrmain(VL vl,P p0,P p,int init,DCP *dcp)
 {
 	P x,y,s,m,a,t,u,pt,pt1,res,g;
 	Q q;