===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/engine/Hgfs.c,v
retrieving revision 1.4
retrieving revision 1.13
diff -u -p -r1.4 -r1.13
--- OpenXM_contrib2/asir2000/engine/Hgfs.c	2001/06/25 01:35:21	1.4
+++ OpenXM_contrib2/asir2000/engine/Hgfs.c	2001/06/29 09:08:53	1.13
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM_contrib2/asir2000/engine/Hgfs.c,v 1.3 2001/06/22 08:51:12 noro Exp $ */
+/* $OpenXM: OpenXM_contrib2/asir2000/engine/Hgfs.c,v 1.12 2001/06/27 04:07:57 noro Exp $ */
 
 #include "ca.h"
 
@@ -13,7 +13,23 @@ void lnfsf(int,UM,UM,struct p_pair *,UM,UM);
 void minipolysf(UM,UM,UM);
 void czsfum(UM,UM *);
 void gensqfrsfum(UM,DUM);
+void sfbmtop(int,BM,V,V,P *);
+void pp_sfp(VL,P,P *);
+void sfcsump(VL,P,P *);
+void mulsfbmarray(int,BM,ML,int,int *,V,V,P *);
+void const_term(P,UM);
 
+int comp_dum(a,b)
+DUM a,b;
+{
+	if ( DEG(a->f) > DEG(b->f) )
+		return -1;
+	else if ( DEG(a->f) < DEG(b->f) )
+		return 1;
+	else
+		return 0;
+}
+
 void fctrsf(p,dcp)
 P p;
 DCP *dcp;
@@ -61,6 +77,10 @@ DCP *dcp;
 			}
 		}
 	udc = udc1;
