version 1.5, 2001/06/25 04:11:42 |
version 1.33, 2015/08/14 13:51:54 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2000/engine/Hgfs.c,v 1.4 2001/06/25 01:35:21 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2000/engine/Hgfs.c,v 1.32 2015/08/08 14:19:41 fujimoto Exp $ */ |
|
|
#include "ca.h" |
#include "ca.h" |
|
#include "inline.h" |
|
|
struct p_pair { |
int debug_sfbfctr; |
UM p0; |
|
UM p1; |
|
struct p_pair *next; |
|
}; |
|
|
|
void canzassf(UM,int,UM *); |
void lnfsf(int n,UM p0,UM p1,struct p_pair *list,UM np0,UM np1); |
void lnfsf(int,UM,UM,struct p_pair *,UM,UM); |
void extractcoefbm(BM f,int dx,UM r); |
void minipolysf(UM,UM,UM); |
|
void czsfum(UM,UM *); |
|
void gensqfrsfum(UM,DUM); |
|
|
|
void fctrsf(p,dcp) |
int comp_dum(DUM a,DUM b) |
P p; |
|
DCP *dcp; |
|
{ |
{ |
|
if ( DEG(a->f) > DEG(b->f) ) |
|
return -1; |
|
else if ( DEG(a->f) < DEG(b->f) ) |
|
return 1; |
|
else |
|
return 0; |
|
} |
|
|
|
void ufctrsf(P p,DCP *dcp) |
|
{ |
int n,i,j,k; |
int n,i,j,k; |
DCP dc,dc0; |
DCP dc,dc0; |
P lc; |
P lc; |
P zp; |
|
UM mp; |
UM mp; |
UM *tl; |
UM *tl; |
|
Obj obj; |
struct oDUM *udc,*udc1; |
struct oDUM *udc,*udc1; |
|
|
simp_ff(p,&zp); p = zp; |
simp_ff((Obj)p,&obj); p = (P)obj; |
if ( !p ) { |
if ( !p ) { |
*dcp = 0; return; |
NEWDC(dc); COEF(dc) = 0; DEG(dc) = ONE; |
|
NEXT(dc) = 0; *dcp = dc; |
|
return; |
} |
} |
mp = W_UMALLOC(UDEG(p)); |
mp = W_UMALLOC(UDEG(p)); |
ptosfum(p,mp); |
ptosfum(p,mp); |
|
|
} |
} |
} |
} |
udc = udc1; |
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; |
NEWDC(dc0); COEF(dc0) = lc; DEG(dc0) = ONE; dc = dc0; |
for ( n = 0; udc[n].f; n++ ) { |
for ( n = 0; udc[n].f; n++ ) { |
NEWDC(NEXT(dc)); dc = NEXT(dc); |
NEWDC(NEXT(dc)); dc = NEXT(dc); |
|
|
NEXT(dc) = 0; *dcp = dc0; |
NEXT(dc) = 0; *dcp = dc0; |
} |
} |
|
|
void gensqfrsfum(p,dc) |
void gensqfrsfum(UM p,struct oDUM *dc) |
UM p; |
|
struct oDUM *dc; |
|
{ |
{ |
int n,i,j,d,mod; |
int n,i,j,d,mod; |
UM t,s,g,f,f1,b; |
UM t,s,g,f,f1,b; |
|
GFS u,v; |
|
|
if ( (n = DEG(p)) == 1 ) { |
if ( (n = DEG(p)) == 1 ) { |
dc[0].f = UMALLOC(DEG(p)); cpyum(p,dc[0].f); dc[0].n = 1; |
dc[0].f = UMALLOC(DEG(p)); cpyum(p,dc[0].f); dc[0].n = 1; |
Line 113 struct oDUM *dc; |
|
Line 120 struct oDUM *dc; |
|
break; |
break; |
else { |
else { |
DEG(s) = DEG(t)/mod; |
DEG(s) = DEG(t)/mod; |
for ( j = 0; j <= DEG(t); j++ ) |
for ( j = 0; j <= DEG(t); j++ ) { |
COEF(s)[j] = COEF(t)[j*mod]; |
iftogfs(COEF(t)[j*mod],&u); |
|
pthrootgfs(u,&v); |
|
COEF(s)[j] = v?FTOIF(CONT(v)):0; |
|
} |
cpyum(s,b); d *= mod; |
cpyum(s,b); d *= mod; |
} |
} |
} |
} |
Line 124 struct oDUM *dc; |
|
Line 134 struct oDUM *dc; |
|
} |
} |
} |
} |
|
|
void randsfum(d,p) |
void randsfum(int d,UM p) |
int d; |
|
UM p; |
|
{ |
{ |
int i; |
int i; |
|
|
|
|
p->d = i; |
p->d = i; |
} |
} |
|
|
void pwrmodsfum(p,e,f,pr) |
void pwrmodsfum(UM p,int e,UM f,UM pr) |
int e; |
|
UM p,f,pr; |
|
{ |
{ |
UM wt,ws,q; |
UM wt,ws,q; |
|
|
|
|
} |
} |
} |
} |
|
|
void spwrsfum(m,f,e,r) |
void spwrsfum(UM m,UM f,N e,UM r) |
UM f,m,r; |
|
N e; |
|
{ |
{ |
UM t,s,q; |
UM t,s,q; |
N e1; |
N e1; |
|
|
} |
} |
} |
} |
|
|
void tracemodsfum(m,f,e,r) |
void tracemodsfum(UM m,UM f,int e,UM r) |
UM f,m,r; |
|
int e; |
|
{ |
{ |
UM t,s,q,u; |
UM t,s,q,u; |
int i; |
int i; |
|
|
cpyum(s,r); |
cpyum(s,r); |
} |
} |
|
|
void make_qmatsf(p,tab,mp) |
void make_qmatsf(UM p,UM *tab,int ***mp) |
UM p; |
|
UM *tab; |
|
int ***mp; |
|
{ |
{ |
int n,i,j; |
int n,i,j; |
int *c; |
int *c; |
|
|
mat[i][i] = _subsf(mat[i][i],one); |
mat[i][i] = _subsf(mat[i][i],one); |
} |
} |
|
|
void nullsf(mat,n,ind) |
void nullsf(int **mat,int n,int *ind) |
int **mat; |
|
int *ind; |
|
int n; |
|
{ |
{ |
int i,j,l,s,h,inv; |
int i,j,l,s,h,inv; |
int *t,*u; |
int *t,*u; |
|
|
} |
} |
} |
} |
|
|
void null_to_solsf(mat,ind,n,r) |
void null_to_solsf(int **mat,int *ind,int n,UM *r) |
int **mat; |
|
int *ind; |
|
int n; |
|
UM *r; |
|
{ |
{ |
int i,j,k,l; |
int i,j,k,l; |
int *c; |
int *c; |
Line 304 nullsf(mat,n,ind) |
|
Line 296 nullsf(mat,n,ind) |
|
null_to_solsf(ind,n,r) |
null_to_solsf(ind,n,r) |
*/ |
*/ |
|
|
void czsfum(f,r) |
void czsfum(UM f,UM *r) |
UM f,*r; |
|
{ |
{ |
int i,j; |
int i,j; |
int d,n,ord; |
int d,n,ord; |
|
|
r[j] = 0; |
r[j] = 0; |
} |
} |
|
|
int berlekampsf(p,df,tab,r) |
int berlekampsf(UM p,int df,UM *tab,UM *r) |
UM p; |
|
int df; |
|
UM *tab,*r; |
|
{ |
{ |
int n,i,j,k,nf,d,nr; |
int n,i,j,k,nf,d,nr; |
int **mat; |
int **mat; |
|
|
} |
} |
} |
} |
} |
} |
|
/* NOT REACHED */ |
|
error("berlekampsf : cannot happen"); |
|
return 0; |
} |
} |
|
|
void minipolysf(f,p,mp) |
void minipolysf(UM f,UM p,UM mp) |
UM f,p,mp; |
|
{ |
{ |
struct p_pair *list,*l,*l1,*lprev; |
struct p_pair *list,*l,*l1,*lprev; |
int n,d; |
int n,d; |
|
|
} |
} |
} |
} |
|
|
void lnfsf(n,p0,p1,list,np0,np1) |
void lnfsf(int n,UM p0,UM p1,struct p_pair *list,UM np0,UM np1) |
int n; |
|
UM p0,p1; |
|
struct p_pair *list; |
|
UM np0,np1; |
|
{ |
{ |
int inv,h,d1; |
int h,d1; |
UM t0,t1,s0,s1; |
UM t0,t1,s0,s1; |
struct p_pair *l; |
struct p_pair *l; |
|
|
|
|
} |
} |
} |
} |
|
|
int find_rootsf(p,root) |
int find_rootsf(UM p,int *root) |
UM p; |
|
int *root; |
|
{ |
{ |
UM *r; |
UM *r; |
int i,j,n; |
int i,n; |
|
|
n = DEG(p); |
n = DEG(p); |
r = ALLOCA((DEG(p))*sizeof(UM)); |
r = ALLOCA((DEG(p))*sizeof(UM)); |
|
|
return n; |
return n; |
} |
} |
|
|
void canzassf(f,d,r) |
void canzassf(UM f,int d,UM *r) |
UM f,*r; |
|
int d; |
|
{ |
{ |
UM t,s,u,w,g,o; |
UM t,s,u,w,g,o; |
N n1,n2,n3,n4,n5; |
N n1,n2,n3,n4,n5; |
UM *b; |
UM *b; |
int n,m,i,q,ed; |
int n,q,ed; |
|
|
if ( DEG(f) == d ) { |
if ( DEG(f) == d ) { |
r[0] = UMALLOC(d); cpyum(f,r[0]); |
r[0] = UMALLOC(d); cpyum(f,r[0]); |
|
|
|
|
/* Hensel related functions */ |
/* Hensel related functions */ |
|
|
int sfberle(VL,P,int,GFS *,DCP *); |
int sfberle(V,V,P,int,GFS *,DCP *); |
void sfgcdgen(P,ML,ML *); |
void sfgcdgen(P,ML,ML *); |
void sfhenmain(LUM,ML,ML,ML *); |
|
void ptosflum(int,P,LUM); |
|
void sfhenmain2(BM,UM,UM,int,BM *); |
void sfhenmain2(BM,UM,UM,int,BM *); |
void ptosfbm(int,P,BM); |
void ptosfbm(int,P,BM); |
|
void sfhensel(int count,P f,V x,V y,int degbound,GFS *evp,P *sfp,ML *listp); |
|
|
/* f = f(x,y) */ |
/* f = f(x,y) */ |
|
|
void sfhensel(count,f,x,listp) |
void sfhensel(int count,P f,V x,V y,int degbound,GFS *evp,P *sfp,ML *listp) |
int count; |
|
P f; |
|
V x; |
|
ML *listp; |
|
{ |
{ |
int i,j; |
int i; |
int fn,n,bound; |
int fn; |
ML rlist; |
ML rlist; |
BM fl; |
BM fl; |
VL vl,nvl; |
VL vl,nvl; |
V y; |
int dx,dy,bound; |
int dx,dy,mev; |
|
GFS ev; |
GFS ev; |
P f1,t,yev,c; |
P f1,t,c,sf; |
DCP dc; |
DCP dc,dct,dc0; |
UM w,w1,q,fm,hm; |
UM q,fm,hm; |
UM *gm; |
UM *gm; |
|
struct oEGT tmp0,tmp1,eg_hensel,eg_hensel_t; |
|
|
clctv(CO,f,&vl); |
clctv(CO,f,&vl); |
if ( vl->v != x ) { |
if ( vl->v != x ) { |
reordvar(vl,x,&nvl); reorderp(nvl,vl,f,&f1); |
reordvar(vl,x,&nvl); reorderp(nvl,vl,f,&f1); |
vl = nvl; f = f1; |
vl = nvl; f = f1; |
} |
} |
y = vl->next->v; |
if ( vl->next ) |
|
y = vl->next->v; |
dx = getdeg(x,f); |
dx = getdeg(x,f); |
dy = getdeg(y,f); |
dy = getdeg(y,f); |
if ( dx == 1 ) { |
if ( dx == 1 ) { |
*listp = rlist = MLALLOC(1); rlist->n = 1; rlist->c[0] = 0; |
*listp = rlist = MLALLOC(1); rlist->n = 1; rlist->c[0] = 0; |
return; |
return; |
} |
} |
fn = sfberle(vl,f,count,&ev,&dc); |
fn = sfberle(x,y,f,count,&ev,&dc); |
if ( fn <= 1 ) { |
if ( fn <= 1 ) { |
/* fn == 0 => short of evaluation points */ |
/* fn == 0 => short of evaluation points */ |
*listp = rlist = MLALLOC(1); rlist->n = fn; rlist->c[0] = 0; |
*listp = rlist = MLALLOC(1); rlist->n = fn; rlist->c[0] = 0; |
return; |
return; |
} |
} |
/* pass the the leading coeff. to the first element */ |
if ( degbound >= 0 ) { |
c = dc->c; dc = NEXT(dc); |
/* |
mulp(vl,dc->c,c,&t); dc->c = t; |
* reconstruct dc so that |
|
* dc[1],... : factors satisfy degree bound |
|
* dc[0] : product of others |
|
*/ |
|
c = dc->c; dc = NEXT(dc); |
|
dc0 = 0; |
|
fn = 0; |
|
while ( dc ) { |
|
if ( getdeg(x,COEF(dc)) <= degbound ) { |
|
dct = NEXT(dc); NEXT(dc) = dc0; dc0 = dc; dc = dct; |
|
fn++; |
|
} else { |
|
mulp(vl,COEF(dc),c,&t); c = t; |
|
dc = NEXT(dc); |
|
} |
|
} |
|
if ( OID(c) == O_P ) { |
|
NEWDC(dc); COEF(dc) = c; DEG(dc) = ONE; NEXT(dc) = dc0; |
|
fn++; |
|
} else { |
|
mulp(vl,dc0->c,c,&t); dc0->c = t; dc = dc0; |
|
} |
|
} else { |
|
/* pass the the leading coeff. to the first element */ |
|
c = dc->c; dc = NEXT(dc); |
|
mulp(vl,dc->c,c,&t); dc->c = t; |
|
} |
|
|
/* convert mod y-a factors into UM */ |
/* convert mod y-a factors into UM */ |
gm = (UM *)ALLOCA(fn*sizeof(UM)); |
gm = (UM *)ALLOCA(fn*sizeof(UM)); |
|
|
ptosfum(dc->c,gm[i]); |
ptosfum(dc->c,gm[i]); |
} |
} |
|
|
bound = dy+1; |
/* set bound */ |
|
/* g | f, lc_y(g) = lc_y(f) => deg_y(g) <= deg_y(f) */ |
|
/* so, bound = dy is sufficient, but we use slightly large value */ |
|
bound = dy+2; |
|
|
/* f(x,y) -> f(x,y+ev) */ |
/* f(x,y) -> f(x,y+ev) */ |
fl = BMALLOC(dx,bound); |
fl = BMALLOC(dx,bound); |
ptosfbm(bound,f,fl); |
ptosfbm(bound,f,fl); |
shiftsfbm(bound,fl,FTOIF(CONT(ev))); |
if ( ev ) shiftsfbm(fl,FTOIF(CONT(ev))); |
|
|
|
/* sf = f(x+ev) */ |
|
sfbmtop(fl,x,y,&sf); |
|
|
/* fm = fl mod y */ |
/* fm = fl mod y */ |
fm = W_UMALLOC(dx); |
fm = W_UMALLOC(dx); |
cpyum(COEF(fl)[0],fm); |
cpyum(COEF(fl)[0],fm); |
|
|
|
|
q = W_UMALLOC(dx); |
q = W_UMALLOC(dx); |
rlist = MLALLOC(fn); rlist->n = fn; rlist->bound = bound; |
rlist = MLALLOC(fn); rlist->n = fn; rlist->bound = bound; |
|
if ( debug_sfbfctr ) |
|
fprintf(asir_out,"%d candidates\n",fn); |
|
init_eg(&eg_hensel); |
for ( i = 0; i < fn-1; i++ ) { |
for ( i = 0; i < fn-1; i++ ) { |
fprintf(stderr,"%d\n",i); |
if ( debug_sfbfctr ) |
|
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 */ |
/* fl = gm[i]*hm mod y */ |
divsfum(fm,gm[i],hm); |
divsfum(fm,gm[i],hm); |
/* fl is replaced by the cofactor of gk mod y^bound */ |
/* fl is replaced by the cofactor of gk mod y^bound */ |
/* rlist->c[i] = gk */ |
/* rlist->c[i] = gk */ |
sfhenmain2(fl,gm[i],hm,bound,(BM *)&rlist->c[i]); |
sfhenmain2(fl,gm[i],hm,bound,(BM *)&rlist->c[i]); |
cpyum(hm,fm); |
cpyum(hm,fm); |
|
get_eg(&tmp1); add_eg(&eg_hensel_t,&tmp0,&tmp1); |
|
add_eg(&eg_hensel,&tmp0,&tmp1); |
|
if ( debug_sfbfctr) { |
|
print_eg("Hensel",&eg_hensel_t); |
|
fprintf(asir_out,"\n"); |
|
} |
} |
} |
|
if ( debug_sfbfctr) { |
|
print_eg("Hensel total",&eg_hensel); |
|
fprintf(asir_out,"\n"); |
|
} |
/* finally, fl must be the lift of gm[fn-1] */ |
/* finally, fl must be the lift of gm[fn-1] */ |
rlist->c[i] = fl; |
rlist->c[i] = fl; |
|
|
|
#if 0 |
/* y -> y-a */ |
/* y -> y-a */ |
w = W_UMALLOC(bound); |
|
w1 = W_UMALLOC(bound); |
|
mev = _chsgnsf(FTOIF(CONT(ev))); |
mev = _chsgnsf(FTOIF(CONT(ev))); |
for ( i = 0; i < fn; i++ ) |
for ( i = 0; i < fn; i++ ) |
shiftsfbm(bound,(BM)(rlist->c[i]),mev); |
shiftsfbm((BM)(rlist->c[i]),mev); |
|
#endif |
|
*evp = ev; |
|
*sfp = sf; |
*listp = rlist; |
*listp = rlist; |
} |
} |
|
|
/* main variable of f = x */ |
/* main variable of f = x */ |
|
|
int sfberle(vl,f,count,ev,dcp) |
int sfberle(V x,V y,P f,int count,GFS *ev,DCP *dcp) |
VL vl; |
|
P f; |
|
int count; |
|
GFS *ev; |
|
DCP *dcp; |
|
{ |
{ |
UM wf,wf1,wf2,wfs,gcd; |
UM wf,wf1,wf2,wfs,gcd; |
ML flist; |
int fn,n; |
int fn,fn1,n; |
|
GFS m,fm; |
GFS m,fm; |
DCP dc,dct,dc0; |
DCP dc,dct,dc0; |
VL nvl; |
VL vl; |
V x,y; |
P lc,lc0,f0; |
P g,lc,lc0,f0; |
Obj obj; |
int j,q1,index,i; |
int j,q,index,i; |
|
|
clctv(vl,f,&nvl); vl = nvl; |
NEWVL(vl); vl->v = x; |
x = vl->v; y = vl->next->v; |
NEWVL(NEXT(vl)); NEXT(vl)->v = y; |
simp_ff(f,&g); g = f; |
NEXT(NEXT(vl)) =0; |
|
simp_ff((Obj)f,&obj); f = (P)obj; |
n = QTOS(DEG(DC(f))); |
n = QTOS(DEG(DC(f))); |
wf = W_UMALLOC(n); wf1 = W_UMALLOC(n); wf2 = W_UMALLOC(n); |
wf = W_UMALLOC(n); wf1 = W_UMALLOC(n); wf2 = W_UMALLOC(n); |
wfs = W_UMALLOC(n); gcd = W_UMALLOC(n); |
wfs = W_UMALLOC(n); gcd = W_UMALLOC(n); |
q1 = field_order_sf()-1; |
q = field_order_sf(); |
lc = DC(f)->c; |
lc = DC(f)->c; |
for ( j = 0, fn = n + 1, index = 0; |
for ( j = 0, fn = n + 1, index = 0; |
index < q1 && j < count && fn > 1; index++ ) { |
index < q && j < count && fn > 1; index++ ) { |
MKGFS(index,m); |
indextogfs(index,&m); |
substp(vl,lc,y,(P)m,&lc0); |
substp(vl,lc,y,(P)m,&lc0); |
if ( lc0 ) { |
if ( lc0 ) { |
substp(vl,f,y,(P)m,&f0); |
substp(vl,f,y,(P)m,&f0); |
ptosfum(f0,wf); cpyum(wf,wf1); |
ptosfum(f0,wf); cpyum(wf,wf1); |
diffsfum(wf1,wf2); gcdsfum(wf1,wf2,gcd); |
diffsfum(wf1,wf2); gcdsfum(wf1,wf2,gcd); |
if ( DEG(gcd) == 0 ) { |
if ( DEG(gcd) == 0 ) { |
fctrsf(f0,&dc); |
ufctrsf(f0,&dc); |
for ( dct = NEXT(dc), i = 0; dct; dct = NEXT(dct), i++ ); |
for ( dct = NEXT(dc), i = 0; dct; dct = NEXT(dct), i++ ); |
if ( i < fn ) { |
if ( i < fn ) { |
dc0 = dc; fn = i; fm = m; |
dc0 = dc; fn = i; fm = m; |
|
|
} |
} |
} |
} |
} |
} |
if ( index == q1 ) |
if ( index == q ) |
return 0; |
return 0; |
else if ( fn == 1 ) |
else if ( fn == 1 ) |
return 1; |
return 1; |
|
|
} |
} |
} |
} |
|
|
void sfgcdgen(f,blist,clistp) |
void sfgcdgen(P f,ML blist,ML *clistp) |
P f; |
|
ML blist,*clistp; |
|
{ |
{ |
int i; |
int i; |
int n,d,np; |
int n,d,np; |
Line 706 ML blist,*clistp; |
|
Line 729 ML blist,*clistp; |
|
} |
} |
} |
} |
|
|
/* |
/* f = g0*h0 mod y -> f = gk*hk mod y^(dy+1), f is replaced by hk */ |
sfhenmain(fl,bqlist,cqlist,listp) |
|
*/ |
|
|
|
void sfhenmain(f,bqlist,cqlist,listp) |
void sfhenmain2(BM f,UM g0,UM h0,int dy,BM *gp) |
LUM f; |
|
ML bqlist,cqlist,*listp; |
|
{ |
{ |
int i,j,k; |
int i,k; |
int *px,*py; |
int dx; |
int **pp,**pp1; |
UM wt,wa,wb,q,w1,w2,wh1,wg1,ws; |
int n,np,bound,dr,tmp; |
|
UM wt,wq0,wq,wr,wm,wm0,wa,q; |
|
LUM wb0,wb1,tlum; |
|
UM *b,*c; |
|
LUM *l; |
|
ML list; |
|
|
|
n = DEG(f); np = bqlist->n; bound = bqlist->bound; |
|
*listp = list = MLALLOC(n); |
|
list->n = np; list->bound = bound; |
|
W_LUMALLOC(n,bound,wb0); W_LUMALLOC(n,bound,wb1); |
|
wt = W_UMALLOC(n); wq0 = W_UMALLOC(n); wq = W_UMALLOC(n); |
|
wr = W_UMALLOC(n); wm = W_UMALLOC(2*n); wm0 = W_UMALLOC(2*n); |
|
wa = W_UMALLOC(2*n); q = W_UMALLOC(2*n); |
|
b = (UM *)bqlist->c; c = (UM *)cqlist->c; l = (LUM *)list->c; |
|
for ( i = 0; i < np; i++ ) { |
|
l[i] = LUMALLOC(DEG(b[i]),bound); |
|
for ( j = DEG(b[i]), pp = COEF(l[i]), px = COEF(b[i]); j >= 0; j-- ) |
|
pp[j][0] = px[j]; |
|
} |
|
for ( i = 1; i < bound; i++ ) { |
|
fprintf(stderr,"."); |
|
/* at this point, f = l[0]*l[1]*...*l[np-1] mod y^i */ |
|
mulsflum(i+1,l[0],l[1],wb0); |
|
for ( j = 2; j < np; j++ ) { |
|
mulsflum(i+1,l[j],wb0,wb1); |
|
tlum = wb0; wb0 = wb1; wb1 = tlum; |
|
} |
|
#if 0 |
|
/* check */ |
|
for ( j = 0, pp = COEF(f), pp1 = COEF(wb0); j <= n; j++ ) |
|
for ( k = 0; k < i; k++ ) |
|
if ( pp[j][k] != pp1[j][k] ) |
|
error("henmain : cannot happen"); |
|
#endif |
|
for ( j = n, px = COEF(wt); j >= 0; j-- ) |
|
px[j] = 0; |
|
for ( j = n, pp = COEF(f), pp1 = COEF(wb0); j >= 0; j-- ) |
|
COEF(wt)[j] = _subsf(pp[j][i],pp1[j][i]); |
|
degum(wt,n); |
|
for ( j = n, px = COEF(wq0); j >= 0; j-- ) |
|
px[j] = 0; |
|
for ( j = 1; j < np; j++ ) { |
|
mulsfum(wt,c[j],wm); dr = divsfum(wm,b[j],q); |
|
for ( k = DEG(q), px = COEF(wq0), py = COEF(q); k >= 0; k-- ) |
|
px[k] = _addsf(px[k],py[k]); |
|
for ( k = dr, pp = COEF(l[j]), px = COEF(wm); k >= 0; k-- ) |
|
pp[k][i] = px[k]; |
|
} |
|
degum(wq0,n); mulsfum(wq0,b[0],wm); |
|
mulsfum(wt,c[0],wm0); addsfum(wm,wm0,wa); |
|
for ( j = DEG(wa), pp = COEF(l[0]), px = COEF(wa); j >= 0; j-- ) |
|
pp[j][i] = px[j]; |
|
for ( j = n, px = COEF(wq0); j >= 0; j-- ) |
|
px[j] = 0; |
|
} |
|
fprintf(stderr,"\n"); |
|
} |
|
|
|
/* f = g0*h0 mod y -> f = gk*hk mod y^bound, f is replaced by hk */ |
|
|
|
void sfhenmain2(f,g0,h0,bound,gp) |
|
BM f; |
|
UM g0,h0; |
|
int bound; |
|
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,ws; |
|
UM wc,wd,we,wz; |
UM wc,wd,we,wz; |
BM wb0,wb1; |
BM wb0,wb1; |
int ng,nh; |
int dg,dh; |
BM fk,gk,hk; |
BM fk,gk,hk; |
|
|
n = f->d; |
if ( DEG(f) < dy ) |
ng = g0->d; |
error("sfhenmain2 : invalid input"); |
nh = h0->d; |
|
|
|
W_BMALLOC(n,bound,wb0); W_BMALLOC(n,bound,wb1); |
dx = degbm(f); |
wt = W_UMALLOC(n); ws = W_UMALLOC(n); |
dg = DEG(g0); |
wq = W_UMALLOC(n); q = W_UMALLOC(2*n); |
dh = DEG(h0); |
wg1 = W_UMALLOC(2*n); wh1 = W_UMALLOC(2*n); |
|
|
|
|
W_BMALLOC(dx,dy,wb0); W_BMALLOC(dx,dy,wb1); |
|
wt = W_UMALLOC(dx); ws = W_UMALLOC(dx); q = W_UMALLOC(2*dx); |
|
wg1 = W_UMALLOC(2*dx); wh1 = W_UMALLOC(2*dx); |
|
|
/* fk = gk*hk mod y^k */ |
/* fk = gk*hk mod y^k */ |
W_BMALLOC(n,bound,fk); cpyum(COEF(f)[0],COEF(fk)[0]); |
W_BMALLOC(dx,dy,fk); |
gk = BMALLOC(ng,bound); cpyum(g0,COEF(gk)[0]); |
cpyum(COEF(f)[0],COEF(fk)[0]); |
W_BMALLOC(nh,bound,hk); |
gk = BMALLOC(dg,dy); |
|
cpyum(g0,COEF(gk)[0]); |
|
W_BMALLOC(dh,dy,hk); |
cpyum(h0,COEF(hk)[0]); |
cpyum(h0,COEF(hk)[0]); |
|
|
wc = W_UMALLOC(2*n); wd = W_UMALLOC(2*n); |
wc = W_UMALLOC(2*dx); wd = W_UMALLOC(2*dx); |
we = W_UMALLOC(2*n); wz = W_UMALLOC(2*n); |
we = W_UMALLOC(2*dx); wz = W_UMALLOC(2*dx); |
|
|
/* compute wa,wb s.t. wa*g0+wb*h0 = 1 mod y */ |
/* compute wa,wb s.t. wa*g0+wb*h0 = 1 mod y */ |
w1 = W_UMALLOC(ng); cpyum(g0,w1); |
w1 = W_UMALLOC(dg); cpyum(g0,w1); |
w2 = W_UMALLOC(nh); cpyum(h0,w2); |
w2 = W_UMALLOC(dh); cpyum(h0,w2); |
wa = W_UMALLOC(2*n); wb = W_UMALLOC(2*n); /* XXX */ |
wa = W_UMALLOC(2*dx); wb = W_UMALLOC(2*dx); /* XXX */ |
eucsfum(w1,w2,wa,wb); |
eucsfum(w1,w2,wa,wb); |
|
|
#if 0 |
if ( debug_sfbfctr) |
mulsfum(wa,g0,wc); mulsfum(wb,h0,wd); addsfum(wc,wd,we); |
fprintf(stderr,"dy=%d\n",dy); |
if ( DEG(we) != 0 || COEF(we)[0] != _onesf() ) |
for ( k = 1; k <= dy; k++ ) { |
error("henmain2 : cannot happen(euc)"); |
if ( debug_sfbfctr) |
#endif |
fprintf(stderr,"."); |
|
|
fprintf(stderr,"bound=%d\n",bound); |
|
for ( k = 1; k < bound; k++ ) { |
|
fprintf(stderr,"."); |
|
|
|
/* at this point, f = gk*hk mod y^k */ |
/* at this point, f = gk*hk mod y^k */ |
#if 0 |
|
for ( j = 0; j < k; j++ ) |
|
if ( !isequalum(COEF(f)[j],COEF(fk)[j]) ) |
|
error("henmain2 : cannot happen(history)"); |
|
#endif |
|
|
|
/* clear wt */ |
/* clear wt */ |
bzero(COEF(wt),(n+1)*sizeof(int)); |
clearum(wt,dx); |
|
|
/* wt = (f-gk*hk)/y^k */ |
/* wt = (f-gk*hk)/y^k */ |
subsfum(COEF(f)[k],COEF(fk)[k],wt); |
subsfum(COEF(f)[k],COEF(fk)[k],wt); |
|
|
/* clear wq */ |
|
bzero(COEF(wq),(n+1)*sizeof(int)); |
|
|
|
/* compute wf1,wg1 s.t. wh1*g0+wg1*h0 = wt */ |
/* compute wf1,wg1 s.t. wh1*g0+wg1*h0 = wt */ |
mulsfum(wa,wt,wh1); DEG(wh1) = divsfum(wh1,h0,q); |
mulsfum(wa,wt,wh1); DEG(wh1) = divsfum(wh1,h0,q); |
mulsfum(wh1,g0,wc); subsfum(wt,wc,wd); DEG(wd) = divsfum(wd,h0,wg1); |
mulsfum(wh1,g0,wc); subsfum(wt,wc,wd); DEG(wd) = divsfum(wd,h0,wg1); |
|
|
error("henmain2 : cannot happen"); |
error("henmain2 : cannot happen"); |
#endif |
#endif |
|
|
/* fk += ((wg1*hk+wh1*gk)*y^k+wg1*wh1*y^(2*k) mod y^bound */ |
/* fk += ((wg1*hk+wh1*gk)*y^k+wg1*wh1*y^(2*k) mod y^(dy+1) */ |
/* wb0 = wh1*y^k */ |
/* wb0 = wh1*y^k */ |
clearsfbm(bound,n,wb0); |
clearbm(dx,wb0); |
DEG(wb0) = bound; |
|
cpyum(wh1,COEF(wb0)[k]); |
cpyum(wh1,COEF(wb0)[k]); |
|
|
/* wb1 = gk*wb0 mod y^bound */ |
/* wb1 = gk*wb0 mod y^(dy+1) */ |
clearsfbm(bound,n,wb1); |
clearbm(dx,wb1); |
mulsfbm(bound,gk,wb0,wb1); |
mulsfbm(gk,wb0,wb1); |
/* fk += wb1 */ |
/* fk += wb1 */ |
addtosfbm(bound,wb1,fk); |
addtosfbm(wb1,fk); |
|
|
/* wb0 = wg1*y^k */ |
/* wb0 = wg1*y^k */ |
clearsfbm(bound,n,wb0); |
clearbm(dx,wb0); |
DEG(wb0) = bound; |
|
cpyum(wg1,COEF(wb0)[k]); |
cpyum(wg1,COEF(wb0)[k]); |
|
|
/* wb1 = hk*wb0 mod y^bound */ |
/* wb1 = hk*wb0 mod y^(dy+1) */ |
clearsfbm(bound,n,wb1); |
clearbm(dx,wb1); |
mulsfbm(bound,hk,wb0,wb1); |
mulsfbm(hk,wb0,wb1); |
/* fk += wb1 */ |
/* fk += wb1 */ |
addtosfbm(bound,wb1,fk); |
addtosfbm(wb1,fk); |
|
|
/* fk += wg1*wh1*y^(2*k) mod y^bound */ |
/* fk += wg1*wh1*y^(2*k) mod y^(dy+1) */ |
if ( 2*k < bound ) { |
if ( 2*k <= dy ) { |
mulsfum(wg1,wh1,wt); addsfum(COEF(fk)[2*k],wt,ws); |
mulsfum(wg1,wh1,wt); addsfum(COEF(fk)[2*k],wt,ws); |
cpyum(ws,COEF(fk)[2*k]); |
cpyum(ws,COEF(fk)[2*k]); |
} |
} |
|
|
cpyum(wg1,COEF(gk)[k]); |
cpyum(wg1,COEF(gk)[k]); |
cpyum(wh1,COEF(hk)[k]); |
cpyum(wh1,COEF(hk)[k]); |
} |
} |
fprintf(stderr,"\n"); |
if ( debug_sfbfctr) |
|
fprintf(stderr,"\n"); |
*gp = gk; |
*gp = gk; |
DEG(f) = bound; |
DEG(f) = dy; |
for ( i = 0; i < bound; i++ ) |
for ( i = 0; i <= dy; i++ ) |
cpyum(COEF(hk)[i],COEF(f)[i]); |
cpyum(COEF(hk)[i],COEF(f)[i]); |
} |
} |
|
|
void ptosflum(bound,f,fl) |
/* a0*g+b0*h = 1 mod y -> a*g+b*h = 1 mod y^(dy+1) */ |
int bound; |
|
P f; |
void sfexgcd_by_hensel(BM g,BM h,int dy,BM *ap,BM *bp) |
LUM fl; |
|
{ |
{ |
DCP dc; |
int i,k; |
int **pp; |
int dx; |
int d; |
UM wt,wa,wb,q,w1,w2,ws; |
UM t; |
UM wc,wd,we,wz,wa1,wb1; |
|
BM wz0,wz1; |
|
int dg,dh; |
|
BM a,b,c; |
|
|
t = UMALLOC(bound); |
dg = degbm(g); |
for ( dc = DC(f), pp = COEF(fl); dc; dc = NEXT(dc) ) { |
dh = degbm(h); |
d = QTOS(DEG(dc)); |
dx = dg+dh; |
ptosfum(COEF(dc),t); |
|
bcopy(t->c,pp[d],(t->d+1)*sizeof(int)); |
a = BMALLOC(dh,dy); |
|
b = BMALLOC(dg,dy); |
|
/* c holds a*g+b*h-1 */ |
|
c = BMALLOC(dg+dh,dy); |
|
|
|
W_BMALLOC(dx,dy,wz0); W_BMALLOC(dx,dy,wz1); |
|
|
|
wt = W_UMALLOC(dx); ws = W_UMALLOC(dx); q = W_UMALLOC(2*dx); |
|
wa1 = W_UMALLOC(2*dx); wb1 = W_UMALLOC(2*dx); |
|
wc = W_UMALLOC(2*dx); wd = W_UMALLOC(2*dx); |
|
we = W_UMALLOC(2*dx); wz = W_UMALLOC(2*dx); |
|
|
|
/* compute wa,wb s.t. wa*g0+wb*h0 = 1 mod y */ |
|
w1 = W_UMALLOC(dg); cpyum(COEF(g)[0],w1); |
|
w2 = W_UMALLOC(dh); cpyum(COEF(h)[0],w2); |
|
wa = W_UMALLOC(2*dx); wb = W_UMALLOC(2*dx); /* XXX */ |
|
eucsfum(w1,w2,wa,wb); |
|
cpyum(wa,COEF(a)[0]); cpyum(wb,COEF(b)[0]); |
|
|
|
/* initialize c to a*g+b*h-1 */ |
|
mulsfbm(a,g,c); mulsfbm(b,h,wz0); addtosfbm(wz0,c); |
|
COEF(COEF(c)[0])[0] = 0; |
|
|
|
if ( debug_sfbfctr) |
|
fprintf(stderr,"dy=%d\n",dy); |
|
for ( k = 1; k <= dy; k++ ) { |
|
if ( debug_sfbfctr) |
|
fprintf(stderr,"."); |
|
|
|
/* at this point, a*g+b*h = 1 mod y^k, c = a*g+b*h-1 */ |
|
|
|
/* wt = -((a*g+b*h-1)/y^k) */ |
|
cpyum(COEF(c)[k],wt); |
|
for ( i = DEG(wt); i >= 0; i-- ) |
|
COEF(wt)[i] = _chsgnsf(COEF(wt)[i]); |
|
|
|
/* compute wa1,wb1 s.t. wa1*g0+wb1*h0 = wt */ |
|
mulsfum(wa,wt,wa1); DEG(wa1) = divsfum(wa1,COEF(h)[0],q); |
|
mulsfum(wa1,COEF(g)[0],wc); subsfum(wt,wc,wd); |
|
DEG(wd) = divsfum(wd,COEF(h)[0],wb1); |
|
|
|
/* c += ((wa1*g+wb1*h)*y^k mod y^(dy+1) */ |
|
/* wz0 = wa1*y^k */ |
|
clearbm(dx,wz0); |
|
cpyum(wa1,COEF(wz0)[k]); |
|
|
|
/* wz1 = wz0*g mod y^(dy+1) */ |
|
clearbm(dx,wz1); |
|
mulsfbm(g,wz0,wz1); |
|
/* c += wz1 */ |
|
addtosfbm(wz1,c); |
|
|
|
/* wz0 = wb1*y^k */ |
|
clearbm(dx,wz0); |
|
cpyum(wb1,COEF(wz0)[k]); |
|
|
|
/* wz1 = wz0*h mod y^(dy+1) */ |
|
clearbm(dx,wz1); |
|
mulsfbm(h,wz0,wz1); |
|
/* c += wz1 */ |
|
addtosfbm(wz1,c); |
|
|
|
/* a += wa1*y^k, b += wb1*y^k */ |
|
cpyum(wa1,COEF(a)[k]); |
|
cpyum(wb1,COEF(b)[k]); |
} |
} |
|
if ( debug_sfbfctr) |
|
fprintf(stderr,"\n"); |
|
DEG(a) = dy; |
|
DEG(b) = dy; |
|
*ap = a; |
|
*bp = b; |
} |
} |
|
|
/* fl->c[i] = coef_y(f,i) */ |
/* fl->c[i] = coef_y(f,i) */ |
|
|
void ptosfbm(bound,f,fl) |
void ptosfbm(int dy,P f,BM fl) |
int bound; |
|
P f; |
|
BM fl; |
|
{ |
{ |
DCP dc; |
DCP dc; |
int d,i,n; |
int d,i,dx; |
UM t; |
UM t; |
|
|
DEG(fl) = bound; |
dx = QTOS(DEG(DC(f))); |
t = UMALLOC(bound); |
if ( DEG(fl) < dy ) |
|
error("ptosfbm : invalid input"); |
|
DEG(fl) = dy; |
|
clearbm(dx,fl); |
|
t = UMALLOC(dy); |
for ( dc = DC(f); dc; dc = NEXT(dc) ) { |
for ( dc = DC(f); dc; dc = NEXT(dc) ) { |
d = QTOS(DEG(dc)); |
d = QTOS(DEG(dc)); |
ptosfum(COEF(dc),t); |
ptosfum(COEF(dc),t); |
for ( i = 0; i <= DEG(t); i++ ) |
for ( i = 0; i <= DEG(t); i++ ) |
COEF(COEF(fl)[i])[d] = COEF(t)[i]; |
COEF(COEF(fl)[i])[d] = COEF(t)[i]; |
} |
} |
n = UDEG(f); |
for ( i = 0; i <= dy; i++ ) |
for ( i = 0; i <= n; i++ ) |
degum(COEF(fl)[i],dx); |
degum(COEF(fl)[i],n); |
|
} |
} |
|
|
/* x : main variable */ |
/* x : main variable */ |
|
|
void sflumtop(bound,fl,x,y,fp) |
void sfbmtop(BM f,V x,V y,P *fp) |
int bound; |
|
LUM fl; |
|
V x,y; |
|
P *fp; |
|
{ |
{ |
int i,j,n; |
UM *c; |
int **c; |
int i,j,d,a,dy; |
UM w; |
GFS b; |
int *coef; |
DCP dc0,dc,dct; |
|
|
|
dy = DEG(f); |
|
c = COEF(f); |
|
d = degbm(f); |
|
|
|
dc0 = 0; |
|
for ( i = 0; i <= d; i++ ) { |
|
dc = 0; |
|
for ( j = 0; j <= dy; j++ ) { |
|
if ( DEG(c[j]) >= i && (a = COEF(c[j])[i]) ) { |
|
NEWDC(dct); |
|
STOQ(j,DEG(dct)); |
|
iftogfs(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 sfsqfr(P f,DCP *dcp) |
|
{ |
|
Obj obj; |
|
DCP dc; |
|
VL vl; |
|
|
|
simp_ff((Obj)f,&obj); f = (P)obj; |
|
clctv(CO,f,&vl); |
|
if ( !vl ) { |
|
/* f is a const */ |
|
NEWDC(dc); DEG(dc) = ONE; COEF(dc) = f; NEXT(dc) = 0; *dcp = dc; |
|
} else if ( !NEXT(vl) ) |
|
sfusqfr(f,dcp); |
|
else |
|
sqfrsf(vl,f,dcp); |
|
} |
|
|
|
void sfusqfr(P f,DCP *dcp) |
|
{ |
DCP dc,dct; |
DCP dc,dct; |
|
struct oDUM *udc; |
|
V x; |
|
P lc; |
|
int n,i; |
|
UM mf; |
|
|
n = fl->d; |
x = VR(f); |
c = fl->c; |
n = getdeg(x,f); |
|
mf = W_UMALLOC(n); |
|
ptosfum(f,mf); |
|
lc = COEF(DC(f)); |
|
if ( !_isonesf(COEF(mf)[n]) ) { |
|
monicsfum(mf); |
|
} |
|
W_CALLOC(n+1,struct oDUM,udc); |
|
gensqfrsfum(mf,udc); |
|
for ( i = 0, dc = 0; udc[i].f; i++ ) { |
|
NEWDC(dct); STOQ(udc[i].n,DEG(dct)); |
|
sfumtop(x,udc[i].f,&COEF(dct)); |
|
NEXT(dct) = dc; dc = dct; |
|
} |
|
NEWDC(dct); DEG(dct) = ONE; COEF(dct) = (P)lc; NEXT(dct) = dc; |
|
*dcp = dct; |
|
} |
|
|
|
#if 0 |
|
void sfbsqfrmain(P f,V x,V y,DCP *dcp) |
|
{ |
|
/* XXX*/ |
|
} |
|
|
|
/* f is bivariate */ |
|
|
|
void sfbsqfr(P f,V x,V y,DCP *dcp) |
|
{ |
|
P t,rf,cx,cy; |
|
VL vl,rvl; |
|
DCP dcx,dcy,dct,dc; |
|
struct oVL vl0,vl1; |
|
|
|
/* cy(y) = cont(f,x), f /= cy */ |
|
cont_pp_sfp(vl,f,&cy,&t); f = t; |
|
/* rvl = [y,x] */ |
|
reordvar(vl,y,&rvl); reorderp(rvl,vl,f,&rf); |
|
/* cx(x) = cont(rf,y), Rf /= cy */ |
|
cont_pp_sfp(rvl,rf,&cx,&t); rf = t; |
|
reorderp(vl,rvl,rf,&f); |
|
|
|
/* f -> cx*cy*f */ |
|
sfsqfr(cx,&dcx); dcx = NEXT(dcx); |
|
sfsqfr(cy,&dcy); dcy = NEXT(dcy); |
|
if ( dcx ) { |
|
for ( dct = dcx; NEXT(dct); dct = NEXT(dct) ); |
|
NEXT(dct) = dcy; |
|
} else |
|
dcx = dcy; |
|
if ( OID(f) == O_N ) |
|
*dcp = dcx; |
|
else { |
|
/* f must be bivariate */ |
|
sfbsqfrmain(f,x,y,&dc); |
|
if ( dcx ) { |
|
for ( dct = dcx; NEXT(dct); dct = NEXT(dct) ); |
|
NEXT(dct) = dc; |
|
} else |
|
dcx = dc; |
|
*dcp = dcx; |
|
} |
|
} |
|
#endif |
|
|
|
void sfdtest(P,ML,V,V,DCP *); |
|
|
|
/* if degbound >= 0 find factor s.t. deg_x(factor) <= degbound */ |
|
|
|
void sfbfctr(P f,V x,V y,int degbound,DCP *dcp) |
|
{ |
|
ML list; |
|
P sf; |
|
GFS ev; |
|
DCP dc,dct; |
|
BM fl; |
|
int dx,dy; |
|
|
|
/* sf(x) = f(x+ev) = list->c[0]*list->c[1]*... */ |
|
sfhensel(5,f,x,y,degbound,&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); |
|
if ( ev ) { |
|
dx = getdeg(x,sf); |
|
dy = getdeg(y,sf); |
|
W_BMALLOC(dx,dy,fl); |
|
for ( dct = dc; dct; dct = NEXT(dct) ) { |
|
ptosfbm(dy,COEF(dct),fl); |
|
shiftsfbm(fl,_chsgnsf(FTOIF(CONT(ev)))); |
|
sfbmtop(fl,x,y,&COEF(dct)); |
|
} |
|
} |
|
*dcp = dc; |
|
} |
|
|
|
/* returns shifted f, shifted factors and the eval pt */ |
|
|
|
void sfbfctr_shift(P f,V x,V y,int degbound,GFS *evp,P *sfp,DCP *dcp) |
|
{ |
|
ML list; |
|
P sf; |
|
GFS ev; |
|
DCP dc,dct; |
|
int dx,dy; |
|
|
|
/* sf(x) = f(x+ev) = list->c[0]*list->c[1]*... */ |
|
sfhensel(5,f,x,y,degbound,&ev,&sf,&list); |
|
if ( list->n == 0 ) |
|
error("sfbfctr_shift : short of evaluation points"); |
|
else if ( list->n == 1 ) { |
|
/* f is irreducible */ |
|
NEWDC(dc); DEG(dc) = ONE; COEF(dc) = f; NEXT(dc) = 0; |
|
*evp = 0; |
|
*sfp = f; |
|
*dcp = dc; |
|
} else { |
|
sfdtest(sf,list,x,y,dcp); |
|
*evp = ev; |
|
*sfp = sf; |
|
} |
|
} |
|
|
|
/* f = f(x,y) = list->c[0]*list->c[1]*... mod y^(list->bound+1) */ |
|
|
|
void sfdtest(P f,ML list,V x,V y,DCP *dcp) |
|
{ |
|
int np,dx,dy; |
|
int i,j,k,bound; |
|
int *win; |
|
P g,lcg,factor,cofactor,lcyx; |
|
P csum; |
|
DCP dcf,dcf0,dc; |
|
BM *c; |
|
BM lcy; |
|
UM lcg0,lcy0,w; |
|
UM *d1c; |
|
ML wlist; |
|
struct oVL vl1,vl0; |
|
VL vl; |
|
int z,dt,dtok; |
|
|
|
/* vl = [x,y] */ |
|
vl0.v = x; vl0.next = &vl1; vl1.v = y; vl1.next = 0; vl = &vl0; |
|
|
|
/* setup various structures and arrays */ |
|
dx = getdeg(x,f); |
|
dy = getdeg(y,f); |
|
np = list->n; |
|
win = W_ALLOC(np+1); |
|
wlist = W_MLALLOC(np); |
|
wlist->n = list->n; |
|
bound = wlist->bound = list->bound; |
|
c = (BM *)COEF(wlist); |
|
bcopy((char *)COEF(list),(char *)c,(int)(sizeof(BM)*np)); |
|
|
|
lcg0 = W_UMALLOC(2*dy); |
|
|
|
/* 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,dy,lcy); |
|
NEWDC(dc); COEF(dc) = COEF(DC(g)); DEG(dc) = 0; |
|
NEWP(lcyx); VR(lcyx) = x; DC(lcyx) = dc; |
|
ptosfbm(dy,lcyx,lcy); |
|
|
|
/* initialize lcy0 by LC(f) */ |
|
lcy0 = W_UMALLOC(bound); |
|
ptosfum(COEF(DC(g)),lcy0); |
|
|
|
/* ((d-1 coefs)*lcy0 */ |
|
d1c = (UM *)W_ALLOC(np*sizeof(UM)); |
|
w = W_UMALLOC(2*bound); |
|
for ( i = 1; i < np; i++ ) { |
|
extractcoefbm(c[i],degbm(c[i])-1,w); |
|
d1c[i] = W_UMALLOC(2*bound); |
|
mulsfum(w,lcy0,d1c[i]); |
|
/* d1c[i] = d1c[i] mod y^(bound+1) */ |
|
if ( DEG(d1c[i]) > bound ) { |
|
for ( j = DEG(d1c[i]); j > bound; j-- ) |
|
COEF(d1c[i])[j] = 0; |
|
degum(d1c[i],bound); |
|
} |
|
} |
|
|
|
if ( debug_sfbfctr) |
|
fprintf(stderr,"np = %d\n",np); |
|
dtok = 0; |
|
for ( g = f, k = 1, dcf = dcf0 = 0, win[0] = 1, --np, z = 0; ; z++ ) { |
|
if ( debug_sfbfctr && !(z % 1000) ) fprintf(stderr,"."); |
|
dt = sfdegtest(dy,bound,d1c,k,win); |
|
if ( dt ) |
|
dtok++; |
|
if ( dt && 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 dy */ |
|
dy = getdeg(y,g); |
|
|
|
/* update lcy */ |
|
clearbm(0,lcy); |
|
COEF(dc) = COEF(DC(g)); |
|
ptosfbm(dy,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; |
|
|
|
|
|
/* update lcy0 */ |
|
ptosfum(COEF(DC(g)),lcy0); |
|
|
|
/* update d-1 coeffs */ |
|
for ( i = 1; i <= np; i++ ) { |
|
extractcoefbm(c[i],degbm(c[i])-1,w); |
|
mulsfum(w,lcy0,d1c[i]); |
|
/* d1c[i] = d1c[1] mod y^(bound+1) */ |
|
if ( DEG(d1c[i]) > bound ) { |
|
for ( j = DEG(d1c[i]); j > bound; j-- ) |
|
COEF(d1c[i])[j] = 0; |
|
degum(d1c[i],bound); |
|
} |
|
} |
|
} else if ( !ncombi(1,np,k,win) ) |
|
if ( k == np ) |
|
break; |
|
else |
|
for ( i = 0, ++k; i < k; i++ ) |
|
win[i] = i + 1; |
|
} |
|
if ( debug_sfbfctr ) |
|
fprintf(stderr,"total %d, omitted by degtest %d\n",z,z-dtok); |
|
NEXTDC(dcf0,dcf); COEF(dcf) = g; |
|
DEG(dcf) = ONE; NEXT(dcf) = 0; *dcp = dcf0; |
|
} |
|
|
|
void extractcoefbm(BM f,int dx,UM r) |
|
{ |
|
int j; |
|
UM fj; |
|
|
|
for ( j = DEG(f); j >= 0; j-- ) { |
|
fj = COEF(f)[j]; |
|
if ( fj && DEG(fj) >= dx ) { |
|
COEF(r)[j] = COEF(fj)[dx]; |
|
} else |
|
COEF(r)[j] = 0; |
|
} |
|
degum(r,DEG(f)); |
|
} |
|
|
|
/* deg_y(prod mod y^(bound+1)) <= dy ? */ |
|
|
|
int sfdegtest(int dy,int bound,UM *d1c,int k,int *in) |
|
{ |
|
int i,j; |
|
UM w,w1,wt; |
|
BM t; |
|
|
w = W_UMALLOC(bound); |
w = W_UMALLOC(bound); |
for ( i = 0, dc = 0; i <= n; i++ ) { |
w1 = W_UMALLOC(bound); |
coef = c[i]; |
clearum(w,bound); |
for ( j = bound-1; j >= 0 && coef[j] == 0; j-- ); |
for ( i = 0; i < k; i++ ) { |
if ( j < 0 ) |
addsfum(w,d1c[in[i]],w1); wt = w; w = w1; w1 = wt; |
|
} |
|
return DEG(w) <= dy ? 1 : 0; |
|
} |
|
|
|
/* lcy = LC(g), lcg = lcy*g, lcg0 = const part of lcg */ |
|
|
|
int sfdtestmain(VL vl,P lcg,UM lcg0,BM lcy,P csum,ML list, |
|
int k,int *in,P *fp,P *cofp) |
|
{ |
|
P fmul,csumg,q,cont; |
|
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) ) { |
|
cont_pp_sfp(vl,fmul,&cont,fp); |
|
cont_pp_sfp(vl,q,&cont,cofp); |
|
return 1; |
|
} else |
|
return 0; |
|
} |
|
|
|
void const_term(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(BM f,UM c) |
|
{ |
|
int i,dy; |
|
|
|
dy = DEG(f); |
|
for ( i = 0; i <= dy; i++ ) |
|
if ( DEG(COEF(f)[i]) >= 0 ) |
|
COEF(c)[i] = COEF(COEF(f)[i])[0]; |
|
else |
|
COEF(c)[i] = 0; |
|
degum(c,dy); |
|
} |
|
|
|
/* lcy*(product of const part) | lcg0 ? */ |
|
|
|
int sfctest(UM lcg0,BM lcy,ML list,int k,int *in) |
|
{ |
|
int dy,i,dr; |
|
UM t,s,u,w; |
|
BM *l; |
|
|
|
dy = list->bound; |
|
t = W_UMALLOC(2*dy); |
|
s = W_UMALLOC(2*dy); |
|
u = W_UMALLOC(2*dy); |
|
const_term_sfbm(lcy,t); |
|
if ( DEG(t) < 0 ) |
|
return 1; |
|
|
|
l = (BM *)list->c; |
|
for ( i = 0; i < k; i++ ) { |
|
const_term_sfbm(l[in[i]],s); |
|
mulsfum(t,s,u); |
|
if ( DEG(u) > dy ) |
|
degum(u,dy); |
|
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(int dx,BM lcy,ML list,int k,int *in,V x,V y,P *g) |
|
{ |
|
int dy,i; |
|
BM wb0,wb1,t; |
|
BM *l; |
|
|
|
dy = list->bound; |
|
W_BMALLOC(dx,dy,wb0); W_BMALLOC(dx,dy,wb1); |
|
l = (BM *)list->c; |
|
clearbm(dx,wb0); |
|
mulsfbm(lcy,l[in[0]],wb0); |
|
for ( i = 1; i < k; i++ ) { |
|
clearbm(dx,wb1); |
|
mulsfbm(l[in[i]],wb0,wb1); |
|
t = wb0; wb0 = wb1; wb1 = t; |
|
} |
|
sfbmtop(wb0,x,y,g); |
|
} |
|
|
|
void sfcsump(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 cont_pp_sfp(VL vl,P f,P *cp,P *fp) |
|
{ |
|
V x,y; |
|
int d; |
|
UM t,s,gcd; |
|
DCP dc; |
|
GFS g; |
|
|
|
x = vl->v; |
|
y = vl->next->v; |
|
d = getdeg(y,f); |
|
if ( d == 0 ) { |
|
itogfs(1,&g); |
|
*cp = (P)g; |
|
*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,cp); |
|
divsp(vl,f,*cp,fp); |
|
} |
|
} |
|
|
|
int divtp_by_sfbm(VL vl,P f,P 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,fl); ptosfbm(fy,f,fl); cf = COEF(fl); |
|
W_BMALLOC(gx,gy,gl); ptosfbm(gy,g,gl); cg = COEF(gl); |
|
W_BMALLOC(fx-gx,fy-gy,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; |
continue; |
DEG(w) = j; bcopy(coef,COEF(w),(j+1)*sizeof(int)); |
dr = divsfum(cf[i],hg,q); |
NEWDC(dct); STOQ(i,DEG(dct)); |
if ( dr >= 0 ) |
sfumtop(y,w,&COEF(dct)); NEXT(dct) = dc; dc = dct; |
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]); |
|
} |
} |
} |
MKP(x,dc,*fp); |
for ( j = gy-1; j >= 0 && DEG(cf[j]) < 0; j-- ); |
|
if ( j >= 0 ) |
|
return 0; |
|
sfbmtop(ql,x,y,qp); |
|
return 1; |
} |
} |
|
|
/* x : main variable */ |
/* XXX generate an irreducible poly of degree n */ |
|
|
void sfbmtop(vl,bound,f,x,y,fp) |
extern int current_gfs_q1; |
VL vl; |
extern int *current_gfs_ntoi; |
int bound; |
|
BM f; |
void generate_defpoly_sfum(int n,UM *dp) |
V x,y; |
|
P *fp; |
|
{ |
{ |
UM *c; |
UM r,dr,t,g; |
P yv,r,s,t,u,yvd; |
UM *f; |
Q d; |
int *c,*w; |
int i; |
int max,i,j; |
|
|
c = f->c; |
*dp = r = UMALLOC(n); |
MKV(y,yv); |
DEG(r) = n; |
r = 0; |
c = COEF(r); |
for ( i = 0; i < bound; i++ ) { |
c[n] = _onesf(); |
STOQ(i,d); sfumtop(x,c[i],&t); |
max = current_gfs_q1; |
pwrp(vl,yv,d,&yvd); |
w = (int *)ALLOCA(n*sizeof(int)); |
mulp(vl,t,yvd,&s); |
bzero(w,n*sizeof(int)); |
addp(vl,r,s,&u); r = u; |
|
|
dr = W_UMALLOC(n); t = W_UMALLOC(n); g = W_UMALLOC(n); |
|
f = (UM *)ALLOCA((n+1)*sizeof(UM)); |
|
while ( 1 ) { |
|
for ( i = 0; i < n && w[i] == max; i++ ); |
|
if ( i == n ) { |
|
/* XXX cannot happen */ |
|
error("generate_defpoly_sfum : cannot happen"); |
|
} |
|
for ( j = 0; j < i; j++ ) |
|
w[j] = 0; |
|
w[i]++; |
|
if ( !current_gfs_ntoi ) |
|
for ( i = 0; i < n; i++ ) |
|
c[i] = w[i]?FTOIF(w[i]):0; |
|
else |
|
for ( i = 0; i < n; i++ ) |
|
c[i] = w[i]?FTOIF(w[i]-1):0; |
|
if ( !c[0] ) |
|
continue; |
|
diffsfum(r,dr); cpyum(r,t); gcdsfum(t,dr,g); |
|
if ( DEG(g) > 0 ) |
|
continue; |
|
|
|
czsfum(r,f); |
|
for ( i = 0; f[i]; i++ ); |
|
if ( i == 1 ) |
|
return; |
} |
} |
*fp = r; |
|
} |
} |