+	for ( i = 0; udc[i].f; i++ );
+	qsort(udc,i,sizeof(struct oDUM),
+		(int (*)(const void *,const void *))comp_dum);
+
 	NEWDC(dc0); COEF(dc0) = lc; DEG(dc0) = ONE; dc = dc0;
 	for ( n = 0; udc[n].f; n++ ) {
 		NEWDC(NEXT(dc)); dc = NEXT(dc);
@@ -534,29 +554,32 @@ int sfberle(VL,P,int,GFS *,DCP *);
 void sfgcdgen(P,ML,ML *);
 void sfhenmain(LUM,ML,ML,ML *);
 void ptosflum(int,P,LUM);
-void sfhenmain2(LUM,UM,UM,int,LUM *);
+void sfhenmain2(BM,UM,UM,int,BM *);
+void ptosfbm(int,P,BM);
 
 /* f = f(x,y) */
 
-void sfhensel(count,f,x,listp)
+void sfhensel(count,f,x,evp,sfp,listp)
 int count;
 P f;
 V x;
+GFS *evp;
+P *sfp;
 ML *listp;
 {
 	int i,j;
 	int fn,n,bound;
 	ML rlist;
-	LUM fl;
+	BM fl;
 	VL vl,nvl;
 	V y;
 	int dx,dy,mev;
 	GFS ev;
-	P f1,t,yev,c;
+	P f1,t,yev,c,sf;
 	DCP dc;
-	LUM gl;
 	UM w,w1,q,fm,hm;
 	UM *gm;
+	struct oEGT tmp0,tmp1,eg_hensel,eg_hensel_t;
 
 	clctv(CO,f,&vl);
 	if ( vl->v != x ) {
@@ -589,37 +612,51 @@ ML *listp;
 
 	bound = dy+1;
 	/* f(x,y) -> f(x,y+ev) */
-	fl = LUMALLOC(dx,bound);
-	ptosflum(bound,f,fl);
-	shiftsflum(bound,fl,FTOIF(CONT(ev)));
+	fl = BMALLOC(dx,bound);
+	ptosfbm(bound,f,fl);
+	shiftsfbm(bound,fl,FTOIF(CONT(ev)));
 
+	/* sf = f(x+ev) */
+	sfbmtop(bound,fl,x,y,&sf);
+
 	/* fm = fl mod y */
 	fm = W_UMALLOC(dx);
-	DEG(fm) = dx;
-	for ( i = 0; i <= dx; i++ )
-		COEF(fm)[i] = COEF(fl)[i][0];
+	cpyum(COEF(fl)[0],fm);
 	hm = W_UMALLOC(dx);
 
 	q = W_UMALLOC(dx);
 	rlist = MLALLOC(fn); rlist->n = fn; rlist->bound = bound;
+	fprintf(asir_out,"%d candidates\n",fn);
+	init_eg(&eg_hensel);
 	for ( i = 0; i < fn-1; i++ ) {
-		fprintf(stderr,"%d\n",i);
+		fprintf(asir_out,"deg(fm) = %d, deg(gm[%d]) = %d\n",
+			DEG(fm),i,DEG(gm[i]));
+		init_eg(&eg_hensel_t);
+		get_eg(&tmp0);
 		/* fl = gm[i]*hm mod y */
 		divsfum(fm,gm[i],hm);
 		/* fl is replaced by the cofactor of gk mod y^bound */
 		/* rlist->c[i] = gk */
-		sfhenmain2(fl,gm[i],hm,bound,(LUM *)&rlist->c[i]);
+		sfhenmain2(fl,gm[i],hm,bound,(BM *)&rlist->c[i]);
 		cpyum(hm,fm);
+		get_eg(&tmp1); add_eg(&eg_hensel_t,&tmp0,&tmp1);
+		add_eg(&eg_hensel,&tmp0,&tmp1);
+		print_eg("Hensel",&eg_hensel_t);
+		fprintf(asir_out,"\n");
 	}
+	print_eg("Hensel total",&eg_hensel);
+	fprintf(asir_out,"\n");
 	/* finally, fl must be the lift of gm[fn-1] */
 	rlist->c[i] = fl;
 
+#if 0
 	/* y -> y-a */
-	w = W_UMALLOC(bound);
-	w1 = W_UMALLOC(bound);
 	mev = _chsgnsf(FTOIF(CONT(ev)));
 	for ( i = 0; i < fn; i++ )
-		shiftsflum(bound,(LUM)(rlist->c[i]),mev);
+		shiftsfbm(bound,(BM)(rlist->c[i]),mev);
+#endif
+	*evp = ev;
+	*sfp = sf;
 	*listp = rlist;
 }
 
@@ -747,7 +784,7 @@ ML bqlist,cqlist,*listp;
 			mulsflum(i+1,l[j],wb0,wb1);
 			tlum = wb0; wb0 = wb1; wb1 = tlum;
 		}
-#if 1
+#if 0
 		/* check */
 		for ( j = 0, pp = COEF(f), pp1 = COEF(wb0); j <= n; j++ )
 			for ( k = 0; k < i; k++ )
@@ -781,46 +818,41 @@ ML bqlist,cqlist,*listp;
 /* f = g0*h0 mod y -> f = gk*hk mod y^bound, f is replaced by hk */
 
 void sfhenmain2(f,g0,h0,bound,gp)
-LUM f;
+BM f;
 UM g0,h0;
 int bound;
-LUM *gp;
+BM *gp;
 {
 	int i,j,k,l;
 	int *px,*py;
 	int **pp,**pp1;
 	int n,np,dr,tmp;
-	UM wt,wa,wb,wq,wm,q,w1,w2,wh1,wg1;
+	UM wt,wa,wb,wq,wm,q,w1,w2,wh1,wg1,ws;
 	UM wc,wd,we,wz;
-	LUM wb0,wb1;
+	BM wb0,wb1;
 	int ng,nh;
-	LUM fk,gk,hk;
+	BM fk,gk,hk;
 	
-	n = f->d;
+	n = degsfbm(bound,f);
 	ng = g0->d;
 	nh = h0->d;
 
-	W_LUMALLOC(n,bound,wb0); W_LUMALLOC(n,bound,wb1);
-	wt = W_UMALLOC(n); wq = W_UMALLOC(n); q = W_UMALLOC(2*n);
+	W_BMALLOC(n,bound,wb0); W_BMALLOC(n,bound,wb1);
+	wt = W_UMALLOC(n); ws = W_UMALLOC(n);
+	wq = W_UMALLOC(n); q = W_UMALLOC(2*n);
 	wg1 = W_UMALLOC(2*n); wh1 = W_UMALLOC(2*n);
+
 	/* fk = gk*hk mod y^k */
-	W_LUMALLOC(n,bound,fk);
-	DEG(fk) = n;
-	for ( j = 0; j <= n; j++ )
-		COEF(fk)[j][0] = COEF(f)[j][0];
+	W_BMALLOC(n,bound,fk);
+	cpyum(COEF(f)[0],COEF(fk)[0]);
+	gk = BMALLOC(ng,bound);
+	cpyum(g0,COEF(gk)[0]);
+	W_BMALLOC(nh,bound,hk);
+	cpyum(h0,COEF(hk)[0]);
 
-	gk = LUMALLOC(ng,bound);
-	DEG(gk) = ng;
-	for ( j = 0; j <= ng; j++ )
-		COEF(gk)[j][0] = COEF(g0)[j];
+	wc = W_UMALLOC(2*n); wd = W_UMALLOC(2*n);
+	we = W_UMALLOC(2*n); wz = W_UMALLOC(2*n);
 
-	W_LUMALLOC(nh,bound,hk);
-	DEG(hk) = nh;
-	for ( j = 0; j <= nh; j++ )
-		COEF(hk)[j][0] = COEF(h0)[j];
-
-	wc = W_UMALLOC(2*n); wd = W_UMALLOC(2*n); we = W_UMALLOC(2*n); wz = W_UMALLOC(2*n);
-
 	/* compute wa,wb s.t. wa*g0+wb*h0 = 1 mod y */
 	w1 = W_UMALLOC(ng); cpyum(g0,w1);
 	w2 = W_UMALLOC(nh); cpyum(h0,w2);
@@ -830,7 +862,7 @@ LUM *gp;
 #if 0
 	mulsfum(wa,g0,wc); mulsfum(wb,h0,wd); addsfum(wc,wd,we);
 	if ( DEG(we) != 0 || COEF(we)[0] != _onesf() )
-			error("henmain2 : cannot happen");
+			error("henmain2 : cannot happen(euc)");
 #endif
 
 	fprintf(stderr,"bound=%d\n",bound);
@@ -839,20 +871,16 @@ LUM *gp;
 
 		/* at this point, f = gk*hk mod y^k */
 #if 0
-		for ( j = 0, pp = COEF(f), pp1 = COEF(fk); j <= n; j++ )
-			for ( l = 0; l < k; l++ )
-				if ( pp[j][l] != pp1[j][l] )
-					error("henmain2 : cannot happen");
+		for ( j = 0; j < k; j++ )
+			if ( !isequalum(COEF(f)[j],COEF(fk)[j]) )
+					error("henmain2 : cannot happen(history)");
 #endif
 
 		/* clear wt */
 		bzero(COEF(wt),(n+1)*sizeof(int));
 
 		/* wt = (f-gk*hk)/y^k */
-		pp = COEF(f); pp1 = COEF(fk);
-		for ( j = n; j >= 0; j-- )
-			COEF(wt)[j] = _subsf(pp[j][k],pp1[j][k]);
-		degum(wt,n);
+		subsfum(COEF(f)[k],COEF(fk)[k],wt);
 		
 		/* clear wq */
 		bzero(COEF(wq),(n+1)*sizeof(int));
@@ -864,7 +892,7 @@ LUM *gp;
 		/* check */
 #if 0
 		if ( DEG(wd) >= 0 || DEG(wg1) > ng )
-			error("henmain2 : cannot happen");
+			error("henmain2 : cannot happen(adj)");
 
 		mulsfum(wg1,h0,wc); mulsfum(wh1,g0,wd); addsfum(wc,wd,we);
 		subsfum(we,wt,wz);
@@ -874,46 +902,42 @@ LUM *gp;
 
 		/* fk += ((wg1*hk+wh1*gk)*y^k+wg1*wh1*y^(2*k) mod y^bound */
 		/* wb0 = wh1*y^k */
-		clearsflum(bound,n,wb0);
-		DEG(wb0) = DEG(wh1);
-		for ( i = 0; i <= DEG(wh1); i++ )
-			COEF(wb0)[i][k] = COEF(wh1)[i];
+		clearsfbm(bound,n,wb0);
+		DEG(wb0) = bound;
+		cpyum(wh1,COEF(wb0)[k]);
+
 		/* wb1 = gk*wb0 mod y^bound */
-		clearsflum(bound,n,wb1);
-		mulsflum(bound,gk,wb0,wb1);
+		clearsfbm(bound,n,wb1);
+		mulsfbm(bound,gk,wb0,wb1);
 		/* fk += wb1 */
-		addtosflum(bound,wb1,fk);
+		addtosfbm(bound,wb1,fk);
 
 		/* wb0 = wg1*y^k */
-		clearsflum(bound,n,wb0);
-		DEG(wb0) = DEG(wg1);
-		for ( i = 0; i <= DEG(wg1); i++ )
-			COEF(wb0)[i][k] = COEF(wg1)[i];
+		clearsfbm(bound,n,wb0);
+		DEG(wb0) = bound;
+		cpyum(wg1,COEF(wb0)[k]);
+
 		/* wb1 = hk*wb0 mod y^bound */
-		clearsflum(bound,n,wb1);
-		mulsflum(bound,hk,wb0,wb1);
+		clearsfbm(bound,n,wb1);
+		mulsfbm(bound,hk,wb0,wb1);
 		/* fk += wb1 */
-		addtosflum(bound,wb1,fk);
+		addtosfbm(bound,wb1,fk);
 
 		/* fk += wg1*wh1*y^(2*k) mod y^bound */
 		if ( 2*k < bound ) {
-			mulsfum(wg1,wh1,wt);
-			for ( i = 0; i <= DEG(wt); i++ )
-				COEF(fk)[i][2*k] = _addsf(COEF(fk)[i][2*k],COEF(wt)[i]);
+			mulsfum(wg1,wh1,wt); addsfum(COEF(fk)[2*k],wt,ws);
+			cpyum(ws,COEF(fk)[2*k]);
 		}
 
 		/* gk += wg1*y^k, hk += wh1*y^k */
-		for ( i = 0; i <= DEG(wg1); i++ )
-			COEF(gk)[i][k] = COEF(wg1)[i];
-		for ( i = 0; i <= DEG(wh1); i++ )
-			COEF(hk)[i][k] = COEF(wh1)[i];
+		cpyum(wg1,COEF(gk)[k]);
+		cpyum(wh1,COEF(hk)[k]);
 	}
 	fprintf(stderr,"\n");
 	*gp = gk;
-	for ( i = 0; i <= DEG(hk); i++ )
-		for ( j = 0; j <= bound; j++ )
-			COEF(f)[i][j] = COEF(hk)[i][j];
-	DEG(f) = DEG(hk);
+	DEG(f) = bound;
+	for ( i = 0; i < bound; i++ )
+		cpyum(COEF(hk)[i],COEF(f)[i]);
 }
 
 void ptosflum(bound,f,fl)
@@ -934,6 +958,31 @@ LUM fl;
 	}
 }
 
+/* fl->c[i] = coef_y(f,i) */
+
+void ptosfbm(bound,f,fl)
+int bound;
+P f;
+BM fl;
+{
+	DCP dc;
+	int d,i,n;
+	UM t;
+
+	n = QTOS(DEG(DC(f)));
+	clearsfbm(bound,n,fl);
+	DEG(fl) = bound;
+	t = UMALLOC(bound);
+	for ( dc = DC(f); dc; dc = NEXT(dc) ) {
+		d = QTOS(DEG(dc));
+		ptosfum(COEF(dc),t);
+		for ( i = 0; i <= DEG(t); i++ )
+			COEF(COEF(fl)[i])[d] = COEF(t)[i];
+	}
+	for ( i = 0; i < bound; i++ )
+		degum(COEF(fl)[i],n);
+}
+
 /* x : main variable */
 
 void sflumtop(bound,fl,x,y,fp)
@@ -961,4 +1010,408 @@ P *fp;
 		sfumtop(y,w,&COEF(dct)); NEXT(dct) = dc; dc = dct;
 	}
 	MKP(x,dc,*fp);
+}
+
+/* x : main variable */
+
+void sfbmtop(bound,f,x,y,fp)
+int bound;
+BM f;
+V x,y;
+P *fp;
+{
+	UM *c;
+	int i,j,d,a;
+	GFS b;
+	DCP dc0,dc,dct;
+
+	c = COEF(f);
+	d = DEG(c[0]);
+	for ( i = 1; i < bound; i++ )
+		d = MAX(DEG(c[i]),d);
+
+	dc0 = 0;
+	for ( i = 0; i <= d; i++ ) {
+		dc = 0;
+		for ( j = 0; j < bound; j++ ) {
+			if ( DEG(c[j]) >= i && (a = COEF(c[j])[i]) ) {
+				NEWDC(dct);
+				STOQ(j,DEG(dct));
+				MKGFS(IFTOF(a),b);
+				COEF(dct) = (P)b;
+				NEXT(dct) = dc;
+				dc = dct;
+			}
+		}
+		if ( dc ) {
+			NEWDC(dct);
+			STOQ(i,DEG(dct));
+			MKP(y,dc,COEF(dct));
+			NEXT(dct) = dc0;
+			dc0 = dct;
+		}
+	}
+	if ( dc0 )
+		MKP(x,dc0,*fp);
+	else
+		*fp = 0;
+}
+
+void sfdtest(P,ML,V,V,DCP *);
+
+void sfbfctr(f,x,y,dcp)
+P f;
+V x,y;
+DCP *dcp;
+{
+	ML list;
+	P sf;
+	GFS ev;
+	DCP dc,dct;
+	BM fl;
+	int n,bound;
+
+	/* sf(x) = f(x+ev) = list->c[0]*list->c[1]*... */
+	sfhensel(5,f,x,&ev,&sf,&list);
+	if ( list->n == 0 )
+		error("sfbfctr : short of evaluation points");
+	else if ( list->n == 1 ) {
+		/* f is irreducible */
+		NEWDC(dc); DEG(dc) = ONE; COEF(dc) = f; NEXT(dc) = 0;
+		*dcp = dc;
+		return;
+	}
+	sfdtest(sf,list,x,y,&dc);
+	n = getdeg(x,sf);
+	bound = list->bound;
+	W_BMALLOC(n,bound,fl);
+	for ( dct = dc; dct; dct = NEXT(dct) ) {
+		ptosfbm(bound,COEF(dct),fl);
+		shiftsfbm(bound,fl,_chsgnsf(FTOIF(CONT(ev))));
+		sfbmtop(bound,fl,x,y,&COEF(dct));
+	}
+	*dcp = dc;
+}
+
+/* f = f(x,y) = list->c[0]*list->c[1]*... mod y^list->bound */
+
+void sfdtest(f,list,x,y,dcp)
+P f;
+ML list;
+V x,y;
+DCP *dcp;
+{
+	int n,np,bound;
+	int i,j,k;
+	int *win;
+	P g,lcg,factor,cofactor,lcyx;
+	P t,csum;
+	DCP dcf,dcf0,dc;
+	BM *c;
+	BM lcy;
+	UM lcg0;
+	ML wlist;
+	struct oVL vl1,vl0;
+	VL vl;
+	int z;
+
+	/* vl = [x,y] */
+	vl0.v = x; vl0.next = &vl1; vl1.v = y; vl1.next = 0; vl = &vl0;
+
+	/* setup various structures and arrays */
+	n = UDEG(f); np = list->n; bound = list->bound; win = W_ALLOC(np+1);
+	wlist = W_MLALLOC(np); wlist->n = list->n;
+	wlist->bound = list->bound;
+	c = (BM *)COEF(wlist);
+	bcopy((char *)COEF(list),(char *)c,(int)(sizeof(BM)*np));
+
+	lcg0 = W_UMALLOC(2*bound);
+
+	/* initialize g by f */
+	g = f;
+
+	/* initialize lcg */
+	mulp(vl,g,COEF(DC(g)),&lcg);
+
+	/* initialize lcg0 */
+	const_term(lcg,lcg0);
+
+	/* initialize csum = lcg(1) */
+	sfcsump(vl,lcg,&csum);
+
+	/* initialize lcy by LC(f) */
+	W_BMALLOC(0,bound,lcy);
+	NEWDC(dc); COEF(dc) = COEF(DC(g)); DEG(dc) = 0; 
+	NEWP(lcyx); VR(lcyx) = x; DC(lcyx) = dc;
+	ptosfbm(bound,lcyx,lcy);
+
+	fprintf(stderr,"np = %d\n",np);
+	for ( g = f, k = 1, dcf = dcf0 = 0, win[0] = 1, --np, z = 0; ; z++ ) {
+		if ( !(z % 1000) ) fprintf(stderr,".");
+		if ( sfdtestmain(vl,lcg,lcg0,lcy,csum,wlist,k,win,&factor,&cofactor) ) {
+			NEXTDC(dcf0,dcf); DEG(dcf) = ONE; COEF(dcf) = factor;
+			g = cofactor;
+
+			/* update lcg */
+			mulp(vl,g,COEF(DC(g)),&lcg);
+
+			/* update lcg0 */
+			const_term(lcg,lcg0);
+
+			/* update csum */
+			sfcsump(vl,lcg,&csum);
+
+			/* update lcy */
+			clearsfbm(bound,0,lcy);
+			COEF(dc) = COEF(DC(g)); ptosfbm(bound,lcyx,lcy);
+
+			for ( i = 0; i < k - 1; i++ ) 
+				for ( j = win[i] + 1; j < win[i + 1]; j++ ) 
+					c[j-i-1] = c[j];
+			for ( j = win[k-1] + 1; j <= np; j++ ) 	
+					c[j-k] = c[j];
+			if ( ( np -= k ) < k ) 
+				break;
+			if ( np - win[0] + 1 < k ) 
+				if ( ++k > np )
+					break;
+				else
+					for ( i = 0; i < k; i++ ) 
+						win[i] = i + 1;
+			else 
+				for ( i = 1; i < k; i++ ) 
+					win[i] = win[0] + i;
+		} else if ( !ncombi(1,np,k,win) ) 
+			if ( k == np ) 
+				break;
+			else
+				for ( i = 0, ++k; i < k; i++ ) 
+					win[i] = i + 1;
+	}
+	fprintf(stderr,"\n");
+	NEXTDC(dcf0,dcf); COEF(dcf) = g;
+	DEG(dcf) = ONE; NEXT(dcf) = 0; *dcp = dcf0;
+}
+
+/* lcy = LC(g), lcg = lcy*g, lcg0 = const part of lcg */
+int sfdtestmain(vl,lcg,lcg0,lcy,csum,list,k,in,fp,cofp)
+VL vl;
+P lcg;
+UM lcg0;
+BM lcy;
+P csum;
+ML list;
+int k;
+int *in;
+P *fp,*cofp;
+{
+	P fmul,csumg,q;
+	V x,y;
+
+	x = vl->v;
+	y = vl->next->v;
+	if (!sfctest(lcg0,lcy,list,k,in))
+		return 0;
+	mulsfbmarray(UDEG(lcg),lcy,list,k,in,x,y,&fmul);
+	if ( csum ) {
+		sfcsump(vl,fmul,&csumg);
+		if ( csumg ) {
+			if ( !divtp(vl,csum,csumg,&q) )
+				return 0;
+		} 
+	}
+	if ( divtp_by_sfbm(vl,lcg,fmul,&q) ) {
+		pp_sfp(vl,fmul,fp);
+		pp_sfp(vl,q,cofp);
+		return 1;
+	} else
+		return 0;
+}
+
+void const_term(f,c)
+P f;
+UM c;
+{
+	DCP dc;
+
+	for ( dc = DC(f); dc && DEG(dc); dc = NEXT(dc) );
+	if ( dc ) 
+		ptosfum(COEF(dc),c);
+	else 
+		DEG(c) = -1;
+}
+
+void const_term_sfbm(f,bound,c)
+BM f;
+int bound;
+UM c;
+{
+	int i;
+
+	for ( i = 0; i < bound; i++ )
+		if ( DEG(COEF(f)[i]) >= 0 )
+			COEF(c)[i] = COEF(COEF(f)[i])[0];
+		else
+			COEF(c)[i] = 0;
+	degum(c,bound-1);
+}
+
+/* lcy*(product of const part) | lcg0 ? */
+
+int sfctest(lcg0,lcy,list,k,in)
+UM lcg0;
+BM lcy;
+ML list;
+int k;
+int *in;
+{
+	DCP dc;
+	int bound,i,dr;
+	UM t,s,u,w;
+	BM *l;
+
+	bound = list->bound;
+	t = W_UMALLOC(2*bound);
+	s = W_UMALLOC(2*bound);
+	u = W_UMALLOC(2*bound);
+	const_term_sfbm(lcy,bound,t);
+	if ( DEG(t) < 0 )
+		return 1;
+
+	l = (BM *)list->c;
+	for ( i = 0; i < k; i++ ) {
+		const_term_sfbm(l[in[i]],bound,s);
+		mulsfum(t,s,u);
+		if ( DEG(u) >= bound )
+			degum(u,bound-1);
+		w = t; t = u; u = w;
+	}
+	cpyum(lcg0,s);
+	dr = divsfum(s,t,u);
+	if ( dr >= 0 )
+		return 0;
+	else
+		return 1;
+}
+
+/* main var of f is x */
+
+void mulsfbmarray(n,lcy,list,k,in,x,y,g)
+int n;
+BM lcy;
+ML list;
+int k;
+int *in;
+V x,y;
+P *g;
+{
+	int bound,i;
+	BM wb0,wb1,t,lcbm;
+	BM *l;
+
+	bound = list->bound;
+	W_BMALLOC(n,bound,wb0); W_BMALLOC(n,bound,wb1);
+	l = (BM *)list->c;
+	clearsfbm(bound,n,wb0);
+	mulsfbm(bound,lcy,l[in[0]],wb0);
+	for ( i = 1; i < k; i++ ) {
+		clearsfbm(bound,n,wb1);
+		mulsfbm(bound,l[in[i]],wb0,wb1);
+		t = wb0; wb0 = wb1; wb1 = t;
+	}
+	sfbmtop(bound,wb0,x,y,g);
+}
+
+void sfcsump(vl,f,s)
+VL vl;
+P f;
+P *s;
+{
+	P t,u;
+	DCP dc;
+
+	for ( dc = DC(f), t = 0; dc; dc = NEXT(dc) ) {
+		addp(vl,COEF(dc),t,&u); t = u;
+	}
+	*s = t;
+}
+
+/* *fp = primitive part of f w.r.t. x */
+
+void pp_sfp(vl,f,fp)
+VL vl;
+P f;
+P *fp;
+{
+	V x,y;
+	int d;
+	UM t,s,gcd;
+	DCP dc;
+	P dvr;
+
+	x = vl->v;
+	y = vl->next->v;
+	d = getdeg(y,f);
+	if ( d == 0 )
+		*fp = f;  /* XXX */
+	else {
+		t = W_UMALLOC(2*d);
+		s = W_UMALLOC(2*d);
+		gcd = W_UMALLOC(2*d);
+		dc = DC(f);
+		ptosfum(COEF(dc),gcd);
+		for ( dc = NEXT(dc); dc; dc = NEXT(dc) ) {
+			ptosfum(COEF(dc),t);
+			gcdsfum(gcd,t,s);
+			cpyum(s,gcd);
+		}
+		sfumtop(y,gcd,&dvr);
+		divsp(vl,f,dvr,fp);
+	}
+}
+
+int divtp_by_sfbm(vl,f,g,qp)
+VL vl;
+P f,g;
+P *qp;
+{
+	V x,y;
+	int fx,fy,gx,gy;
+	BM fl,gl,ql;
+	UM *cf,*cg,*cq;
+	UM hg,q,t,s;
+	int i,j,dr;
+
+	x = vl->v; y = vl->next->v;
+	fx = getdeg(x,f); fy = getdeg(y,f);
+	gx = getdeg(x,g); gy = getdeg(y,g);
+
+	if ( fx < gx || fy < gy )
+		return 0;
+	W_BMALLOC(fx,fy+1,fl); ptosfbm(fy+1,f,fl); cf = COEF(fl);
+	W_BMALLOC(gx,gy+1,gl); ptosfbm(gy+1,g,gl); cg = COEF(gl);
+	W_BMALLOC(fx-gx,fy-gy+1,ql); cq = COEF(ql);
+
+	hg = cg[gy];
+	q = W_UMALLOC(fx); t = W_UMALLOC(fx); s = W_UMALLOC(fx);
+
+	for ( i = fy; i >= gy; i-- ) {
+		if ( DEG(cf[i]) < 0 )
+			continue;
+		dr = divsfum(cf[i],hg,q);
+		if ( dr >= 0 )
+			return 0;
+		if ( DEG(q) > fx-gx )
+			return 0;
+		cpyum(q,cq[i-gy]);
+		for ( j = 0; j <= gy; j++ ) {
+			mulsfum(cg[j],q,t);
+			subsfum(cf[j+i-gy],t,s);
+			cpyum(s,cf[j+i-gy]);
+		}
+	}
+	for ( j = gy-1; j >= 0 && DEG(cf[j]) < 0; j-- );
+	if ( j >= 0 )
+		return 0;
+	sfbmtop(DEG(ql),ql,x,y,qp);
 }