| version 1.40, 2006/12/12 11:50:37 |
version 1.67, 2018/03/29 01:32:50 |
|
|
| * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
| * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
| * |
* |
| * $OpenXM: OpenXM_contrib2/asir2000/builtin/dp-supp.c,v 1.39 2005/08/25 18:59:11 ohara Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/dp-supp.c,v 1.66 2017/08/31 02:36:20 noro Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #include "base.h" |
#include "base.h" |
|
|
| #include "parse.h" |
#include "parse.h" |
| #include "ox.h" |
#include "ox.h" |
| |
|
| #define HMAG(p) (p_mag(BDY(p)->c)) |
#define HMAG(p) (p_mag((P)BDY(p)->c)) |
| |
|
| extern int (*cmpdl)(); |
extern int (*cmpdl)(); |
| extern double pz_t_e,pz_t_d,pz_t_d1,pz_t_c; |
extern double pz_t_e,pz_t_d,pz_t_d1,pz_t_c; |
| Line 65 extern NODE TraceList; |
|
| Line 65 extern NODE TraceList; |
|
| int show_orderspec; |
int show_orderspec; |
| |
|
| void print_composite_order_spec(struct order_spec *spec); |
void print_composite_order_spec(struct order_spec *spec); |
| |
void dpm_rest(DPM,DPM *); |
| |
|
| /* |
/* |
| * content reduction |
* content reduction |
| * |
* |
| */ |
*/ |
| |
|
| |
static NODE RatDenomList; |
| |
|
| |
void init_denomlist() |
| |
{ |
| |
RatDenomList = 0; |
| |
} |
| |
|
| |
void add_denomlist(P f) |
| |
{ |
| |
NODE n; |
| |
|
| |
if ( OID(f)==O_P ) { |
| |
MKNODE(n,f,RatDenomList); RatDenomList = n; |
| |
} |
| |
} |
| |
|
| |
LIST get_denomlist() |
| |
{ |
| |
LIST l; |
| |
|
| |
MKLIST(l,RatDenomList); RatDenomList = 0; |
| |
return l; |
| |
} |
| |
|
| void dp_ptozp(DP p,DP *rp) |
void dp_ptozp(DP p,DP *rp) |
| { |
{ |
| MP m,mr,mr0; |
MP m,mr,mr0; |
| int i,n; |
int i,n; |
| Q *w; |
Q *w; |
| Q dvr; |
Q dvr; |
| P t; |
P t; |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else { |
else { |
| for ( m =BDY(p), n = 0; m; m = NEXT(m), n++ ); |
for ( m =BDY(p), n = 0; m; m = NEXT(m), n++ ); |
| w = (Q *)ALLOCA(n*sizeof(Q)); |
w = (Q *)ALLOCA(n*sizeof(Q)); |
| for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ ) |
for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ ) |
| if ( NUM(m->c) ) |
if ( NUM(m->c) ) |
| w[i] = (Q)m->c; |
w[i] = (Q)m->c; |
| else |
else |
| ptozp(m->c,1,&w[i],&t); |
ptozp((P)m->c,1,&w[i],&t); |
| sortbynm(w,n); |
sortbynm(w,n); |
| qltozl(w,n,&dvr); |
qltozl(w,n,&dvr); |
| for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
| NEXTMP(mr0,mr); divsp(CO,m->c,(P)dvr,&mr->c); mr->dl = m->dl; |
NEXTMP(mr0,mr); divsp(CO,(P)m->c,(P)dvr,(P *)&mr->c); mr->dl = m->dl; |
| } |
} |
| NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
| } |
} |
| } |
} |
| |
|
| void dp_ptozp2(DP p0,DP p1,DP *hp,DP *rp) |
void dp_ptozp2(DP p0,DP p1,DP *hp,DP *rp) |
| { |
{ |
| DP t,s,h,r; |
DP t,s,h,r; |
| MP m,mr,mr0,m0; |
MP m,mr,mr0,m0; |
| |
|
| addd(CO,p0,p1,&t); dp_ptozp(t,&s); |
addd(CO,p0,p1,&t); dp_ptozp(t,&s); |
| if ( !p0 ) { |
if ( !p0 ) { |
| h = 0; r = s; |
h = 0; r = s; |
| } else if ( !p1 ) { |
} else if ( !p1 ) { |
| h = s; r = 0; |
h = s; r = 0; |
| } else { |
} else { |
| for ( mr0 = 0, m = BDY(s), m0 = BDY(p0); m0; |
for ( mr0 = 0, m = BDY(s), m0 = BDY(p0); m0; |
| m = NEXT(m), m0 = NEXT(m0) ) { |
m = NEXT(m), m0 = NEXT(m0) ) { |
| NEXTMP(mr0,mr); mr->c = m->c; mr->dl = m->dl; |
NEXTMP(mr0,mr); mr->c = m->c; mr->dl = m->dl; |
| } |
} |
| NEXT(mr) = 0; MKDP(p0->nv,mr0,h); MKDP(p0->nv,m,r); |
NEXT(mr) = 0; MKDP(p0->nv,mr0,h); MKDP(p0->nv,m,r); |
| } |
} |
| if ( h ) |
if ( h ) |
| h->sugar = p0->sugar; |
h->sugar = p0->sugar; |
| if ( r ) |
if ( r ) |
| r->sugar = p1->sugar; |
r->sugar = p1->sugar; |
| *hp = h; *rp = r; |
*hp = h; *rp = r; |
| } |
} |
| |
|
| |
void dpm_ptozp(DPM p,DPM *rp) |
| |
{ |
| |
DMM m,mr,mr0; |
| |
int i,n; |
| |
Q *w; |
| |
Q dvr; |
| |
P t; |
| |
|
| |
if ( !p ) |
| |
*rp = 0; |
| |
else { |
| |
for ( m =BDY(p), n = 0; m; m = NEXT(m), n++ ); |
| |
w = (Q *)ALLOCA(n*sizeof(Q)); |
| |
for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ ) |
| |
if ( NUM(m->c) ) |
| |
w[i] = (Q)m->c; |
| |
else |
| |
ptozp((P)m->c,1,&w[i],&t); |
| |
sortbynm(w,n); |
| |
qltozl(w,n,&dvr); |
| |
for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
| |
NEXTDMM(mr0,mr); divsp(CO,(P)m->c,(P)dvr,(P *)&mr->c); mr->dl = m->dl; mr->pos = m->pos; |
| |
} |
| |
NEXT(mr) = 0; MKDPM(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
| |
} |
| |
} |
| |
|
| |
void dpm_ptozp2(DPM p0,DPM p1,DPM *hp,DPM *rp) |
| |
{ |
| |
DPM t,s,h,r; |
| |
DMM m,mr,mr0,m0; |
| |
|
| |
adddpm(CO,p0,p1,&t); dpm_ptozp(t,&s); |
| |
if ( !p0 ) { |
| |
h = 0; r = s; |
| |
} else if ( !p1 ) { |
| |
h = s; r = 0; |
| |
} else { |
| |
for ( mr0 = 0, m = BDY(s), m0 = BDY(p0); m0; |
| |
m = NEXT(m), m0 = NEXT(m0) ) { |
| |
NEXTDMM(mr0,mr); mr->c = m->c; mr->dl = m->dl; mr->pos = m->pos; |
| |
} |
| |
NEXT(mr) = 0; MKDPM(p0->nv,mr0,h); MKDPM(p0->nv,m,r); |
| |
} |
| |
if ( h ) |
| |
h->sugar = p0->sugar; |
| |
if ( r ) |
| |
r->sugar = p1->sugar; |
| |
*hp = h; *rp = r; |
| |
} |
| |
|
| |
|
| void dp_ptozp3(DP p,Q *dvr,DP *rp) |
void dp_ptozp3(DP p,Q *dvr,DP *rp) |
| { |
{ |
| MP m,mr,mr0; |
MP m,mr,mr0; |
| int i,n; |
int i,n; |
| Q *w; |
Q *w; |
| P t; |
P t; |
| |
|
| if ( !p ) { |
if ( !p ) { |
| *rp = 0; *dvr = 0; |
*rp = 0; *dvr = 0; |
| }else { |
}else { |
| for ( m =BDY(p), n = 0; m; m = NEXT(m), n++ ); |
for ( m =BDY(p), n = 0; m; m = NEXT(m), n++ ); |
| w = (Q *)ALLOCA(n*sizeof(Q)); |
w = (Q *)ALLOCA(n*sizeof(Q)); |
| for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ ) |
for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ ) |
| if ( NUM(m->c) ) |
if ( NUM(m->c) ) |
| w[i] = (Q)m->c; |
w[i] = (Q)m->c; |
| else |
else |
| ptozp(m->c,1,&w[i],&t); |
ptozp((P)m->c,1,&w[i],&t); |
| sortbynm(w,n); |
sortbynm(w,n); |
| qltozl(w,n,dvr); |
qltozl(w,n,dvr); |
| for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
| NEXTMP(mr0,mr); divsp(CO,m->c,(P)(*dvr),&mr->c); mr->dl = m->dl; |
NEXTMP(mr0,mr); divsp(CO,(P)m->c,(P)(*dvr),(P *)&mr->c); mr->dl = m->dl; |
| } |
} |
| NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
| } |
} |
| } |
} |
| |
|
| void dp_idiv(DP p,Q c,DP *rp) |
void dp_idiv(DP p,Q c,DP *rp) |
| { |
{ |
| Q t; |
Q t; |
| N nm,q; |
N nm,q; |
| int sgn,s; |
int sgn,s; |
| MP mr0,m,mr; |
MP mr0,m,mr; |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else if ( MUNIQ((Q)c) ) |
else if ( MUNIQ((Q)c) ) |
| *rp = p; |
*rp = p; |
| else if ( MUNIQ((Q)c) ) |
else if ( MUNIQ((Q)c) ) |
| chsgnd(p,rp); |
chsgnd(p,rp); |
| else { |
else { |
| nm = NM(c); sgn = SGN(c); |
nm = NM(c); sgn = SGN(c); |
| for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
| NEXTMP(mr0,mr); |
NEXTMP(mr0,mr); |
| |
|
| divsn(NM((Q)(m->c)),nm,&q); |
divsn(NM((Q)(m->c)),nm,&q); |
| s = sgn*SGN((Q)(m->c)); |
s = sgn*SGN((Q)(m->c)); |
| NTOQ(q,s,t); |
NTOQ(q,s,t); |
| mr->c = (P)t; |
mr->c = (Obj)t; |
| mr->dl = m->dl; |
mr->dl = m->dl; |
| } |
} |
| NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); |
NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); |
| if ( *rp ) |
if ( *rp ) |
| (*rp)->sugar = p->sugar; |
(*rp)->sugar = p->sugar; |
| } |
} |
| } |
} |
| |
|
| void dp_mbase(NODE hlist,NODE *mbase) |
void dp_mbase(NODE hlist,NODE *mbase) |
| { |
{ |
| DL *dl; |
DL *dl; |
| DL d; |
DL d; |
| int i,j,n,nvar,td; |
int *t; |
| |
int i,j,k,n,nvar,td; |
| |
|
| n = length(hlist); nvar = ((DP)BDY(hlist))->nv; |
n = length(hlist); nvar = ((DP)BDY(hlist))->nv; |
| dl = (DL *)MALLOC(n*sizeof(DL)); |
dl = (DL *)MALLOC(n*sizeof(DL)); |
| for ( i = 0; i < n; i++, hlist = NEXT(hlist) ) |
NEWDL(d,nvar); *mbase = 0; |
| dl[i] = BDY((DP)BDY(hlist))->dl; |
for ( i = 0; i < n; i++, hlist = NEXT(hlist) ) { |
| NEWDL(d,nvar); *mbase = 0; |
dl[i] = BDY((DP)BDY(hlist))->dl; |
| while ( 1 ) { |
/* trivial ideal check */ |
| insert_to_node(d,mbase,nvar); |
if ( (*cmpdl)(nvar,d,dl[i]) == 0 ) { |
| for ( i = nvar-1; i >= 0; ) { |
return; |
| d->d[i]++; |
} |
| d->td += MUL_WEIGHT(1,i); |
} |
| for ( j = 0; j < n; j++ ) { |
/* zero-dim. ideal check */ |
| if ( _dl_redble(dl[j],d,nvar) ) |
for ( i = 0; i < nvar; i++ ) { |
| break; |
for ( j = 0; j < n; j++ ) { |
| } |
for ( k = 0, t = dl[j]->d; k < nvar; k++ ) |
| if ( j < n ) { |
if ( k != i && t[k] != 0 ) break; |
| for ( j = nvar-1; j >= i; j-- ) |
if ( k == nvar ) break; |
| d->d[j] = 0; |
} |
| for ( j = 0, td = 0; j < i; j++ ) |
if ( j == n ) |
| td += MUL_WEIGHT(d->d[j],j); |
error("dp_mbase : input ideal is not zero-dimensional"); |
| d->td = td; |
} |
| i--; |
while ( 1 ) { |
| } else |
insert_to_node(d,mbase,nvar); |
| break; |
for ( i = nvar-1; i >= 0; ) { |
| } |
d->d[i]++; |
| if ( i < 0 ) |
d->td += MUL_WEIGHT(1,i); |
| break; |
for ( j = 0; j < n; j++ ) { |
| } |
if ( _dl_redble(dl[j],d,nvar) ) |
| |
break; |
| |
} |
| |
if ( j < n ) { |
| |
for ( j = nvar-1; j >= i; j-- ) |
| |
d->d[j] = 0; |
| |
for ( j = 0, td = 0; j < i; j++ ) |
| |
td += MUL_WEIGHT(d->d[j],j); |
| |
d->td = td; |
| |
i--; |
| |
} else |
| |
break; |
| |
} |
| |
if ( i < 0 ) |
| |
break; |
| |
} |
| } |
} |
| |
|
| int _dl_redble(DL d1,DL d2,int nvar) |
int _dl_redble(DL d1,DL d2,int nvar) |
| { |
{ |
| int i; |
int i; |
| |
|
| if ( d1->td > d2->td ) |
if ( d1->td > d2->td ) |
| return 0; |
return 0; |
| for ( i = 0; i < nvar; i++ ) |
for ( i = 0; i < nvar; i++ ) |
| if ( d1->d[i] > d2->d[i] ) |
if ( d1->d[i] > d2->d[i] ) |
| break; |
break; |
| if ( i < nvar ) |
if ( i < nvar ) |
| return 0; |
return 0; |
| else |
else |
| return 1; |
return 1; |
| } |
} |
| |
|
| void insert_to_node(DL d,NODE *n,int nvar) |
void insert_to_node(DL d,NODE *n,int nvar) |
| { |
{ |
| DL d1; |
DL d1; |
| MP m; |
MP m; |
| DP dp; |
DP dp; |
| NODE n0,n1,n2; |
NODE n0,n1,n2; |
| |
|
| NEWDL(d1,nvar); d1->td = d->td; |
NEWDL(d1,nvar); d1->td = d->td; |
| bcopy((char *)d->d,(char *)d1->d,nvar*sizeof(int)); |
bcopy((char *)d->d,(char *)d1->d,nvar*sizeof(int)); |
| NEWMP(m); m->dl = d1; m->c = (P)ONE; NEXT(m) = 0; |
NEWMP(m); m->dl = d1; m->c = (Obj)ONE; NEXT(m) = 0; |
| MKDP(nvar,m,dp); dp->sugar = d->td; |
MKDP(nvar,m,dp); dp->sugar = d->td; |
| if ( !(*n) ) { |
if ( !(*n) ) { |
| MKNODE(n1,dp,0); *n = n1; |
MKNODE(n1,dp,0); *n = n1; |
| } else { |
} else { |
| for ( n1 = *n, n0 = 0; n1; n0 = n1, n1 = NEXT(n1) ) |
for ( n1 = *n, n0 = 0; n1; n0 = n1, n1 = NEXT(n1) ) |
| if ( (*cmpdl)(nvar,d,BDY((DP)BDY(n1))->dl) > 0 ) { |
if ( (*cmpdl)(nvar,d,BDY((DP)BDY(n1))->dl) > 0 ) { |
| MKNODE(n2,dp,n1); |
MKNODE(n2,dp,n1); |
| if ( !n0 ) |
if ( !n0 ) |
| *n = n2; |
*n = n2; |
| else |
else |
| NEXT(n0) = n2; |
NEXT(n0) = n2; |
| break; |
break; |
| } |
} |
| if ( !n1 ) { |
if ( !n1 ) { |
| MKNODE(n2,dp,0); NEXT(n0) = n2; |
MKNODE(n2,dp,0); NEXT(n0) = n2; |
| } |
} |
| } |
} |
| } |
} |
| |
|
| void dp_vtod(Q *c,DP p,DP *rp) |
void dp_vtod(Q *c,DP p,DP *rp) |
| { |
{ |
| MP mr0,m,mr; |
MP mr0,m,mr; |
| int i; |
int i; |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else { |
else { |
| for ( mr0 = 0, m = BDY(p), i = 0; m; m = NEXT(m), i++ ) { |
for ( mr0 = 0, m = BDY(p), i = 0; m; m = NEXT(m), i++ ) { |
| NEXTMP(mr0,mr); mr->c = (P)c[i]; mr->dl = m->dl; |
NEXTMP(mr0,mr); mr->c = (Obj)c[i]; mr->dl = m->dl; |
| } |
} |
| NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); |
NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); |
| (*rp)->sugar = p->sugar; |
(*rp)->sugar = p->sugar; |
| } |
} |
| } |
} |
| |
|
| extern int mpi_mag; |
extern int mpi_mag; |
| Line 278 extern int PCoeffs; |
|
| Line 371 extern int PCoeffs; |
|
| |
|
| void dp_ptozp_d(DP p,DP *rp) |
void dp_ptozp_d(DP p,DP *rp) |
| { |
{ |
| int i,j,k,l,n,nsep; |
int i,j,k,l,n,nsep; |
| MP m; |
MP m; |
| NODE tn,n0,n1,n2,n3; |
NODE tn,n0,n1,n2,n3; |
| struct oVECT v; |
struct oVECT v; |
| VECT c,cs; |
VECT c,cs; |
| VECT qi,ri; |
VECT qi,ri; |
| LIST *qr; |
LIST *qr; |
| Obj dmy; |
Obj dmy; |
| Q d0,d1,gcd,a,u,u1; |
Q d0,d1,gcd,a,u,u1; |
| Q *q,*r; |
Q *q,*r; |
| STRING iqr_v; |
STRING iqr_v; |
| pointer *b; |
pointer *b; |
| N qn,gn; |
N qn,gn; |
| double get_rtime(); |
double get_rtime(); |
| int blen; |
int blen; |
| NODE dist; |
NODE dist; |
| int ndist; |
int ndist; |
| double t0; |
double t0; |
| double t_e,t_d,t_d1,t_c; |
double t_e,t_d,t_d1,t_c; |
| extern int DP_NFStat; |
extern int DP_NFStat; |
| extern LIST Dist; |
extern LIST Dist; |
| void Pox_rpc(); |
void Pox_rpc(); |
| void Pox_pop_local(); |
void Pox_pop_local(); |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else { |
else { |
| if ( PCoeffs ) { |
if ( PCoeffs ) { |
| dp_ptozp(p,rp); return; |
dp_ptozp(p,rp); return; |
| } |
} |
| if ( !Dist || p_mag(BDY(p)->c) <= mpi_mag ) { |
if ( !Dist || p_mag((P)BDY(p)->c) <= mpi_mag ) { |
| dist = 0; ndist = 0; |
dist = 0; ndist = 0; |
| if ( DP_NFStat ) fprintf(asir_out,"L"); |
if ( DP_NFStat ) fprintf(asir_out,"L"); |
| } else { |
} else { |
| dist = BDY(Dist); ndist = length(dist); |
dist = BDY(Dist); ndist = length(dist); |
| if ( DP_NFStat ) fprintf(asir_out,"D"); |
if ( DP_NFStat ) fprintf(asir_out,"D"); |
| } |
} |
| for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ ); |
for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ ); |
| nsep = ndist + 1; |
nsep = ndist + 1; |
| if ( n <= nsep ) { |
if ( n <= nsep ) { |
| dp_ptozp(p,rp); return; |
dp_ptozp(p,rp); return; |
| } |
} |
| t0 = get_rtime(); |
t0 = get_rtime(); |
| dp_dtov(p,&c); |
dp_dtov(p,&c); |
| igcdv_estimate(c,&d0); |
igcdv_estimate(c,&d0); |
| t_e = get_rtime()-t0; |
t_e = get_rtime()-t0; |
| t0 = get_rtime(); |
t0 = get_rtime(); |
| dp_dtov(p,&c); |
dp_dtov(p,&c); |
| sepvect(c,nsep,&cs); |
sepvect(c,nsep,&cs); |
| MKSTR(iqr_v,"iqr"); |
MKSTR(iqr_v,"iqr"); |
| qr = (LIST *)CALLOC(nsep,sizeof(LIST)); |
qr = (LIST *)CALLOC(nsep,sizeof(LIST)); |
| q = (Q *)CALLOC(n,sizeof(Q)); |
q = (Q *)CALLOC(n,sizeof(Q)); |
| r = (Q *)CALLOC(n,sizeof(Q)); |
r = (Q *)CALLOC(n,sizeof(Q)); |
| for ( i = 0, tn = dist, b = BDY(cs); i < ndist; i++, tn = NEXT(tn) ) { |
for ( i = 0, tn = dist, b = BDY(cs); i < ndist; i++, tn = NEXT(tn) ) { |
| MKNODE(n3,d0,0); MKNODE(n2,b[i],n3); |
MKNODE(n3,d0,0); MKNODE(n2,b[i],n3); |
| MKNODE(n1,iqr_v,n2); MKNODE(n0,BDY(tn),n1); |
MKNODE(n1,iqr_v,n2); MKNODE(n0,BDY(tn),n1); |
| Pox_rpc(n0,&dmy); |
Pox_rpc(n0,&dmy); |
| } |
} |
| iqrv(b[i],d0,&qr[i]); |
iqrv(b[i],d0,&qr[i]); |
| dp_dtov(p,&c); |
dp_dtov(p,&c); |
| for ( i = 0, tn = dist; i < ndist; i++, tn = NEXT(tn) ) { |
for ( i = 0, tn = dist; i < ndist; i++, tn = NEXT(tn) ) { |
| Pox_pop_local(tn,&qr[i]); |
Pox_pop_local(tn,&qr[i]); |
| if ( OID(qr[i]) == O_ERR ) { |
if ( OID(qr[i]) == O_ERR ) { |
| printexpr(CO,(Obj)qr[i]); |
printexpr(CO,(Obj)qr[i]); |
| error("dp_ptozp_d : aborted"); |
error("dp_ptozp_d : aborted"); |
| } |
} |
| } |
} |
| t_d = get_rtime()-t0; |
t_d = get_rtime()-t0; |
| t_d1 = t_d/n; |
t_d1 = t_d/n; |
| t0 = get_rtime(); |
t0 = get_rtime(); |
| for ( i = j = 0; i < nsep; i++ ) { |
for ( i = j = 0; i < nsep; i++ ) { |
| tn = BDY(qr[i]); qi = (VECT)BDY(tn); ri = (VECT)BDY(NEXT(tn)); |
tn = BDY(qr[i]); qi = (VECT)BDY(tn); ri = (VECT)BDY(NEXT(tn)); |
| for ( k = 0, l = qi->len; k < l; k++, j++ ) { |
for ( k = 0, l = qi->len; k < l; k++, j++ ) { |
| q[j] = (Q)BDY(qi)[k]; r[j] = (Q)BDY(ri)[k]; |
q[j] = (Q)BDY(qi)[k]; r[j] = (Q)BDY(ri)[k]; |
| } |
} |
| } |
} |
| v.id = O_VECT; v.len = n; v.body = (pointer *)r; igcdv(&v,&d1); |
v.id = O_VECT; v.len = n; v.body = (pointer *)r; igcdv(&v,&d1); |
| if ( d1 ) { |
if ( d1 ) { |
| gcdn(NM(d0),NM(d1),&gn); NTOQ(gn,1,gcd); |
gcdn(NM(d0),NM(d1),&gn); NTOQ(gn,1,gcd); |
| divsn(NM(d0),gn,&qn); NTOQ(qn,1,a); |
divsn(NM(d0),gn,&qn); NTOQ(qn,1,a); |
| for ( i = 0; i < n; i++ ) { |
for ( i = 0; i < n; i++ ) { |
| mulq(a,q[i],&u); |
mulq(a,q[i],&u); |
| if ( r[i] ) { |
if ( r[i] ) { |
| divsn(NM(r[i]),gn,&qn); NTOQ(qn,SGN(r[i]),u1); |
divsn(NM(r[i]),gn,&qn); NTOQ(qn,SGN(r[i]),u1); |
| addq(u,u1,&q[i]); |
addq(u,u1,&q[i]); |
| } else |
} else |
| q[i] = u; |
q[i] = u; |
| } |
} |
| } else |
} else |
| gcd = d0; |
gcd = d0; |
| dp_vtod(q,p,rp); |
dp_vtod(q,p,rp); |
| t_c = get_rtime()-t0; |
t_c = get_rtime()-t0; |
| blen=p_mag((P)gcd); |
blen=p_mag((P)gcd); |
| pz_t_e += t_e; pz_t_d += t_d; pz_t_d1 += t_d1; pz_t_c += t_c; |
pz_t_e += t_e; pz_t_d += t_d; pz_t_d1 += t_d1; pz_t_c += t_c; |
| if ( 0 ) |
if ( 0 ) |
| fprintf(stderr,"(%d,%d)",p_mag((P)d0)-blen,blen); |
fprintf(stderr,"(%d,%d)",p_mag((P)d0)-blen,blen); |
| } |
} |
| } |
} |
| |
|
| void dp_ptozp2_d(DP p0,DP p1,DP *hp,DP *rp) |
void dp_ptozp2_d(DP p0,DP p1,DP *hp,DP *rp) |
| { |
{ |
| DP t,s,h,r; |
DP t,s,h,r; |
| MP m,mr,mr0,m0; |
MP m,mr,mr0,m0; |
| |
|
| addd(CO,p0,p1,&t); dp_ptozp_d(t,&s); |
addd(CO,p0,p1,&t); dp_ptozp_d(t,&s); |
| if ( !p0 ) { |
if ( !p0 ) { |
| h = 0; r = s; |
h = 0; r = s; |
| } else if ( !p1 ) { |
} else if ( !p1 ) { |
| h = s; r = 0; |
h = s; r = 0; |
| } else { |
} else { |
| for ( mr0 = 0, m = BDY(s), m0 = BDY(p0); m0; |
for ( mr0 = 0, m = BDY(s), m0 = BDY(p0); m0; |
| m = NEXT(m), m0 = NEXT(m0) ) { |
m = NEXT(m), m0 = NEXT(m0) ) { |
| NEXTMP(mr0,mr); mr->c = m->c; mr->dl = m->dl; |
NEXTMP(mr0,mr); mr->c = m->c; mr->dl = m->dl; |
| } |
} |
| NEXT(mr) = 0; MKDP(p0->nv,mr0,h); MKDP(p0->nv,m,r); |
NEXT(mr) = 0; MKDP(p0->nv,mr0,h); MKDP(p0->nv,m,r); |
| } |
} |
| if ( h ) |
if ( h ) |
| h->sugar = p0->sugar; |
h->sugar = p0->sugar; |
| if ( r ) |
if ( r ) |
| r->sugar = p1->sugar; |
r->sugar = p1->sugar; |
| *hp = h; *rp = r; |
*hp = h; *rp = r; |
| } |
} |
| |
|
| int have_sf_coef(P p) |
int have_sf_coef(P p) |
| { |
{ |
| DCP dc; |
DCP dc; |
| |
|
| if ( !p ) |
if ( !p ) |
| return 0; |
return 0; |
| else if ( NUM(p) ) |
else if ( NUM(p) ) |
| return NID((Num)p) == N_GFS ? 1 : 0; |
return NID((Num)p) == N_GFS ? 1 : 0; |
| else { |
else { |
| for ( dc = DC(p); dc; dc = NEXT(dc) ) |
for ( dc = DC(p); dc; dc = NEXT(dc) ) |
| if ( have_sf_coef(COEF(dc)) ) |
if ( have_sf_coef(COEF(dc)) ) |
| return 1; |
return 1; |
| return 0; |
return 0; |
| } |
} |
| } |
} |
| |
|
| void head_coef(P p,Num *c) |
void head_coef(P p,Num *c) |
| { |
{ |
| if ( !p ) |
if ( !p ) |
| *c = 0; |
*c = 0; |
| else if ( NUM(p) ) |
else if ( NUM(p) ) |
| *c = (Num)p; |
*c = (Num)p; |
| else |
else |
| head_coef(COEF(DC(p)),c); |
head_coef(COEF(DC(p)),c); |
| } |
} |
| |
|
| void dp_monic_sf(DP p,DP *rp) |
void dp_monic_sf(DP p,DP *rp) |
| { |
{ |
| Num c; |
Num c; |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else { |
else { |
| head_coef(BDY(p)->c,&c); |
head_coef((P)BDY(p)->c,&c); |
| divsdc(CO,p,(P)c,rp); |
divsdc(CO,p,(P)c,rp); |
| } |
} |
| } |
} |
| |
|
| void dp_prim(DP p,DP *rp) |
void dp_prim(DP p,DP *rp) |
| { |
{ |
| P t,g; |
P t,g; |
| DP p1; |
DP p1; |
| MP m,mr,mr0; |
MP m,mr,mr0; |
| int i,n; |
int i,n; |
| P *w; |
P *w; |
| Q *c; |
Q *c; |
| Q dvr; |
Q dvr; |
| |
NODE tn; |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else if ( dp_fcoeffs == N_GFS ) { |
else if ( dp_fcoeffs == N_GFS ) { |
| for ( m = BDY(p); m; m = NEXT(m) ) |
for ( m = BDY(p); m; m = NEXT(m) ) |
| if ( OID(m->c) == O_N ) { |
if ( OID(m->c) == O_N ) { |
| /* GCD of coeffs = 1 */ |
/* GCD of coeffs = 1 */ |
| dp_monic_sf(p,rp); |
dp_monic_sf(p,rp); |
| return; |
return; |
| } else break; |
} else break; |
| /* compute GCD over the finite fieid */ |
/* compute GCD over the finite fieid */ |
| for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ ); |
for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ ); |
| w = (P *)ALLOCA(n*sizeof(P)); |
w = (P *)ALLOCA(n*sizeof(P)); |
| for ( m = BDY(p), i = 0; i < n; m = NEXT(m), i++ ) |
for ( m = BDY(p), i = 0; i < n; m = NEXT(m), i++ ) |
| w[i] = m->c; |
w[i] = (P)m->c; |
| gcdsf(CO,w,n,&g); |
gcdsf(CO,w,n,&g); |
| if ( NUM(g) ) |
if ( NUM(g) ) |
| dp_monic_sf(p,rp); |
dp_monic_sf(p,rp); |
| else { |
else { |
| for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
| NEXTMP(mr0,mr); divsp(CO,m->c,g,&mr->c); mr->dl = m->dl; |
NEXTMP(mr0,mr); divsp(CO,(P)m->c,g,(P *)&mr->c); mr->dl = m->dl; |
| } |
} |
| NEXT(mr) = 0; MKDP(p->nv,mr0,p1); p1->sugar = p->sugar; |
NEXT(mr) = 0; MKDP(p->nv,mr0,p1); p1->sugar = p->sugar; |
| dp_monic_sf(p1,rp); |
dp_monic_sf(p1,rp); |
| } |
} |
| return; |
return; |
| } else if ( dp_fcoeffs ) |
} else if ( dp_fcoeffs ) |
| *rp = p; |
*rp = p; |
| else if ( NoGCD ) |
else if ( NoGCD ) |
| dp_ptozp(p,rp); |
dp_ptozp(p,rp); |
| else { |
else { |
| dp_ptozp(p,&p1); p = p1; |
dp_ptozp(p,&p1); p = p1; |
| for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ ); |
for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ ); |
| if ( n == 1 ) { |
if ( n == 1 ) { |
| m = BDY(p); |
m = BDY(p); |
| NEWMP(mr); mr->dl = m->dl; mr->c = (P)ONE; NEXT(mr) = 0; |
NEWMP(mr); mr->dl = m->dl; mr->c = (Obj)ONE; NEXT(mr) = 0; |
| MKDP(p->nv,mr,*rp); (*rp)->sugar = p->sugar; |
MKDP(p->nv,mr,*rp); (*rp)->sugar = p->sugar; |
| return; |
return; |
| } |
} |
| w = (P *)ALLOCA(n*sizeof(P)); |
w = (P *)ALLOCA(n*sizeof(P)); |
| c = (Q *)ALLOCA(n*sizeof(Q)); |
c = (Q *)ALLOCA(n*sizeof(Q)); |
| for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ ) |
for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ ) |
| if ( NUM(m->c) ) { |
if ( NUM(m->c) ) { |
| c[i] = (Q)m->c; w[i] = (P)ONE; |
c[i] = (Q)m->c; w[i] = (P)ONE; |
| } else |
} else |
| ptozp(m->c,1,&c[i],&w[i]); |
ptozp((P)m->c,1,&c[i],&w[i]); |
| qltozl(c,n,&dvr); heu_nezgcdnpz(CO,w,n,&t); mulp(CO,t,(P)dvr,&g); |
qltozl(c,n,&dvr); heu_nezgcdnpz(CO,w,n,&t); mulp(CO,t,(P)dvr,&g); |
| if ( NUM(g) ) |
if ( NUM(g) ) |
| *rp = p; |
*rp = p; |
| else { |
else { |
| for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
| NEXTMP(mr0,mr); divsp(CO,m->c,g,&mr->c); mr->dl = m->dl; |
NEXTMP(mr0,mr); divsp(CO,(P)m->c,g,(P *)&mr->c); mr->dl = m->dl; |
| } |
} |
| NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
| } |
add_denomlist(g); |
| } |
} |
| |
} |
| } |
} |
| |
|
| void heu_nezgcdnpz(VL vl,P *pl,int m,P *pr) |
void heu_nezgcdnpz(VL vl,P *pl,int m,P *pr) |
| { |
{ |
| int i,r; |
int i,r; |
| P gcd,t,s1,s2,u; |
P gcd,t,s1,s2,u; |
| Q rq; |
Q rq; |
| DCP dc; |
DCP dc; |
| extern int DP_Print; |
extern int DP_Print; |
| |
|
| while ( 1 ) { |
while ( 1 ) { |
| for ( i = 0, s1 = 0; i < m; i++ ) { |
for ( i = 0, s1 = 0; i < m; i++ ) { |
| r = random(); UTOQ(r,rq); |
r = random(); UTOQ(r,rq); |
| mulp(vl,pl[i],(P)rq,&t); addp(vl,s1,t,&u); s1 = u; |
mulp(vl,pl[i],(P)rq,&t); addp(vl,s1,t,&u); s1 = u; |
| } |
} |
| for ( i = 0, s2 = 0; i < m; i++ ) { |
for ( i = 0, s2 = 0; i < m; i++ ) { |
| r = random(); UTOQ(r,rq); |
r = random(); UTOQ(r,rq); |
| mulp(vl,pl[i],(P)rq,&t); addp(vl,s2,t,&u); s2 = u; |
mulp(vl,pl[i],(P)rq,&t); addp(vl,s2,t,&u); s2 = u; |
| } |
} |
| ezgcdp(vl,s1,s2,&gcd); |
ezgcdp(vl,s1,s2,&gcd); |
| if ( DP_Print > 2 ) |
if ( DP_Print > 2 ) |
| { fprintf(asir_out,"(%d)",nmonop(gcd)); fflush(asir_out); } |
{ fprintf(asir_out,"(%d)",nmonop(gcd)); fflush(asir_out); } |
| for ( i = 0; i < m; i++ ) { |
for ( i = 0; i < m; i++ ) { |
| if ( !divtpz(vl,pl[i],gcd,&t) ) |
if ( !divtpz(vl,pl[i],gcd,&t) ) |
| break; |
break; |
| } |
} |
| if ( i == m ) |
if ( i == m ) |
| break; |
break; |
| } |
} |
| *pr = gcd; |
*pr = gcd; |
| } |
} |
| |
|
| void dp_prim_mod(DP p,int mod,DP *rp) |
void dp_prim_mod(DP p,int mod,DP *rp) |
| { |
{ |
| P t,g; |
P t,g; |
| MP m,mr,mr0; |
MP m,mr,mr0; |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else if ( NoGCD ) |
else if ( NoGCD ) |
| *rp = p; |
*rp = p; |
| else { |
else { |
| for ( m = BDY(p), g = m->c, m = NEXT(m); m; m = NEXT(m) ) { |
for ( m = BDY(p), g = (P)m->c, m = NEXT(m); m; m = NEXT(m) ) { |
| gcdprsmp(CO,mod,g,m->c,&t); g = t; |
gcdprsmp(CO,mod,g,(P)m->c,&t); g = t; |
| } |
} |
| for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
| NEXTMP(mr0,mr); divsmp(CO,mod,m->c,g,&mr->c); mr->dl = m->dl; |
NEXTMP(mr0,mr); divsmp(CO,mod,(P)m->c,g,(P *)&mr->c); mr->dl = m->dl; |
| } |
} |
| NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
| } |
} |
| } |
} |
| |
|
| void dp_cont(DP p,Q *rp) |
void dp_cont(DP p,Q *rp) |
| { |
{ |
| VECT v; |
VECT v; |
| |
|
| dp_dtov(p,&v); igcdv(v,rp); |
dp_dtov(p,&v); igcdv(v,rp); |
| } |
} |
| |
|
| void dp_dtov(DP dp,VECT *rp) |
void dp_dtov(DP dp,VECT *rp) |
| { |
{ |
| MP m,t; |
MP m,t; |
| int i,n; |
int i,n; |
| VECT v; |
VECT v; |
| pointer *p; |
pointer *p; |
| |
|
| m = BDY(dp); |
m = BDY(dp); |
| for ( t = m, n = 0; t; t = NEXT(t), n++ ); |
for ( t = m, n = 0; t; t = NEXT(t), n++ ); |
| MKVECT(v,n); |
MKVECT(v,n); |
| for ( i = 0, p = BDY(v), t = m; i < n; t = NEXT(t), i++ ) |
for ( i = 0, p = BDY(v), t = m; i < n; t = NEXT(t), i++ ) |
| p[i] = (pointer)(t->c); |
p[i] = (pointer)(t->c); |
| *rp = v; |
*rp = v; |
| } |
} |
| |
|
| /* |
/* |
| Line 585 void dp_dtov(DP dp,VECT *rp) |
|
| Line 680 void dp_dtov(DP dp,VECT *rp) |
|
| |
|
| void dp_sp(DP p1,DP p2,DP *rp) |
void dp_sp(DP p1,DP p2,DP *rp) |
| { |
{ |
| int i,n,td; |
int i,n,td; |
| int *w; |
int *w; |
| DL d1,d2,d; |
DL d1,d2,d; |
| MP m; |
MP m; |
| DP t,s1,s2,u; |
DP t,s1,s2,u; |
| Q c,c1,c2; |
Q c,c1,c2; |
| N gn,tn; |
N gn,tn; |
| |
|
| n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| w = (int *)ALLOCA(n*sizeof(int)); |
w = (int *)ALLOCA(n*sizeof(int)); |
| for ( i = 0, td = 0; i < n; i++ ) { |
for ( i = 0, td = 0; i < n; i++ ) { |
| w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i); |
w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i); |
| } |
} |
| |
|
| NEWDL(d,n); d->td = td - d1->td; |
NEWDL(d,n); d->td = td - d1->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = w[i] - d1->d[i]; |
d->d[i] = w[i] - d1->d[i]; |
| c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c; |
c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c; |
| if ( INT(c1) && INT(c2) ) { |
if ( INT(c1) && INT(c2) ) { |
| gcdn(NM(c1),NM(c2),&gn); |
gcdn(NM(c1),NM(c2),&gn); |
| if ( !UNIN(gn) ) { |
if ( !UNIN(gn) ) { |
| divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c; |
divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c; |
| divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c; |
divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c; |
| } |
} |
| } |
} |
| |
|
| NEWMP(m); m->dl = d; m->c = (P)c2; NEXT(m) = 0; |
NEWMP(m); m->dl = d; m->c = (Obj)c2; NEXT(m) = 0; |
| MKDP(n,m,s1); s1->sugar = d->td; muld(CO,s1,p1,&t); |
MKDP(n,m,s1); s1->sugar = d->td; muld(CO,s1,p1,&t); |
| |
|
| NEWDL(d,n); d->td = td - d2->td; |
NEWDL(d,n); d->td = td - d2->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = w[i] - d2->d[i]; |
d->d[i] = w[i] - d2->d[i]; |
| NEWMP(m); m->dl = d; m->c = (P)c1; NEXT(m) = 0; |
NEWMP(m); m->dl = d; m->c = (Obj)c1; NEXT(m) = 0; |
| MKDP(n,m,s2); s2->sugar = d->td; muld(CO,s2,p2,&u); |
MKDP(n,m,s2); s2->sugar = d->td; muld(CO,s2,p2,&u); |
| |
|
| subd(CO,t,u,rp); |
subd(CO,t,u,rp); |
| if ( GenTrace ) { |
if ( GenTrace ) { |
| LIST hist; |
LIST hist; |
| NODE node; |
NODE node; |
| |
|
| node = mknode(4,ONE,0,s1,ONE); |
node = mknode(4,ONE,NULLP,s1,ONE); |
| MKLIST(hist,node); |
MKLIST(hist,node); |
| MKNODE(TraceList,hist,0); |
MKNODE(TraceList,hist,0); |
| |
|
| node = mknode(4,ONE,0,0,ONE); |
node = mknode(4,ONE,NULLP,NULLP,ONE); |
| chsgnd(s2,(DP *)&ARG2(node)); |
chsgnd(s2,(DP *)&ARG2(node)); |
| MKLIST(hist,node); |
MKLIST(hist,node); |
| MKNODE(node,hist,TraceList); TraceList = node; |
MKNODE(node,hist,TraceList); TraceList = node; |
| } |
} |
| } |
} |
| |
|
| |
void dpm_sp(DPM p1,DPM p2,DPM *rp) |
| |
{ |
| |
int i,n,td; |
| |
int *w; |
| |
DL d1,d2,d; |
| |
MP m; |
| |
DP s1,s2; |
| |
DPM t,u; |
| |
Q c,c1,c2; |
| |
N gn,tn; |
| |
|
| |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| |
if ( BDY(p1)->pos != BDY(p2)->pos ) { |
| |
*rp = 0; |
| |
return; |
| |
} |
| |
w = (int *)ALLOCA(n*sizeof(int)); |
| |
for ( i = 0, td = 0; i < n; i++ ) { |
| |
w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i); |
| |
} |
| |
|
| |
NEWDL(d,n); d->td = td - d1->td; |
| |
for ( i = 0; i < n; i++ ) |
| |
d->d[i] = w[i] - d1->d[i]; |
| |
c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c; |
| |
if ( INT(c1) && INT(c2) ) { |
| |
gcdn(NM(c1),NM(c2),&gn); |
| |
if ( !UNIN(gn) ) { |
| |
divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c; |
| |
divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c; |
| |
} |
| |
} |
| |
|
| |
NEWMP(m); m->dl = d; m->c = (Obj)c2; NEXT(m) = 0; |
| |
MKDP(n,m,s1); s1->sugar = d->td; mulobjdpm(CO,(Obj)s1,p1,&t); |
| |
|
| |
NEWDL(d,n); d->td = td - d2->td; |
| |
for ( i = 0; i < n; i++ ) |
| |
d->d[i] = w[i] - d2->d[i]; |
| |
NEWMP(m); m->dl = d; m->c = (Obj)c1; NEXT(m) = 0; |
| |
MKDP(n,m,s2); s2->sugar = d->td; mulobjdpm(CO,(Obj)s2,p2,&u); |
| |
|
| |
subdpm(CO,t,u,rp); |
| |
if ( GenTrace ) { |
| |
LIST hist; |
| |
NODE node; |
| |
|
| |
node = mknode(4,ONE,NULLP,s1,ONE); |
| |
MKLIST(hist,node); |
| |
MKNODE(TraceList,hist,0); |
| |
|
| |
node = mknode(4,ONE,NULLP,NULLP,ONE); |
| |
chsgnd(s2,(DP *)&ARG2(node)); |
| |
MKLIST(hist,node); |
| |
MKNODE(node,hist,TraceList); TraceList = node; |
| |
} |
| |
} |
| |
|
| void _dp_sp_dup(DP p1,DP p2,DP *rp) |
void _dp_sp_dup(DP p1,DP p2,DP *rp) |
| { |
{ |
| int i,n,td; |
int i,n,td; |
| int *w; |
int *w; |
| DL d1,d2,d; |
DL d1,d2,d; |
| MP m; |
MP m; |
| DP t,s1,s2,u; |
DP t,s1,s2,u; |
| Q c,c1,c2; |
Q c,c1,c2; |
| N gn,tn; |
N gn,tn; |
| |
|
| n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| w = (int *)ALLOCA(n*sizeof(int)); |
w = (int *)ALLOCA(n*sizeof(int)); |
| for ( i = 0, td = 0; i < n; i++ ) { |
for ( i = 0, td = 0; i < n; i++ ) { |
| w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i); |
w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i); |
| } |
} |
| |
|
| _NEWDL(d,n); d->td = td - d1->td; |
_NEWDL(d,n); d->td = td - d1->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = w[i] - d1->d[i]; |
d->d[i] = w[i] - d1->d[i]; |
| c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c; |
c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c; |
| if ( INT(c1) && INT(c2) ) { |
if ( INT(c1) && INT(c2) ) { |
| gcdn(NM(c1),NM(c2),&gn); |
gcdn(NM(c1),NM(c2),&gn); |
| if ( !UNIN(gn) ) { |
if ( !UNIN(gn) ) { |
| divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c; |
divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c; |
| divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c; |
divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c; |
| } |
} |
| } |
} |
| |
|
| _NEWMP(m); m->dl = d; m->c = (P)c2; NEXT(m) = 0; |
_NEWMP(m); m->dl = d; m->c = (Obj)c2; NEXT(m) = 0; |
| _MKDP(n,m,s1); s1->sugar = d->td; _muld_dup(CO,s1,p1,&t); _free_dp(s1); |
_MKDP(n,m,s1); s1->sugar = d->td; _muld_dup(CO,s1,p1,&t); _free_dp(s1); |
| |
|
| _NEWDL(d,n); d->td = td - d2->td; |
_NEWDL(d,n); d->td = td - d2->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = w[i] - d2->d[i]; |
d->d[i] = w[i] - d2->d[i]; |
| _NEWMP(m); m->dl = d; chsgnp((P)c1,&m->c); NEXT(m) = 0; |
_NEWMP(m); m->dl = d; chsgnp((P)c1,(P *)&m->c); NEXT(m) = 0; |
| _MKDP(n,m,s2); s2->sugar = d->td; _muld_dup(CO,s2,p2,&u); _free_dp(s2); |
_MKDP(n,m,s2); s2->sugar = d->td; _muld_dup(CO,s2,p2,&u); _free_dp(s2); |
| |
|
| _addd_destructive(CO,t,u,rp); |
_addd_destructive(CO,t,u,rp); |
| if ( GenTrace ) { |
if ( GenTrace ) { |
| LIST hist; |
LIST hist; |
| NODE node; |
NODE node; |
| |
|
| node = mknode(4,ONE,0,s1,ONE); |
node = mknode(4,ONE,NULLP,s1,ONE); |
| MKLIST(hist,node); |
MKLIST(hist,node); |
| MKNODE(TraceList,hist,0); |
MKNODE(TraceList,hist,0); |
| |
|
| node = mknode(4,ONE,0,0,ONE); |
node = mknode(4,ONE,NULLP,NULLP,ONE); |
| chsgnd(s2,(DP *)&ARG2(node)); |
chsgnd(s2,(DP *)&ARG2(node)); |
| MKLIST(hist,node); |
MKLIST(hist,node); |
| MKNODE(node,hist,TraceList); TraceList = node; |
MKNODE(node,hist,TraceList); TraceList = node; |
| } |
} |
| } |
} |
| |
|
| void dp_sp_mod(DP p1,DP p2,int mod,DP *rp) |
void dp_sp_mod(DP p1,DP p2,int mod,DP *rp) |
| { |
{ |
| int i,n,td; |
int i,n,td; |
| int *w; |
int *w; |
| DL d1,d2,d; |
DL d1,d2,d; |
| MP m; |
MP m; |
| DP t,s,u; |
DP t,s,u; |
| |
|
| n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| w = (int *)ALLOCA(n*sizeof(int)); |
w = (int *)ALLOCA(n*sizeof(int)); |
| for ( i = 0, td = 0; i < n; i++ ) { |
for ( i = 0, td = 0; i < n; i++ ) { |
| w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i); |
w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i); |
| } |
} |
| NEWDL_NOINIT(d,n); d->td = td - d1->td; |
NEWDL_NOINIT(d,n); d->td = td - d1->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = w[i] - d1->d[i]; |
d->d[i] = w[i] - d1->d[i]; |
| NEWMP(m); m->dl = d; m->c = (P)BDY(p2)->c; NEXT(m) = 0; |
NEWMP(m); m->dl = d; m->c = (Obj)BDY(p2)->c; NEXT(m) = 0; |
| MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,p1,s,&t); |
MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,p1,s,&t); |
| NEWDL_NOINIT(d,n); d->td = td - d2->td; |
NEWDL_NOINIT(d,n); d->td = td - d2->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = w[i] - d2->d[i]; |
d->d[i] = w[i] - d2->d[i]; |
| NEWMP(m); m->dl = d; m->c = (P)BDY(p1)->c; NEXT(m) = 0; |
NEWMP(m); m->dl = d; m->c = (Obj)BDY(p1)->c; NEXT(m) = 0; |
| MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,p2,s,&u); |
MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,p2,s,&u); |
| submd(CO,mod,t,u,rp); |
submd(CO,mod,t,u,rp); |
| } |
} |
| |
|
| void _dp_sp_mod_dup(DP p1,DP p2,int mod,DP *rp) |
void _dp_sp_mod_dup(DP p1,DP p2,int mod,DP *rp) |
| { |
{ |
| int i,n,td; |
int i,n,td; |
| int *w; |
int *w; |
| DL d1,d2,d; |
DL d1,d2,d; |
| MP m; |
MP m; |
| DP t,s,u; |
DP t,s,u; |
| |
|
| n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| w = (int *)ALLOCA(n*sizeof(int)); |
w = (int *)ALLOCA(n*sizeof(int)); |
| for ( i = 0, td = 0; i < n; i++ ) { |
for ( i = 0, td = 0; i < n; i++ ) { |
| w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i); |
w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i); |
| } |
} |
| _NEWDL(d,n); d->td = td - d1->td; |
_NEWDL(d,n); d->td = td - d1->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = w[i] - d1->d[i]; |
d->d[i] = w[i] - d1->d[i]; |
| _NEWMP(m); m->dl = d; m->c = BDY(p2)->c; NEXT(m) = 0; |
_NEWMP(m); m->dl = d; m->c = BDY(p2)->c; NEXT(m) = 0; |
| _MKDP(n,m,s); s->sugar = d->td; _mulmd_dup(mod,s,p1,&t); _free_dp(s); |
_MKDP(n,m,s); s->sugar = d->td; _mulmd_dup(mod,s,p1,&t); _free_dp(s); |
| _NEWDL(d,n); d->td = td - d2->td; |
_NEWDL(d,n); d->td = td - d2->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = w[i] - d2->d[i]; |
d->d[i] = w[i] - d2->d[i]; |
| _NEWMP(m); m->dl = d; m->c = STOI(mod - ITOS(BDY(p1)->c)); NEXT(m) = 0; |
_NEWMP(m); m->dl = d; m->c = (Obj)STOI(mod - ITOS(BDY(p1)->c)); NEXT(m) = 0; |
| _MKDP(n,m,s); s->sugar = d->td; _mulmd_dup(mod,s,p2,&u); _free_dp(s); |
_MKDP(n,m,s); s->sugar = d->td; _mulmd_dup(mod,s,p2,&u); _free_dp(s); |
| _addmd_destructive(mod,t,u,rp); |
_addmd_destructive(mod,t,u,rp); |
| } |
} |
| |
|
| void _dp_sp_mod(DP p1,DP p2,int mod,DP *rp) |
void _dp_sp_mod(DP p1,DP p2,int mod,DP *rp) |
| { |
{ |
| int i,n,td; |
int i,n,td; |
| int *w; |
int *w; |
| DL d1,d2,d; |
DL d1,d2,d; |
| MP m; |
MP m; |
| DP t,s,u; |
DP t,s,u; |
| |
|
| n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| w = (int *)ALLOCA(n*sizeof(int)); |
w = (int *)ALLOCA(n*sizeof(int)); |
| for ( i = 0, td = 0; i < n; i++ ) { |
for ( i = 0, td = 0; i < n; i++ ) { |
| w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i); |
w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i); |
| } |
} |
| NEWDL(d,n); d->td = td - d1->td; |
NEWDL(d,n); d->td = td - d1->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = w[i] - d1->d[i]; |
d->d[i] = w[i] - d1->d[i]; |
| NEWMP(m); m->dl = d; m->c = BDY(p2)->c; NEXT(m) = 0; |
NEWMP(m); m->dl = d; m->c = BDY(p2)->c; NEXT(m) = 0; |
| MKDP(n,m,s); s->sugar = d->td; mulmd_dup(mod,s,p1,&t); |
MKDP(n,m,s); s->sugar = d->td; mulmd_dup(mod,s,p1,&t); |
| NEWDL(d,n); d->td = td - d2->td; |
NEWDL(d,n); d->td = td - d2->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = w[i] - d2->d[i]; |
d->d[i] = w[i] - d2->d[i]; |
| NEWMP(m); m->dl = d; m->c = STOI(mod - ITOS(BDY(p1)->c)); NEXT(m) = 0; |
NEWMP(m); m->dl = d; m->c = (Obj)STOI(mod - ITOS(BDY(p1)->c)); NEXT(m) = 0; |
| MKDP(n,m,s); s->sugar = d->td; mulmd_dup(mod,s,p2,&u); |
MKDP(n,m,s); s->sugar = d->td; mulmd_dup(mod,s,p2,&u); |
| addmd_destructive(mod,t,u,rp); |
addmd_destructive(mod,t,u,rp); |
| } |
} |
| |
|
| /* |
/* |
| Line 776 void _dp_sp_mod(DP p1,DP p2,int mod,DP *rp) |
|
| Line 929 void _dp_sp_mod(DP p1,DP p2,int mod,DP *rp) |
|
| |
|
| void dp_red(DP p0,DP p1,DP p2,DP *head,DP *rest,P *dnp,DP *multp) |
void dp_red(DP p0,DP p1,DP p2,DP *head,DP *rest,P *dnp,DP *multp) |
| { |
{ |
| int i,n; |
int i,n; |
| DL d1,d2,d; |
DL d1,d2,d; |
| MP m; |
MP m; |
| DP t,s,r,h; |
DP t,s,r,h; |
| Q c,c1,c2; |
Q c,c1,c2; |
| N gn,tn; |
N gn,tn; |
| P g,a; |
P g,a; |
| P p[2]; |
P p[2]; |
| |
|
| n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| NEWDL(d,n); d->td = d1->td - d2->td; |
NEWDL(d,n); d->td = d1->td - d2->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = d1->d[i]-d2->d[i]; |
d->d[i] = d1->d[i]-d2->d[i]; |
| c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c; |
c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c; |
| if ( dp_fcoeffs == N_GFS ) { |
if ( dp_fcoeffs == N_GFS ) { |
| p[0] = (P)c1; p[1] = (P)c2; |
p[0] = (P)c1; p[1] = (P)c2; |
| gcdsf(CO,p,2,&g); |
gcdsf(CO,p,2,&g); |
| divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a; |
divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a; |
| } else if ( dp_fcoeffs ) { |
} else if ( dp_fcoeffs ) { |
| /* do nothing */ |
/* do nothing */ |
| } else if ( INT(c1) && INT(c2) ) { |
} else if ( INT(c1) && INT(c2) ) { |
| gcdn(NM(c1),NM(c2),&gn); |
gcdn(NM(c1),NM(c2),&gn); |
| if ( !UNIN(gn) ) { |
if ( !UNIN(gn) ) { |
| divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c; |
divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c; |
| divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c; |
divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c; |
| } |
} |
| } else { |
} else { |
| ezgcdpz(CO,(P)c1,(P)c2,&g); |
ezgcdpz(CO,(P)c1,(P)c2,&g); |
| divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a; |
divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a; |
| } |
add_denomlist(g); |
| NEWMP(m); m->dl = d; chsgnp((P)c1,&m->c); NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td; |
} |
| *multp = s; |
NEWMP(m); m->dl = d; chsgnp((P)c1,(P *)&m->c); NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td; |
| muld(CO,s,p2,&t); muldc(CO,p1,(P)c2,&s); addd(CO,s,t,&r); |
*multp = s; |
| muldc(CO,p0,(P)c2,&h); |
muld(CO,s,p2,&t); muldc(CO,p1,(Obj)c2,&s); addd(CO,s,t,&r); |
| *head = h; *rest = r; *dnp = (P)c2; |
muldc(CO,p0,(Obj)c2,&h); |
| |
*head = h; *rest = r; *dnp = (P)c2; |
| } |
} |
| |
|
| |
void dpm_red(DPM p0,DPM p1,DPM p2,DPM *head,DPM *rest,P *dnp,DP *multp) |
| |
{ |
| |
int i,n,pos; |
| |
DL d1,d2,d; |
| |
MP m; |
| |
DP s; |
| |
DPM t,r,h,u,w; |
| |
Q c,c1,c2; |
| |
N gn,tn; |
| |
P g,a; |
| |
P p[2]; |
| |
|
| |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; pos = BDY(p1)->pos; |
| |
if ( pos != BDY(p2)->pos ) |
| |
error("dpm_red : cannot happen"); |
| |
NEWDL(d,n); d->td = d1->td - d2->td; |
| |
for ( i = 0; i < n; i++ ) |
| |
d->d[i] = d1->d[i]-d2->d[i]; |
| |
c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c; |
| |
if ( dp_fcoeffs == N_GFS ) { |
| |
p[0] = (P)c1; p[1] = (P)c2; |
| |
gcdsf(CO,p,2,&g); |
| |
divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a; |
| |
} else if ( dp_fcoeffs ) { |
| |
/* do nothing */ |
| |
} else if ( INT(c1) && INT(c2) ) { |
| |
gcdn(NM(c1),NM(c2),&gn); |
| |
if ( !UNIN(gn) ) { |
| |
divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c; |
| |
divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c; |
| |
} |
| |
} else { |
| |
ezgcdpz(CO,(P)c1,(P)c2,&g); |
| |
divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a; |
| |
add_denomlist(g); |
| |
} |
| |
NEWMP(m); m->dl = d; chsgnp((P)c1,(P *)&m->c); NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td; |
| |
*multp = s; |
| |
mulobjdpm(CO,(Obj)s,p2,&u); mulobjdpm(CO,(Obj)c2,p1,&w); adddpm(CO,u,w,&r); |
| |
mulobjdpm(CO,(Obj)c2,p0,&h); |
| |
*head = h; *rest = r; *dnp = (P)c2; |
| |
} |
| |
|
| |
|
| |
/* |
| |
* m-reduction by a marked poly |
| |
* do content reduction over Z or Q(x,...) |
| |
* do nothing over finite fields |
| |
* |
| |
*/ |
| |
|
| |
|
| |
void dp_red_marked(DP p0,DP p1,DP p2,DP hp2,DP *head,DP *rest,P *dnp,DP *multp) |
| |
{ |
| |
int i,n; |
| |
DL d1,d2,d; |
| |
MP m; |
| |
DP t,s,r,h; |
| |
Q c,c1,c2; |
| |
N gn,tn; |
| |
P g,a; |
| |
P p[2]; |
| |
|
| |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(hp2)->dl; |
| |
NEWDL(d,n); d->td = d1->td - d2->td; |
| |
for ( i = 0; i < n; i++ ) |
| |
d->d[i] = d1->d[i]-d2->d[i]; |
| |
c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(hp2)->c; |
| |
if ( dp_fcoeffs == N_GFS ) { |
| |
p[0] = (P)c1; p[1] = (P)c2; |
| |
gcdsf(CO,p,2,&g); |
| |
divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a; |
| |
} else if ( dp_fcoeffs ) { |
| |
/* do nothing */ |
| |
} else if ( INT(c1) && INT(c2) ) { |
| |
gcdn(NM(c1),NM(c2),&gn); |
| |
if ( !UNIN(gn) ) { |
| |
divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c; |
| |
divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c; |
| |
} |
| |
} else { |
| |
ezgcdpz(CO,(P)c1,(P)c2,&g); |
| |
divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a; |
| |
} |
| |
NEWMP(m); m->dl = d; m->c = (Obj)c1; NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td; |
| |
*multp = s; |
| |
muld(CO,s,p2,&t); muldc(CO,p1,(Obj)c2,&s); subd(CO,s,t,&r); |
| |
muldc(CO,p0,(Obj)c2,&h); |
| |
*head = h; *rest = r; *dnp = (P)c2; |
| |
} |
| |
|
| |
void dp_red_marked_mod(DP p0,DP p1,DP p2,DP hp2,int mod,DP *head,DP *rest,P *dnp,DP *multp) |
| |
{ |
| |
int i,n; |
| |
DL d1,d2,d; |
| |
MP m; |
| |
DP t,s,r,h; |
| |
P c1,c2,g,u; |
| |
|
| |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(hp2)->dl; |
| |
NEWDL(d,n); d->td = d1->td - d2->td; |
| |
for ( i = 0; i < n; i++ ) |
| |
d->d[i] = d1->d[i]-d2->d[i]; |
| |
c1 = (P)BDY(p1)->c; c2 = (P)BDY(hp2)->c; |
| |
gcdprsmp(CO,mod,c1,c2,&g); |
| |
divsmp(CO,mod,c1,g,&u); c1 = u; divsmp(CO,mod,c2,g,&u); c2 = u; |
| |
if ( NUM(c2) ) { |
| |
divsmp(CO,mod,c1,c2,&u); c1 = u; c2 = (P)ONEM; |
| |
} |
| |
NEWMP(m); m->dl = d; m->c = (Obj)c1; NEXT(m) = 0; |
| |
MKDP(n,m,s); s->sugar = d->td; |
| |
*multp = s; |
| |
mulmd(CO,mod,s,p2,&t); |
| |
if ( NUM(c2) ) { |
| |
submd(CO,mod,p1,t,&r); h = p0; |
| |
} else { |
| |
mulmdc(CO,mod,p1,c2,&s); submd(CO,mod,s,t,&r); mulmdc(CO,mod,p0,c2,&h); |
| |
} |
| |
*head = h; *rest = r; *dnp = c2; |
| |
} |
| |
|
| /* m-reduction over a field */ |
/* m-reduction over a field */ |
| |
|
| void dp_red_f(DP p1,DP p2,DP *rest) |
void dp_red_f(DP p1,DP p2,DP *rest) |
| { |
{ |
| int i,n; |
int i,n; |
| DL d1,d2,d; |
DL d1,d2,d; |
| MP m; |
MP m; |
| DP t,s; |
DP t,s; |
| Obj a,b; |
Obj a,b; |
| |
|
| n = p1->nv; |
n = p1->nv; |
| d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| |
|
| NEWDL(d,n); d->td = d1->td - d2->td; |
NEWDL(d,n); d->td = d1->td - d2->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = d1->d[i]-d2->d[i]; |
d->d[i] = d1->d[i]-d2->d[i]; |
| |
|
| NEWMP(m); m->dl = d; |
NEWMP(m); m->dl = d; |
| divr(CO,(Obj)BDY(p1)->c,(Obj)BDY(p2)->c,&a); chsgnr(a,&b); |
divr(CO,(Obj)BDY(p1)->c,(Obj)BDY(p2)->c,&a); chsgnr(a,&b); |
| C(m) = (P)b; |
C(m) = (Obj)b; |
| NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td; |
NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td; |
| |
|
| muld(CO,s,p2,&t); addd(CO,p1,t,rest); |
muld(CO,s,p2,&t); addd(CO,p1,t,rest); |
| } |
} |
| |
|
| |
void dpm_red_f(DPM p1,DPM p2,DPM *rest) |
| |
{ |
| |
int i,n; |
| |
DL d1,d2,d; |
| |
MP m; |
| |
DPM t; |
| |
DP s; |
| |
Obj a,b; |
| |
|
| |
n = p1->nv; |
| |
d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| |
|
| |
NEWDL(d,n); d->td = d1->td - d2->td; |
| |
for ( i = 0; i < n; i++ ) |
| |
d->d[i] = d1->d[i]-d2->d[i]; |
| |
|
| |
NEWMP(m); m->dl = d; |
| |
arf_div(CO,(Obj)BDY(p1)->c,(Obj)BDY(p2)->c,&a); arf_chsgn(a,&b); |
| |
C(m) = b; |
| |
NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td; |
| |
|
| |
mulobjdpm(CO,(Obj)s,p2,&t); adddpm(CO,p1,t,rest); |
| |
} |
| |
|
| |
|
| void dp_red_mod(DP p0,DP p1,DP p2,int mod,DP *head,DP *rest,P *dnp) |
void dp_red_mod(DP p0,DP p1,DP p2,int mod,DP *head,DP *rest,P *dnp) |
| { |
{ |
| int i,n; |
int i,n; |
| DL d1,d2,d; |
DL d1,d2,d; |
| MP m; |
MP m; |
| DP t,s,r,h; |
DP t,s,r,h; |
| P c1,c2,g,u; |
P c1,c2,g,u; |
| |
|
| n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| NEWDL(d,n); d->td = d1->td - d2->td; |
NEWDL(d,n); d->td = d1->td - d2->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = d1->d[i]-d2->d[i]; |
d->d[i] = d1->d[i]-d2->d[i]; |
| c1 = (P)BDY(p1)->c; c2 = (P)BDY(p2)->c; |
c1 = (P)BDY(p1)->c; c2 = (P)BDY(p2)->c; |
| gcdprsmp(CO,mod,c1,c2,&g); |
gcdprsmp(CO,mod,c1,c2,&g); |
| divsmp(CO,mod,c1,g,&u); c1 = u; divsmp(CO,mod,c2,g,&u); c2 = u; |
divsmp(CO,mod,c1,g,&u); c1 = u; divsmp(CO,mod,c2,g,&u); c2 = u; |
| if ( NUM(c2) ) { |
if ( NUM(c2) ) { |
| divsmp(CO,mod,c1,c2,&u); c1 = u; c2 = (P)ONEM; |
divsmp(CO,mod,c1,c2,&u); c1 = u; c2 = (P)ONEM; |
| } |
} |
| NEWMP(m); m->dl = d; chsgnmp(mod,(P)c1,&m->c); NEXT(m) = 0; |
NEWMP(m); m->dl = d; chsgnmp(mod,(P)c1,(P *)&m->c); NEXT(m) = 0; |
| MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,s,p2,&t); |
MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,s,p2,&t); |
| if ( NUM(c2) ) { |
if ( NUM(c2) ) { |
| addmd(CO,mod,p1,t,&r); h = p0; |
addmd(CO,mod,p1,t,&r); h = p0; |
| } else { |
} else { |
| mulmdc(CO,mod,p1,c2,&s); addmd(CO,mod,s,t,&r); mulmdc(CO,mod,p0,c2,&h); |
mulmdc(CO,mod,p1,c2,&s); addmd(CO,mod,s,t,&r); mulmdc(CO,mod,p0,c2,&h); |
| } |
} |
| *head = h; *rest = r; *dnp = c2; |
*head = h; *rest = r; *dnp = c2; |
| } |
} |
| |
|
| struct oEGT eg_red_mod; |
struct oEGT eg_red_mod; |
| |
|
| void _dp_red_mod_destructive(DP p1,DP p2,int mod,DP *rp) |
void _dp_red_mod_destructive(DP p1,DP p2,int mod,DP *rp) |
| { |
{ |
| int i,n; |
int i,n; |
| DL d1,d2,d; |
DL d1,d2,d; |
| MP m; |
MP m; |
| DP t,s; |
DP t,s; |
| int c,c1,c2; |
int c,c1,c2; |
| extern int do_weyl; |
extern int do_weyl; |
| |
|
| n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| _NEWDL(d,n); d->td = d1->td - d2->td; |
_NEWDL(d,n); d->td = d1->td - d2->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = d1->d[i]-d2->d[i]; |
d->d[i] = d1->d[i]-d2->d[i]; |
| c = invm(ITOS(BDY(p2)->c),mod); |
c = invm(ITOS(BDY(p2)->c),mod); |
| c2 = ITOS(BDY(p1)->c); |
c2 = ITOS(BDY(p1)->c); |
| DMAR(c,c2,0,mod,c1); |
DMAR(c,c2,0,mod,c1); |
| _NEWMP(m); m->dl = d; m->c = STOI(mod-c1); NEXT(m) = 0; |
_NEWMP(m); m->dl = d; m->c = (Obj)STOI(mod-c1); NEXT(m) = 0; |
| #if 0 |
#if 0 |
| _MKDP(n,m,s); s->sugar = d->td; |
_MKDP(n,m,s); s->sugar = d->td; |
| _mulmd_dup(mod,s,p2,&t); _free_dp(s); |
_mulmd_dup(mod,s,p2,&t); _free_dp(s); |
| #else |
#else |
| if ( do_weyl ) { |
if ( do_weyl ) { |
| _MKDP(n,m,s); s->sugar = d->td; |
_MKDP(n,m,s); s->sugar = d->td; |
| _mulmd_dup(mod,s,p2,&t); _free_dp(s); |
_mulmd_dup(mod,s,p2,&t); _free_dp(s); |
| } else { |
} else { |
| _mulmdm_dup(mod,p2,m,&t); _FREEMP(m); |
_mulmdm_dup(mod,p2,m,&t); _FREEMP(m); |
| } |
} |
| #endif |
#endif |
| /* get_eg(&t0); */ |
/* get_eg(&t0); */ |
| _addmd_destructive(mod,p1,t,rp); |
_addmd_destructive(mod,p1,t,rp); |
| /* get_eg(&t1); add_eg(&eg_red_mod,&t0,&t1); */ |
/* get_eg(&t1); add_eg(&eg_red_mod,&t0,&t1); */ |
| } |
} |
| |
|
| Line 908 void _dp_red_mod_destructive(DP p1,DP p2,int mod,DP *r |
|
| Line 1208 void _dp_red_mod_destructive(DP p1,DP p2,int mod,DP *r |
|
| |
|
| void dp_true_nf(NODE b,DP g,DP *ps,int full,DP *rp,P *dnp) |
void dp_true_nf(NODE b,DP g,DP *ps,int full,DP *rp,P *dnp) |
| { |
{ |
| DP u,p,d,s,t,dmy; |
DP u,p,d,s,t,dmy; |
| NODE l; |
NODE l; |
| MP m,mr; |
MP m,mr; |
| int i,n; |
int i,n; |
| int *wb; |
int *wb; |
| int sugar,psugar; |
int sugar,psugar; |
| P dn,tdn,tdn1; |
P dn,tdn,tdn1; |
| |
|
| dn = (P)ONE; |
dn = (P)ONE; |
| if ( !g ) { |
if ( !g ) { |
| *rp = 0; *dnp = dn; return; |
*rp = 0; *dnp = dn; return; |
| } |
} |
| for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
| wb = (int *)ALLOCA(n*sizeof(int)); |
wb = (int *)ALLOCA(n*sizeof(int)); |
| for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
| wb[i] = QTOS((Q)BDY(l)); |
wb[i] = QTOS((Q)BDY(l)); |
| sugar = g->sugar; |
sugar = g->sugar; |
| for ( d = 0; g; ) { |
for ( d = 0; g; ) { |
| for ( u = 0, i = 0; i < n; i++ ) { |
for ( u = 0, i = 0; i < n; i++ ) { |
| if ( dp_redble(g,p = ps[wb[i]]) ) { |
if ( dp_redble(g,p = ps[wb[i]]) ) { |
| dp_red(d,g,p,&t,&u,&tdn,&dmy); |
dp_red(d,g,p,&t,&u,&tdn,&dmy); |
| psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
| sugar = MAX(sugar,psugar); |
sugar = MAX(sugar,psugar); |
| if ( !u ) { |
if ( !u ) { |
| if ( d ) |
if ( d ) |
| d->sugar = sugar; |
d->sugar = sugar; |
| *rp = d; *dnp = dn; return; |
*rp = d; *dnp = dn; return; |
| } else { |
} else { |
| d = t; |
d = t; |
| mulp(CO,dn,tdn,&tdn1); dn = tdn1; |
mulp(CO,dn,tdn,&tdn1); dn = tdn1; |
| } |
} |
| break; |
break; |
| } |
} |
| } |
} |
| if ( u ) |
if ( u ) |
| g = u; |
g = u; |
| else if ( !full ) { |
else if ( !full ) { |
| if ( g ) { |
if ( g ) { |
| MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t; |
MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t; |
| } |
} |
| *rp = g; *dnp = dn; return; |
*rp = g; *dnp = dn; return; |
| } else { |
} else { |
| m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
| NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
| addd(CO,d,t,&s); d = s; |
addd(CO,d,t,&s); d = s; |
| dp_rest(g,&t); g = t; |
dp_rest(g,&t); g = t; |
| } |
} |
| } |
} |
| if ( d ) |
if ( d ) |
| d->sugar = sugar; |
d->sugar = sugar; |
| *rp = d; *dnp = dn; |
*rp = d; *dnp = dn; |
| } |
} |
| |
|
| |
void dp_removecont2(DP p1,DP p2,DP *r1p,DP *r2p,Q *contp) |
| |
{ |
| |
struct oVECT v; |
| |
int i,n1,n2,n; |
| |
MP m,m0,t; |
| |
Q *w; |
| |
Q h; |
| |
|
| |
if ( p1 ) { |
| |
for ( i = 0, m = BDY(p1); m; m = NEXT(m), i++ ); |
| |
n1 = i; |
| |
} else |
| |
n1 = 0; |
| |
if ( p2 ) { |
| |
for ( i = 0, m = BDY(p2); m; m = NEXT(m), i++ ); |
| |
n2 = i; |
| |
} else |
| |
n2 = 0; |
| |
n = n1+n2; |
| |
if ( !n ) { |
| |
*r1p = 0; *r2p = 0; *contp = ONE; return; |
| |
} |
| |
w = (Q *)ALLOCA(n*sizeof(Q)); |
| |
v.len = n; |
| |
v.body = (pointer *)w; |
| |
i = 0; |
| |
if ( p1 ) |
| |
for ( m = BDY(p1); i < n1; m = NEXT(m), i++ ) w[i] = (Q)m->c; |
| |
if ( p2 ) |
| |
for ( m = BDY(p2); i < n; m = NEXT(m), i++ ) w[i] = (Q)m->c; |
| |
h = w[0]; removecont_array((P *)w,n,1); divq(h,w[0],contp); |
| |
i = 0; |
| |
if ( p1 ) { |
| |
for ( m0 = 0, t = BDY(p1); i < n1; i++, t = NEXT(t) ) { |
| |
NEXTMP(m0,m); m->c = (Obj)w[i]; m->dl = t->dl; |
| |
} |
| |
NEXT(m) = 0; |
| |
MKDP(p1->nv,m0,*r1p); (*r1p)->sugar = p1->sugar; |
| |
} else |
| |
*r1p = 0; |
| |
if ( p2 ) { |
| |
for ( m0 = 0, t = BDY(p2); i < n; i++, t = NEXT(t) ) { |
| |
NEXTMP(m0,m); m->c = (Obj)w[i]; m->dl = t->dl; |
| |
} |
| |
NEXT(m) = 0; |
| |
MKDP(p2->nv,m0,*r2p); (*r2p)->sugar = p2->sugar; |
| |
} else |
| |
*r2p = 0; |
| |
} |
| |
|
| |
/* true nf by a marked GB */ |
| |
|
| |
void dp_true_nf_marked(NODE b,DP g,DP *ps,DP *hps,DP *rp,P *nmp,P *dnp) |
| |
{ |
| |
DP u,p,d,s,t,dmy,hp; |
| |
NODE l; |
| |
MP m,mr; |
| |
int i,n,hmag; |
| |
int *wb; |
| |
int sugar,psugar,multiple; |
| |
P nm,tnm1,dn,tdn,tdn1; |
| |
Q cont; |
| |
|
| |
multiple = 0; |
| |
hmag = multiple*HMAG(g); |
| |
nm = (P)ONE; |
| |
dn = (P)ONE; |
| |
if ( !g ) { |
| |
*rp = 0; *dnp = dn; return; |
| |
} |
| |
for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
| |
wb = (int *)ALLOCA(n*sizeof(int)); |
| |
for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
| |
wb[i] = QTOS((Q)BDY(l)); |
| |
sugar = g->sugar; |
| |
for ( d = 0; g; ) { |
| |
for ( u = 0, i = 0; i < n; i++ ) { |
| |
if ( dp_redble(g,hp = hps[wb[i]]) ) { |
| |
p = ps[wb[i]]; |
| |
dp_red_marked(d,g,p,hp,&t,&u,&tdn,&dmy); |
| |
psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
| |
sugar = MAX(sugar,psugar); |
| |
if ( !u ) { |
| |
goto last; |
| |
} else { |
| |
d = t; |
| |
mulp(CO,dn,tdn,&tdn1); dn = tdn1; |
| |
} |
| |
break; |
| |
} |
| |
} |
| |
if ( u ) { |
| |
g = u; |
| |
if ( multiple && ((d && HMAG(d)>hmag) || (HMAG(g)>hmag)) ) { |
| |
dp_removecont2(d,g,&t,&u,&cont); d = t; g = u; |
| |
mulp(CO,nm,(P)cont,&tnm1); nm = tnm1; |
| |
if ( d ) |
| |
hmag = multiple*HMAG(d); |
| |
else |
| |
hmag = multiple*HMAG(g); |
| |
} |
| |
} else { |
| |
m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
| |
NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
| |
addd(CO,d,t,&s); d = s; |
| |
dp_rest(g,&t); g = t; |
| |
} |
| |
} |
| |
last: |
| |
if ( d ) { |
| |
dp_removecont2(d,0,&t,&u,&cont); d = t; |
| |
mulp(CO,nm,(P)cont,&tnm1); nm = tnm1; |
| |
d->sugar = sugar; |
| |
} |
| |
*rp = d; *nmp = nm; *dnp = dn; |
| |
} |
| |
|
| |
void dp_true_nf_marked_mod(NODE b,DP g,DP *ps,DP *hps,int mod,DP *rp,P *dnp) |
| |
{ |
| |
DP hp,u,p,d,s,t,dmy; |
| |
NODE l; |
| |
MP m,mr; |
| |
int i,n; |
| |
int *wb; |
| |
int sugar,psugar; |
| |
P dn,tdn,tdn1; |
| |
|
| |
dn = (P)ONEM; |
| |
if ( !g ) { |
| |
*rp = 0; *dnp = dn; return; |
| |
} |
| |
for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
| |
wb = (int *)ALLOCA(n*sizeof(int)); |
| |
for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
| |
wb[i] = QTOS((Q)BDY(l)); |
| |
sugar = g->sugar; |
| |
for ( d = 0; g; ) { |
| |
for ( u = 0, i = 0; i < n; i++ ) { |
| |
if ( dp_redble(g,hp = hps[wb[i]]) ) { |
| |
p = ps[wb[i]]; |
| |
dp_red_marked_mod(d,g,p,hp,mod,&t,&u,&tdn,&dmy); |
| |
psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
| |
sugar = MAX(sugar,psugar); |
| |
if ( !u ) { |
| |
if ( d ) |
| |
d->sugar = sugar; |
| |
*rp = d; *dnp = dn; return; |
| |
} else { |
| |
d = t; |
| |
mulmp(CO,mod,dn,tdn,&tdn1); dn = tdn1; |
| |
} |
| |
break; |
| |
} |
| |
} |
| |
if ( u ) |
| |
g = u; |
| |
else { |
| |
m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
| |
NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
| |
addmd(CO,mod,d,t,&s); d = s; |
| |
dp_rest(g,&t); g = t; |
| |
} |
| |
} |
| |
if ( d ) |
| |
d->sugar = sugar; |
| |
*rp = d; *dnp = dn; |
| |
} |
| |
|
| |
/* true nf by a marked GB and collect quotients */ |
| |
|
| |
DP *dp_true_nf_and_quotient_marked (NODE b,DP g,DP *ps,DP *hps,DP *rp,P *dnp) |
| |
{ |
| |
DP u,p,d,s,t,dmy,hp,mult; |
| |
DP *q; |
| |
NODE l; |
| |
MP m,mr; |
| |
int i,n,j; |
| |
int *wb; |
| |
int sugar,psugar,multiple; |
| |
P nm,tnm1,dn,tdn,tdn1; |
| |
Q cont; |
| |
|
| |
dn = (P)ONE; |
| |
if ( !g ) { |
| |
*rp = 0; *dnp = dn; return 0; |
| |
} |
| |
for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
| |
wb = (int *)ALLOCA(n*sizeof(int)); |
| |
for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
| |
wb[i] = QTOS((Q)BDY(l)); |
| |
q = (DP *)MALLOC(n*sizeof(DP)); |
| |
for ( i = 0; i < n; i++ ) q[i] = 0; |
| |
sugar = g->sugar; |
| |
for ( d = 0; g; ) { |
| |
for ( u = 0, i = 0; i < n; i++ ) { |
| |
if ( dp_redble(g,hp = hps[wb[i]]) ) { |
| |
p = ps[wb[i]]; |
| |
dp_red_marked(d,g,p,hp,&t,&u,&tdn,&mult); |
| |
psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
| |
sugar = MAX(sugar,psugar); |
| |
for ( j = 0; j < n; j++ ) { |
| |
muldc(CO,q[j],(Obj)tdn,&dmy); q[j] = dmy; |
| |
} |
| |
addd(CO,q[wb[i]],mult,&dmy); q[wb[i]] = dmy; |
| |
mulp(CO,dn,tdn,&tdn1); dn = tdn1; |
| |
d = t; |
| |
if ( !u ) goto last; |
| |
break; |
| |
} |
| |
} |
| |
if ( u ) { |
| |
g = u; |
| |
} else { |
| |
m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
| |
NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
| |
addd(CO,d,t,&s); d = s; |
| |
dp_rest(g,&t); g = t; |
| |
} |
| |
} |
| |
last: |
| |
if ( d ) d->sugar = sugar; |
| |
*rp = d; *dnp = dn; |
| |
return q; |
| |
} |
| |
|
| |
DP *dp_true_nf_and_quotient_marked_mod(NODE b,DP g,DP *ps,DP *hps,int mod,DP *rp,P *dnp) |
| |
{ |
| |
DP u,p,d,s,t,dmy,hp,mult; |
| |
DP *q; |
| |
NODE l; |
| |
MP m,mr; |
| |
int i,n,j; |
| |
int *wb; |
| |
int sugar,psugar; |
| |
P dn,tdn,tdn1; |
| |
|
| |
for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
| |
q = (DP *)MALLOC(n*sizeof(DP)); |
| |
for ( i = 0; i < n; i++ ) q[i] = 0; |
| |
dn = (P)ONEM; |
| |
if ( !g ) { |
| |
*rp = 0; *dnp = dn; return 0; |
| |
} |
| |
wb = (int *)ALLOCA(n*sizeof(int)); |
| |
for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
| |
wb[i] = QTOS((Q)BDY(l)); |
| |
sugar = g->sugar; |
| |
for ( d = 0; g; ) { |
| |
for ( u = 0, i = 0; i < n; i++ ) { |
| |
if ( dp_redble(g,hp = hps[wb[i]]) ) { |
| |
p = ps[wb[i]]; |
| |
dp_red_marked_mod(d,g,p,hp,mod,&t,&u,&tdn,&mult); |
| |
psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
| |
sugar = MAX(sugar,psugar); |
| |
for ( j = 0; j < n; j++ ) { |
| |
mulmdc(CO,mod,q[j],(P)tdn,&dmy); q[j] = dmy; |
| |
} |
| |
addmd(CO,mod,q[wb[i]],mult,&dmy); q[wb[i]] = dmy; |
| |
mulmp(CO,mod,dn,tdn,&tdn1); dn = tdn1; |
| |
d = t; |
| |
if ( !u ) goto last; |
| |
break; |
| |
} |
| |
} |
| |
if ( u ) |
| |
g = u; |
| |
else { |
| |
m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
| |
NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
| |
addmd(CO,mod,d,t,&s); d = s; |
| |
dp_rest(g,&t); g = t; |
| |
} |
| |
} |
| |
last: |
| |
if ( d ) |
| |
d->sugar = sugar; |
| |
*rp = d; *dnp = dn; |
| |
return q; |
| |
} |
| |
|
| /* nf computation over Z */ |
/* nf computation over Z */ |
| |
|
| void dp_nf_z(NODE b,DP g,DP *ps,int full,int multiple,DP *rp) |
void dp_nf_z(NODE b,DP g,DP *ps,int full,int multiple,DP *rp) |
| { |
{ |
| DP u,p,d,s,t,dmy1; |
DP u,p,d,s,t,dmy1; |
| P dmy; |
P dmy; |
| NODE l; |
NODE l; |
| MP m,mr; |
MP m,mr; |
| int i,n; |
int i,n; |
| int *wb; |
int *wb; |
| int hmag; |
int hmag; |
| int sugar,psugar; |
int sugar,psugar; |
| |
|
| if ( !g ) { |
if ( !g ) { |
| *rp = 0; return; |
*rp = 0; return; |
| } |
} |
| for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
| wb = (int *)ALLOCA(n*sizeof(int)); |
wb = (int *)ALLOCA(n*sizeof(int)); |
| for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
| wb[i] = QTOS((Q)BDY(l)); |
wb[i] = QTOS((Q)BDY(l)); |
| |
|
| hmag = multiple*HMAG(g); |
hmag = multiple*HMAG(g); |
| sugar = g->sugar; |
sugar = g->sugar; |
| |
|
| for ( d = 0; g; ) { |
for ( d = 0; g; ) { |
| for ( u = 0, i = 0; i < n; i++ ) { |
for ( u = 0, i = 0; i < n; i++ ) { |
| if ( dp_redble(g,p = ps[wb[i]]) ) { |
if ( dp_redble(g,p = ps[wb[i]]) ) { |
| dp_red(d,g,p,&t,&u,&dmy,&dmy1); |
dp_red(d,g,p,&t,&u,&dmy,&dmy1); |
| psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
| sugar = MAX(sugar,psugar); |
sugar = MAX(sugar,psugar); |
| if ( !u ) { |
if ( !u ) { |
| if ( d ) |
if ( d ) |
| d->sugar = sugar; |
d->sugar = sugar; |
| *rp = d; return; |
*rp = d; return; |
| } |
} |
| d = t; |
d = t; |
| break; |
break; |
| } |
} |
| } |
} |
| if ( u ) { |
if ( u ) { |
| g = u; |
g = u; |
| if ( d ) { |
if ( d ) { |
| if ( multiple && HMAG(d) > hmag ) { |
if ( multiple && HMAG(d) > hmag ) { |
| dp_ptozp2(d,g,&t,&u); d = t; g = u; |
dp_ptozp2(d,g,&t,&u); d = t; g = u; |
| hmag = multiple*HMAG(d); |
hmag = multiple*HMAG(d); |
| } |
} |
| } else { |
} else { |
| if ( multiple && HMAG(g) > hmag ) { |
if ( multiple && HMAG(g) > hmag ) { |
| dp_ptozp(g,&t); g = t; |
dp_ptozp(g,&t); g = t; |
| hmag = multiple*HMAG(g); |
hmag = multiple*HMAG(g); |
| } |
} |
| } |
} |
| } |
} |
| else if ( !full ) { |
else if ( !full ) { |
| if ( g ) { |
if ( g ) { |
| MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t; |
MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t; |
| } |
} |
| *rp = g; return; |
*rp = g; return; |
| } else { |
} else { |
| m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
| NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
| addd(CO,d,t,&s); d = s; |
addd(CO,d,t,&s); d = s; |
| dp_rest(g,&t); g = t; |
dp_rest(g,&t); g = t; |
| |
|
| } |
} |
| } |
} |
| if ( d ) |
if ( d ) |
| d->sugar = sugar; |
d->sugar = sugar; |
| *rp = d; |
*rp = d; |
| } |
} |
| |
|
| |
void dpm_nf_z(NODE b,DPM g,DPM *ps,int full,int multiple,DPM *rp) |
| |
{ |
| |
DPM u,p,d,s,t; |
| |
DP dmy1; |
| |
P dmy; |
| |
NODE l; |
| |
DMM m,mr; |
| |
int i,n; |
| |
int *wb; |
| |
int hmag; |
| |
int sugar,psugar; |
| |
|
| |
if ( !g ) { |
| |
*rp = 0; return; |
| |
} |
| |
for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
| |
wb = (int *)ALLOCA(n*sizeof(int)); |
| |
for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
| |
wb[i] = QTOS((Q)BDY(l)); |
| |
|
| |
hmag = multiple*HMAG(g); |
| |
sugar = g->sugar; |
| |
|
| |
for ( d = 0; g; ) { |
| |
for ( u = 0, i = 0; i < n; i++ ) { |
| |
if ( dpm_redble(g,p = ps[wb[i]]) ) { |
| |
dpm_red(d,g,p,&t,&u,&dmy,&dmy1); |
| |
psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
| |
sugar = MAX(sugar,psugar); |
| |
if ( !u ) { |
| |
if ( d ) |
| |
d->sugar = sugar; |
| |
*rp = d; return; |
| |
} |
| |
d = t; |
| |
break; |
| |
} |
| |
} |
| |
if ( u ) { |
| |
g = u; |
| |
if ( d ) { |
| |
if ( multiple && HMAG(d) > hmag ) { |
| |
dpm_ptozp2(d,g,&t,&u); d = t; g = u; |
| |
hmag = multiple*HMAG(d); |
| |
} |
| |
} else { |
| |
if ( multiple && HMAG(g) > hmag ) { |
| |
dpm_ptozp(g,&t); g = t; |
| |
hmag = multiple*HMAG(g); |
| |
} |
| |
} |
| |
} |
| |
else if ( !full ) { |
| |
if ( g ) { |
| |
MKDPM(g->nv,BDY(g),t); t->sugar = sugar; g = t; |
| |
} |
| |
*rp = g; return; |
| |
} else { |
| |
m = BDY(g); NEWDMM(mr); mr->dl = m->dl; mr->c = m->c; mr->pos = m->pos; |
| |
NEXT(mr) = 0; MKDPM(g->nv,mr,t); t->sugar = mr->dl->td; |
| |
adddpm(CO,d,t,&s); d = s; |
| |
dpm_rest(g,&t); g = t; |
| |
} |
| |
} |
| |
if ( d ) |
| |
d->sugar = sugar; |
| |
*rp = d; |
| |
} |
| |
|
| /* nf computation over a field */ |
/* nf computation over a field */ |
| |
|
| void dp_nf_f(NODE b,DP g,DP *ps,int full,DP *rp) |
void dp_nf_f(NODE b,DP g,DP *ps,int full,DP *rp) |
| { |
{ |
| DP u,p,d,s,t; |
DP u,p,d,s,t; |
| NODE l; |
NODE l; |
| MP m,mr; |
MP m,mr; |
| int i,n; |
int i,n; |
| int *wb; |
int *wb; |
| int sugar,psugar; |
int sugar,psugar; |
| |
|
| if ( !g ) { |
if ( !g ) { |
| *rp = 0; return; |
*rp = 0; return; |
| } |
} |
| for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
| wb = (int *)ALLOCA(n*sizeof(int)); |
wb = (int *)ALLOCA(n*sizeof(int)); |
| for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
| wb[i] = QTOS((Q)BDY(l)); |
wb[i] = QTOS((Q)BDY(l)); |
| |
|
| sugar = g->sugar; |
sugar = g->sugar; |
| for ( d = 0; g; ) { |
for ( d = 0; g; ) { |
| for ( u = 0, i = 0; i < n; i++ ) { |
for ( u = 0, i = 0; i < n; i++ ) { |
| if ( dp_redble(g,p = ps[wb[i]]) ) { |
if ( dp_redble(g,p = ps[wb[i]]) ) { |
| dp_red_f(g,p,&u); |
dp_red_f(g,p,&u); |
| psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
| sugar = MAX(sugar,psugar); |
sugar = MAX(sugar,psugar); |
| if ( !u ) { |
if ( !u ) { |
| if ( d ) |
if ( d ) |
| d->sugar = sugar; |
d->sugar = sugar; |
| *rp = d; return; |
*rp = d; return; |
| } |
} |
| break; |
break; |
| } |
} |
| } |
} |
| if ( u ) |
if ( u ) |
| g = u; |
g = u; |
| else if ( !full ) { |
else if ( !full ) { |
| if ( g ) { |
if ( g ) { |
| MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t; |
MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t; |
| } |
} |
| *rp = g; return; |
*rp = g; return; |
| } else { |
} else { |
| m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
| NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
| addd(CO,d,t,&s); d = s; |
addd(CO,d,t,&s); d = s; |
| dp_rest(g,&t); g = t; |
dp_rest(g,&t); g = t; |
| } |
} |
| } |
} |
| if ( d ) |
if ( d ) |
| d->sugar = sugar; |
d->sugar = sugar; |
| *rp = d; |
*rp = d; |
| } |
} |
| |
|
| |
void dpm_nf_f(NODE b,DPM g,DPM *ps,int full,DPM *rp) |
| |
{ |
| |
DPM u,p,d,s,t; |
| |
NODE l; |
| |
DMM m,mr; |
| |
int i,n; |
| |
int *wb; |
| |
int sugar,psugar; |
| |
|
| |
if ( !g ) { |
| |
*rp = 0; return; |
| |
} |
| |
for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
| |
wb = (int *)ALLOCA(n*sizeof(int)); |
| |
for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
| |
wb[i] = QTOS((Q)BDY(l)); |
| |
|
| |
sugar = g->sugar; |
| |
for ( d = 0; g; ) { |
| |
for ( u = 0, i = 0; i < n; i++ ) { |
| |
if ( dpm_redble(g,p = ps[wb[i]]) ) { |
| |
dpm_red_f(g,p,&u); |
| |
psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
| |
sugar = MAX(sugar,psugar); |
| |
if ( !u ) { |
| |
if ( d ) |
| |
d->sugar = sugar; |
| |
*rp = d; return; |
| |
} |
| |
break; |
| |
} |
| |
} |
| |
if ( u ) |
| |
g = u; |
| |
else if ( !full ) { |
| |
if ( g ) { |
| |
MKDPM(g->nv,BDY(g),t); t->sugar = sugar; g = t; |
| |
} |
| |
*rp = g; return; |
| |
} else { |
| |
m = BDY(g); NEWDMM(mr); mr->dl = m->dl; mr->c = m->c; mr->pos = m->pos; |
| |
NEXT(mr) = 0; MKDPM(g->nv,mr,t); t->sugar = mr->dl->td; |
| |
adddpm(CO,d,t,&s); d = s; |
| |
dpm_rest(g,&t); g = t; |
| |
} |
| |
} |
| |
if ( d ) |
| |
d->sugar = sugar; |
| |
*rp = d; |
| |
} |
| |
|
| /* nf computation over GF(mod) (only for internal use) */ |
/* nf computation over GF(mod) (only for internal use) */ |
| |
|
| void dp_nf_mod(NODE b,DP g,DP *ps,int mod,int full,DP *rp) |
void dp_nf_mod(NODE b,DP g,DP *ps,int mod,int full,DP *rp) |
| { |
{ |
| DP u,p,d,s,t; |
DP u,p,d,s,t; |
| P dmy; |
P dmy; |
| NODE l; |
NODE l; |
| MP m,mr; |
MP m,mr; |
| int sugar,psugar; |
int sugar,psugar; |
| |
|
| if ( !g ) { |
if ( !g ) { |
| *rp = 0; return; |
*rp = 0; return; |
| } |
} |
| sugar = g->sugar; |
sugar = g->sugar; |
| for ( d = 0; g; ) { |
for ( d = 0; g; ) { |
| for ( u = 0, l = b; l; l = NEXT(l) ) { |
for ( u = 0, l = b; l; l = NEXT(l) ) { |
| if ( dp_redble(g,p = ps[(int)BDY(l)]) ) { |
if ( dp_redble(g,p = ps[(int)BDY(l)]) ) { |
| dp_red_mod(d,g,p,mod,&t,&u,&dmy); |
dp_red_mod(d,g,p,mod,&t,&u,&dmy); |
| psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
| sugar = MAX(sugar,psugar); |
sugar = MAX(sugar,psugar); |
| if ( !u ) { |
if ( !u ) { |
| if ( d ) |
if ( d ) |
| d->sugar = sugar; |
d->sugar = sugar; |
| *rp = d; return; |
*rp = d; return; |
| } |
} |
| d = t; |
d = t; |
| break; |
break; |
| } |
} |
| } |
} |
| if ( u ) |
if ( u ) |
| g = u; |
g = u; |
| else if ( !full ) { |
else if ( !full ) { |
| if ( g ) { |
if ( g ) { |
| MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t; |
MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t; |
| } |
} |
| *rp = g; return; |
*rp = g; return; |
| } else { |
} else { |
| m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
| NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
| addmd(CO,mod,d,t,&s); d = s; |
addmd(CO,mod,d,t,&s); d = s; |
| dp_rest(g,&t); g = t; |
dp_rest(g,&t); g = t; |
| } |
} |
| } |
} |
| if ( d ) |
if ( d ) |
| d->sugar = sugar; |
d->sugar = sugar; |
| *rp = d; |
*rp = d; |
| } |
} |
| |
|
| void dp_true_nf_mod(NODE b,DP g,DP *ps,int mod,int full,DP *rp,P *dnp) |
void dp_true_nf_mod(NODE b,DP g,DP *ps,int mod,int full,DP *rp,P *dnp) |
| { |
{ |
| DP u,p,d,s,t; |
DP u,p,d,s,t; |
| NODE l; |
NODE l; |
| MP m,mr; |
MP m,mr; |
| int i,n; |
int i,n; |
| int *wb; |
int *wb; |
| int sugar,psugar; |
int sugar,psugar; |
| P dn,tdn,tdn1; |
P dn,tdn,tdn1; |
| |
|
| dn = (P)ONEM; |
dn = (P)ONEM; |
| if ( !g ) { |
if ( !g ) { |
| *rp = 0; *dnp = dn; return; |
*rp = 0; *dnp = dn; return; |
| } |
} |
| for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
for ( n = 0, l = b; l; l = NEXT(l), n++ ); |
| wb = (int *)ALLOCA(n*sizeof(int)); |
wb = (int *)ALLOCA(n*sizeof(int)); |
| for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
for ( i = 0, l = b; i < n; l = NEXT(l), i++ ) |
| wb[i] = QTOS((Q)BDY(l)); |
wb[i] = QTOS((Q)BDY(l)); |
| sugar = g->sugar; |
sugar = g->sugar; |
| for ( d = 0; g; ) { |
for ( d = 0; g; ) { |
| for ( u = 0, i = 0; i < n; i++ ) { |
for ( u = 0, i = 0; i < n; i++ ) { |
| if ( dp_redble(g,p = ps[wb[i]]) ) { |
if ( dp_redble(g,p = ps[wb[i]]) ) { |
| dp_red_mod(d,g,p,mod,&t,&u,&tdn); |
dp_red_mod(d,g,p,mod,&t,&u,&tdn); |
| psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
| sugar = MAX(sugar,psugar); |
sugar = MAX(sugar,psugar); |
| if ( !u ) { |
if ( !u ) { |
| if ( d ) |
if ( d ) |
| d->sugar = sugar; |
d->sugar = sugar; |
| *rp = d; *dnp = dn; return; |
*rp = d; *dnp = dn; return; |
| } else { |
} else { |
| d = t; |
d = t; |
| mulmp(CO,mod,dn,tdn,&tdn1); dn = tdn1; |
mulmp(CO,mod,dn,tdn,&tdn1); dn = tdn1; |
| } |
} |
| break; |
break; |
| } |
} |
| } |
} |
| if ( u ) |
if ( u ) |
| g = u; |
g = u; |
| else if ( !full ) { |
else if ( !full ) { |
| if ( g ) { |
if ( g ) { |
| MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t; |
MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t; |
| } |
} |
| *rp = g; *dnp = dn; return; |
*rp = g; *dnp = dn; return; |
| } else { |
} else { |
| m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c; |
| NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td; |
| addmd(CO,mod,d,t,&s); d = s; |
addmd(CO,mod,d,t,&s); d = s; |
| dp_rest(g,&t); g = t; |
dp_rest(g,&t); g = t; |
| } |
} |
| } |
} |
| if ( d ) |
if ( d ) |
| d->sugar = sugar; |
d->sugar = sugar; |
| *rp = d; *dnp = dn; |
*rp = d; *dnp = dn; |
| } |
} |
| |
|
| void _dp_nf_mod_destructive(NODE b,DP g,DP *ps,int mod,int full,DP *rp) |
void _dp_nf_mod_destructive(NODE b,DP g,DP *ps,int mod,int full,DP *rp) |
| { |
{ |
| DP u,p,d; |
DP u,p,d; |
| NODE l; |
NODE l; |
| MP m,mrd; |
MP m,mrd; |
| int sugar,psugar,n,h_reducible; |
int sugar,psugar,n,h_reducible; |
| |
|
| if ( !g ) { |
if ( !g ) { |
| *rp = 0; return; |
*rp = 0; return; |
| } |
} |
| sugar = g->sugar; |
sugar = g->sugar; |
| n = g->nv; |
n = g->nv; |
| for ( d = 0; g; ) { |
for ( d = 0; g; ) { |
| for ( h_reducible = 0, l = b; l; l = NEXT(l) ) { |
for ( h_reducible = 0, l = b; l; l = NEXT(l) ) { |
| if ( dp_redble(g,p = ps[(int)BDY(l)]) ) { |
if ( dp_redble(g,p = ps[(int)BDY(l)]) ) { |
| h_reducible = 1; |
h_reducible = 1; |
| psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar; |
| _dp_red_mod_destructive(g,p,mod,&u); g = u; |
_dp_red_mod_destructive(g,p,mod,&u); g = u; |
| sugar = MAX(sugar,psugar); |
sugar = MAX(sugar,psugar); |
| if ( !g ) { |
if ( !g ) { |
| if ( d ) |
if ( d ) |
| d->sugar = sugar; |
d->sugar = sugar; |
| _dptodp(d,rp); _free_dp(d); return; |
_dptodp(d,rp); _free_dp(d); return; |
| } |
} |
| break; |
break; |
| } |
} |
| } |
} |
| if ( !h_reducible ) { |
if ( !h_reducible ) { |
| /* head term is not reducible */ |
/* head term is not reducible */ |
| if ( !full ) { |
if ( !full ) { |
| if ( g ) |
if ( g ) |
| g->sugar = sugar; |
g->sugar = sugar; |
| _dptodp(g,rp); _free_dp(g); return; |
_dptodp(g,rp); _free_dp(g); return; |
| } else { |
} else { |
| m = BDY(g); |
m = BDY(g); |
| if ( NEXT(m) ) { |
if ( NEXT(m) ) { |
| BDY(g) = NEXT(m); NEXT(m) = 0; |
BDY(g) = NEXT(m); NEXT(m) = 0; |
| } else { |
} else { |
| _FREEDP(g); g = 0; |
_FREEDP(g); g = 0; |
| } |
} |
| if ( d ) { |
if ( d ) { |
| for ( mrd = BDY(d); NEXT(mrd); mrd = NEXT(mrd) ); |
for ( mrd = BDY(d); NEXT(mrd); mrd = NEXT(mrd) ); |
| NEXT(mrd) = m; |
NEXT(mrd) = m; |
| } else { |
} else { |
| _MKDP(n,m,d); |
_MKDP(n,m,d); |
| } |
} |
| } |
} |
| } |
} |
| } |
} |
| if ( d ) |
if ( d ) |
| d->sugar = sugar; |
d->sugar = sugar; |
| _dptodp(d,rp); _free_dp(d); |
_dptodp(d,rp); _free_dp(d); |
| } |
} |
| |
|
| /* reduction by linear base over a field */ |
/* reduction by linear base over a field */ |
| |
|
| void dp_lnf_f(DP p1,DP p2,NODE g,DP *r1p,DP *r2p) |
void dp_lnf_f(DP p1,DP p2,NODE g,DP *r1p,DP *r2p) |
| { |
{ |
| DP r1,r2,b1,b2,t,s; |
DP r1,r2,b1,b2,t,s; |
| Obj c,c1,c2; |
Obj c,c1,c2; |
| NODE l,b; |
NODE l,b; |
| int n; |
int n; |
| |
|
| if ( !p1 ) { |
if ( !p1 ) { |
| *r1p = p1; *r2p = p2; return; |
*r1p = p1; *r2p = p2; return; |
| } |
} |
| n = p1->nv; |
n = p1->nv; |
| for ( l = g, r1 = p1, r2 = p2; l; l = NEXT(l) ) { |
for ( l = g, r1 = p1, r2 = p2; l; l = NEXT(l) ) { |
| if ( !r1 ) { |
if ( !r1 ) { |
| *r1p = r1; *r2p = r2; return; |
*r1p = r1; *r2p = r2; return; |
| } |
} |
| b = BDY((LIST)BDY(l)); b1 = (DP)BDY(b); |
b = BDY((LIST)BDY(l)); b1 = (DP)BDY(b); |
| if ( dl_equal(n,BDY(r1)->dl,BDY(b1)->dl) ) { |
if ( dl_equal(n,BDY(r1)->dl,BDY(b1)->dl) ) { |
| b2 = (DP)BDY(NEXT(b)); |
b2 = (DP)BDY(NEXT(b)); |
| divr(CO,(Obj)ONE,(Obj)BDY(b1)->c,&c1); |
divr(CO,(Obj)ONE,(Obj)BDY(b1)->c,&c1); |
| mulr(CO,c1,(Obj)BDY(r1)->c,&c2); chsgnr(c2,&c); |
mulr(CO,c1,(Obj)BDY(r1)->c,&c2); chsgnr(c2,&c); |
| muldc(CO,b1,(P)c,&t); addd(CO,r1,t,&s); r1 = s; |
muldc(CO,b1,(Obj)c,&t); addd(CO,r1,t,&s); r1 = s; |
| muldc(CO,b2,(P)c,&t); addd(CO,r2,t,&s); r2 = s; |
muldc(CO,b2,(Obj)c,&t); addd(CO,r2,t,&s); r2 = s; |
| } |
} |
| } |
} |
| *r1p = r1; *r2p = r2; |
*r1p = r1; *r2p = r2; |
| } |
} |
| |
|
| /* reduction by linear base over GF(mod) */ |
/* reduction by linear base over GF(mod) */ |
| |
|
| void dp_lnf_mod(DP p1,DP p2,NODE g,int mod,DP *r1p,DP *r2p) |
void dp_lnf_mod(DP p1,DP p2,NODE g,int mod,DP *r1p,DP *r2p) |
| { |
{ |
| DP r1,r2,b1,b2,t,s; |
DP r1,r2,b1,b2,t,s; |
| P c; |
P c; |
| MQ c1,c2; |
MQ c1,c2; |
| NODE l,b; |
NODE l,b; |
| int n; |
int n; |
| |
|
| if ( !p1 ) { |
if ( !p1 ) { |
| *r1p = p1; *r2p = p2; return; |
*r1p = p1; *r2p = p2; return; |
| } |
} |
| n = p1->nv; |
n = p1->nv; |
| for ( l = g, r1 = p1, r2 = p2; l; l = NEXT(l) ) { |
for ( l = g, r1 = p1, r2 = p2; l; l = NEXT(l) ) { |
| if ( !r1 ) { |
if ( !r1 ) { |
| *r1p = r1; *r2p = r2; return; |
*r1p = r1; *r2p = r2; return; |
| } |
} |
| b = BDY((LIST)BDY(l)); b1 = (DP)BDY(b); |
b = BDY((LIST)BDY(l)); b1 = (DP)BDY(b); |
| if ( dl_equal(n,BDY(r1)->dl,BDY(b1)->dl) ) { |
if ( dl_equal(n,BDY(r1)->dl,BDY(b1)->dl) ) { |
| b2 = (DP)BDY(NEXT(b)); |
b2 = (DP)BDY(NEXT(b)); |
| invmq(mod,(MQ)BDY(b1)->c,&c1); |
invmq(mod,(MQ)BDY(b1)->c,&c1); |
| mulmq(mod,c1,(MQ)BDY(r1)->c,&c2); chsgnmp(mod,(P)c2,&c); |
mulmq(mod,c1,(MQ)BDY(r1)->c,&c2); chsgnmp(mod,(P)c2,&c); |
| mulmdc(CO,mod,b1,c,&t); addmd(CO,mod,r1,t,&s); r1 = s; |
mulmdc(CO,mod,b1,c,&t); addmd(CO,mod,r1,t,&s); r1 = s; |
| mulmdc(CO,mod,b2,c,&t); addmd(CO,mod,r2,t,&s); r2 = s; |
mulmdc(CO,mod,b2,c,&t); addmd(CO,mod,r2,t,&s); r2 = s; |
| } |
} |
| } |
} |
| *r1p = r1; *r2p = r2; |
*r1p = r1; *r2p = r2; |
| } |
} |
| |
|
| void dp_nf_tab_mod(DP p,LIST *tab,int mod,DP *rp) |
void dp_nf_tab_mod(DP p,LIST *tab,int mod,DP *rp) |
| { |
{ |
| DP s,t,u; |
DP s,t,u; |
| MP m; |
MP m; |
| DL h; |
DL h; |
| int i,n; |
int i,n; |
| |
|
| if ( !p ) { |
if ( !p ) { |
| *rp = p; return; |
*rp = p; return; |
| } |
} |
| n = p->nv; |
n = p->nv; |
| for ( s = 0, i = 0, m = BDY(p); m; m = NEXT(m) ) { |
for ( s = 0, i = 0, m = BDY(p); m; m = NEXT(m) ) { |
| h = m->dl; |
h = m->dl; |
| while ( !dl_equal(n,h,BDY((DP)BDY(BDY(tab[i])))->dl ) ) |
while ( !dl_equal(n,h,BDY((DP)BDY(BDY(tab[i])))->dl ) ) |
| i++; |
i++; |
| mulmdc(CO,mod,(DP)BDY(NEXT(BDY(tab[i]))),m->c,&t); |
mulmdc(CO,mod,(DP)BDY(NEXT(BDY(tab[i]))),(P)m->c,&t); |
| addmd(CO,mod,s,t,&u); s = u; |
addmd(CO,mod,s,t,&u); s = u; |
| } |
} |
| *rp = s; |
*rp = s; |
| } |
} |
| |
|
| void dp_nf_tab_f(DP p,LIST *tab,DP *rp) |
void dp_nf_tab_f(DP p,LIST *tab,DP *rp) |
| { |
{ |
| DP s,t,u; |
DP s,t,u; |
| MP m; |
MP m; |
| DL h; |
DL h; |
| int i,n; |
int i,n; |
| |
|
| if ( !p ) { |
if ( !p ) { |
| *rp = p; return; |
*rp = p; return; |
| } |
} |
| n = p->nv; |
n = p->nv; |
| for ( s = 0, i = 0, m = BDY(p); m; m = NEXT(m) ) { |
for ( s = 0, i = 0, m = BDY(p); m; m = NEXT(m) ) { |
| h = m->dl; |
h = m->dl; |
| while ( !dl_equal(n,h,BDY((DP)BDY(BDY(tab[i])))->dl ) ) |
while ( !dl_equal(n,h,BDY((DP)BDY(BDY(tab[i])))->dl ) ) |
| i++; |
i++; |
| muldc(CO,(DP)BDY(NEXT(BDY(tab[i]))),m->c,&t); |
muldc(CO,(DP)BDY(NEXT(BDY(tab[i]))),m->c,&t); |
| addd(CO,s,t,&u); s = u; |
addd(CO,s,t,&u); s = u; |
| } |
} |
| *rp = s; |
*rp = s; |
| } |
} |
| |
|
| /* |
/* |
| Line 1351 void dp_nf_tab_f(DP p,LIST *tab,DP *rp) |
|
| Line 2051 void dp_nf_tab_f(DP p,LIST *tab,DP *rp) |
|
| |
|
| int create_order_spec(VL vl,Obj obj,struct order_spec **specp) |
int create_order_spec(VL vl,Obj obj,struct order_spec **specp) |
| { |
{ |
| int i,j,n,s,row,col,ret; |
int i,j,n,s,row,col,ret,wlen; |
| struct order_spec *spec; |
struct order_spec *spec; |
| struct order_pair *l; |
struct order_pair *l; |
| NODE node,t,tn; |
Obj wp,wm; |
| MAT m; |
NODE node,t,tn,wpair; |
| pointer **b; |
MAT m; |
| int **w; |
VECT v; |
| |
pointer **b,*bv; |
| |
int **w; |
| |
|
| if ( vl && obj && OID(obj) == O_LIST ) { |
if ( vl && obj && OID(obj) == O_LIST ) { |
| ret = create_composite_order_spec(vl,(LIST)obj,specp); |
ret = create_composite_order_spec(vl,(LIST)obj,specp); |
| if ( show_orderspec ) |
if ( show_orderspec ) |
| print_composite_order_spec(*specp); |
print_composite_order_spec(*specp); |
| return ret; |
return ret; |
| } |
} |
| |
|
| *specp = spec = (struct order_spec *)MALLOC(sizeof(struct order_spec)); |
*specp = spec = (struct order_spec *)MALLOC(sizeof(struct order_spec)); |
| if ( !obj || NUM(obj) ) { |
if ( !obj || NUM(obj) ) { |
| spec->id = 0; spec->obj = obj; |
spec->id = 0; spec->obj = obj; |
| spec->ord.simple = QTOS((Q)obj); |
spec->ord.simple = QTOS((Q)obj); |
| return 1; |
return 1; |
| } else if ( OID(obj) == O_LIST ) { |
} else if ( OID(obj) == O_LIST ) { |
| node = BDY((LIST)obj); |
/* module order; obj = [0|1,w,ord] or [0|1,ord] */ |
| for ( n = 0, t = node; t; t = NEXT(t), n++ ); |
node = BDY((LIST)obj); |
| l = (struct order_pair *)MALLOC_ATOMIC(n*sizeof(struct order_pair)); |
if ( !BDY(node) || NUM(BDY(node)) ) { |
| for ( i = 0, t = node, s = 0; i < n; t = NEXT(t), i++ ) { |
switch ( length(node) ) { |
| tn = BDY((LIST)BDY(t)); l[i].order = QTOS((Q)BDY(tn)); |
case 2: |
| tn = NEXT(tn); l[i].length = QTOS((Q)BDY(tn)); |
create_order_spec(0,(Obj)BDY(NEXT(node)),&spec); |
| s += l[i].length; |
spec->id += 256; spec->obj = obj; |
| } |
spec->top_weight = 0; |
| spec->id = 1; spec->obj = obj; |
spec->module_rank = 0; |
| spec->ord.block.order_pair = l; |
spec->module_top_weight = 0; |
| spec->ord.block.length = n; spec->nv = s; |
spec->ispot = (BDY(node)!=0); |
| return 1; |
if ( spec->ispot ) { |
| } else if ( OID(obj) == O_MAT ) { |
n = QTOS((Q)BDY(node)); |
| m = (MAT)obj; row = m->row; col = m->col; b = BDY(m); |
if ( n < 0 ) |
| w = almat(row,col); |
spec->pot_nelim = -n; |
| for ( i = 0; i < row; i++ ) |
else |
| for ( j = 0; j < col; j++ ) |
spec->pot_nelim = 0; |
| w[i][j] = QTOS((Q)b[i][j]); |
} |
| spec->id = 2; spec->obj = obj; |
break; |
| spec->nv = col; spec->ord.matrix.row = row; |
|
| spec->ord.matrix.matrix = w; |
case 3: |
| return 1; |
create_order_spec(0,(Obj)BDY(NEXT(NEXT(node))),&spec); |
| } else |
spec->id += 256; spec->obj = obj; |
| return 0; |
spec->ispot = (BDY(node)!=0); |
| |
node = NEXT(node); |
| |
if ( !BDY(node) || OID(BDY(node)) != O_LIST ) |
| |
error("create_order_spec : [weight_for_poly,weight_for_modlue] must be specified as a module topweight"); |
| |
wpair = BDY((LIST)BDY(node)); |
| |
if ( length(wpair) != 2 ) |
| |
error("create_order_spec : [weight_for_poly,weight_for_modlue] must be specified as a module topweight"); |
| |
|
| |
wp = BDY(wpair); |
| |
wm = BDY(NEXT(wpair)); |
| |
if ( !wp || OID(wp) != O_LIST || !wm || OID(wm) != O_LIST ) |
| |
error("create_order_spec : [weight_for_poly,weight_for_modlue] must be specified as a module topweight"); |
| |
spec->nv = length(BDY((LIST)wp)); |
| |
spec->top_weight = (int *)MALLOC_ATOMIC(spec->nv*sizeof(int)); |
| |
for ( i = 0, t = BDY((LIST)wp); i < spec->nv; t = NEXT(t), i++ ) |
| |
spec->top_weight[i] = QTOS((Q)BDY(t)); |
| |
|
| |
spec->module_rank = length(BDY((LIST)wm)); |
| |
spec->module_top_weight = (int *)MALLOC_ATOMIC(spec->module_rank*sizeof(int)); |
| |
for ( i = 0, t = BDY((LIST)wm); i < spec->module_rank; t = NEXT(t), i++ ) |
| |
spec->module_top_weight[i] = QTOS((Q)BDY(t)); |
| |
break; |
| |
default: |
| |
error("create_order_spec : invalid arguments for module order"); |
| |
} |
| |
|
| |
*specp = spec; |
| |
return 1; |
| |
} else { |
| |
/* block order in polynomial ring */ |
| |
for ( n = 0, t = node; t; t = NEXT(t), n++ ); |
| |
l = (struct order_pair *)MALLOC_ATOMIC(n*sizeof(struct order_pair)); |
| |
for ( i = 0, t = node, s = 0; i < n; t = NEXT(t), i++ ) { |
| |
tn = BDY((LIST)BDY(t)); l[i].order = QTOS((Q)BDY(tn)); |
| |
tn = NEXT(tn); l[i].length = QTOS((Q)BDY(tn)); |
| |
s += l[i].length; |
| |
} |
| |
spec->id = 1; spec->obj = obj; |
| |
spec->ord.block.order_pair = l; |
| |
spec->ord.block.length = n; spec->nv = s; |
| |
return 1; |
| |
} |
| |
} else if ( OID(obj) == O_MAT ) { |
| |
m = (MAT)obj; row = m->row; col = m->col; b = BDY(m); |
| |
w = almat(row,col); |
| |
for ( i = 0; i < row; i++ ) |
| |
for ( j = 0; j < col; j++ ) |
| |
w[i][j] = QTOS((Q)b[i][j]); |
| |
spec->id = 2; spec->obj = obj; |
| |
spec->nv = col; spec->ord.matrix.row = row; |
| |
spec->ord.matrix.matrix = w; |
| |
return 1; |
| |
} else |
| |
return 0; |
| } |
} |
| |
|
| void print_composite_order_spec(struct order_spec *spec) |
void print_composite_order_spec(struct order_spec *spec) |
| { |
{ |
| int nv,n,len,i,j,k,start; |
int nv,n,len,i,j,k,start; |
| struct weight_or_block *worb; |
struct weight_or_block *worb; |
| |
|
| nv = spec->nv; |
nv = spec->nv; |
| n = spec->ord.composite.length; |
n = spec->ord.composite.length; |
| worb = spec->ord.composite.w_or_b; |
worb = spec->ord.composite.w_or_b; |
| for ( i = 0; i < n; i++, worb++ ) { |
for ( i = 0; i < n; i++, worb++ ) { |
| len = worb->length; |
len = worb->length; |
| printf("[ "); |
printf("[ "); |
| switch ( worb->type ) { |
switch ( worb->type ) { |
| case IS_DENSE_WEIGHT: |
case IS_DENSE_WEIGHT: |
| for ( j = 0; j < len; j++ ) |
for ( j = 0; j < len; j++ ) |
| printf("%d ",worb->body.dense_weight[j]); |
printf("%d ",worb->body.dense_weight[j]); |
| for ( ; j < nv; j++ ) |
for ( ; j < nv; j++ ) |
| printf("0 "); |
printf("0 "); |
| break; |
break; |
| case IS_SPARSE_WEIGHT: |
case IS_SPARSE_WEIGHT: |
| for ( j = 0, k = 0; j < nv; j++ ) |
for ( j = 0, k = 0; j < nv; j++ ) |
| if ( j == worb->body.sparse_weight[k].pos ) |
if ( j == worb->body.sparse_weight[k].pos ) |
| printf("%d ",worb->body.sparse_weight[k++].value); |
printf("%d ",worb->body.sparse_weight[k++].value); |
| else |
else |
| printf("0 "); |
printf("0 "); |
| break; |
break; |
| case IS_BLOCK: |
case IS_BLOCK: |
| start = worb->body.block.start; |
start = worb->body.block.start; |
| for ( j = 0; j < start; j++ ) printf("0 "); |
for ( j = 0; j < start; j++ ) printf("0 "); |
| switch ( worb->body.block.order ) { |
switch ( worb->body.block.order ) { |
| case 0: |
case 0: |
| for ( k = 0; k < len; k++, j++ ) printf("R "); |
for ( k = 0; k < len; k++, j++ ) printf("R "); |
| break; |
break; |
| case 1: |
case 1: |
| for ( k = 0; k < len; k++, j++ ) printf("G "); |
for ( k = 0; k < len; k++, j++ ) printf("G "); |
| break; |
break; |
| case 2: |
case 2: |
| for ( k = 0; k < len; k++, j++ ) printf("L "); |
for ( k = 0; k < len; k++, j++ ) printf("L "); |
| break; |
break; |
| } |
} |
| for ( ; j < nv; j++ ) printf("0 "); |
for ( ; j < nv; j++ ) printf("0 "); |
| break; |
break; |
| } |
} |
| printf("]\n"); |
printf("]\n"); |
| } |
} |
| } |
} |
| |
|
| struct order_spec *append_block(struct order_spec *spec, |
struct order_spec *append_block(struct order_spec *spec, |
| int nv,int nalg,int ord) |
int nv,int nalg,int ord) |
| { |
{ |
| MAT m,mat; |
MAT m,mat; |
| int i,j,row,col,n; |
int i,j,row,col,n; |
| Q **b,**wp; |
Q **b,**wp; |
| int **w; |
int **w; |
| NODE t,s,s0; |
NODE t,s,s0; |
| struct order_pair *l,*l0; |
struct order_pair *l,*l0; |
| int n0,nv0; |
int n0,nv0; |
| LIST list0,list1,list; |
LIST list0,list1,list; |
| Q oq,nq; |
Q oq,nq; |
| struct order_spec *r; |
struct order_spec *r; |
| |
|
| r = (struct order_spec *)MALLOC(sizeof(struct order_spec)); |
r = (struct order_spec *)MALLOC(sizeof(struct order_spec)); |
| switch ( spec->id ) { |
switch ( spec->id ) { |
| case 0: |
case 0: |
| STOQ(spec->ord.simple,oq); STOQ(nv,nq); |
STOQ(spec->ord.simple,oq); STOQ(nv,nq); |
| t = mknode(2,oq,nq); MKLIST(list0,t); |
t = mknode(2,oq,nq); MKLIST(list0,t); |
| STOQ(ord,oq); STOQ(nalg,nq); |
STOQ(ord,oq); STOQ(nalg,nq); |
| t = mknode(2,oq,nq); MKLIST(list1,t); |
t = mknode(2,oq,nq); MKLIST(list1,t); |
| t = mknode(2,list0,list1); MKLIST(list,t); |
t = mknode(2,list0,list1); MKLIST(list,t); |
| l = (struct order_pair *)MALLOC_ATOMIC(2*sizeof(struct order_pair)); |
l = (struct order_pair *)MALLOC_ATOMIC(2*sizeof(struct order_pair)); |
| l[0].order = spec->ord.simple; l[0].length = nv; |
l[0].order = spec->ord.simple; l[0].length = nv; |
| l[1].order = ord; l[1].length = nalg; |
l[1].order = ord; l[1].length = nalg; |
| r->id = 1; r->obj = (Obj)list; |
r->id = 1; r->obj = (Obj)list; |
| r->ord.block.order_pair = l; |
r->ord.block.order_pair = l; |
| r->ord.block.length = 2; |
r->ord.block.length = 2; |
| r->nv = nv+nalg; |
r->nv = nv+nalg; |
| break; |
break; |
| case 1: |
case 1: |
| if ( spec->nv != nv ) |
if ( spec->nv != nv ) |
| error("append_block : number of variables mismatch"); |
error("append_block : number of variables mismatch"); |
| l0 = spec->ord.block.order_pair; |
l0 = spec->ord.block.order_pair; |
| n0 = spec->ord.block.length; |
n0 = spec->ord.block.length; |
| nv0 = spec->nv; |
nv0 = spec->nv; |
| list0 = (LIST)spec->obj; |
list0 = (LIST)spec->obj; |
| n = n0+1; |
n = n0+1; |
| l = (struct order_pair *)MALLOC_ATOMIC(n*sizeof(struct order_pair)); |
l = (struct order_pair *)MALLOC_ATOMIC(n*sizeof(struct order_pair)); |
| for ( i = 0; i < n0; i++ ) |
for ( i = 0; i < n0; i++ ) |
| l[i] = l0[i]; |
l[i] = l0[i]; |
| l[i].order = ord; l[i].length = nalg; |
l[i].order = ord; l[i].length = nalg; |
| for ( t = BDY(list0), s0 = 0; t; t = NEXT(t) ) { |
for ( t = BDY(list0), s0 = 0; t; t = NEXT(t) ) { |
| NEXTNODE(s0,s); BDY(s) = BDY(t); |
NEXTNODE(s0,s); BDY(s) = BDY(t); |
| } |
} |
| STOQ(ord,oq); STOQ(nalg,nq); |
STOQ(ord,oq); STOQ(nalg,nq); |
| t = mknode(2,oq,nq); MKLIST(list,t); |
t = mknode(2,oq,nq); MKLIST(list,t); |
| NEXTNODE(s0,s); BDY(s) = (pointer)list; NEXT(s) = 0; |
NEXTNODE(s0,s); BDY(s) = (pointer)list; NEXT(s) = 0; |
| MKLIST(list,s0); |
MKLIST(list,s0); |
| r->id = 1; r->obj = (Obj)list; |
r->id = 1; r->obj = (Obj)list; |
| r->ord.block.order_pair = l; |
r->ord.block.order_pair = l; |
| r->ord.block.length = n; |
r->ord.block.length = n; |
| r->nv = nv+nalg; |
r->nv = nv+nalg; |
| break; |
break; |
| case 2: |
case 2: |
| if ( spec->nv != nv ) |
if ( spec->nv != nv ) |
| error("append_block : number of variables mismatch"); |
error("append_block : number of variables mismatch"); |
| m = (MAT)spec->obj; |
m = (MAT)spec->obj; |
| row = m->row; col = m->col; b = (Q **)BDY(m); |
row = m->row; col = m->col; b = (Q **)BDY(m); |
| w = almat(row+nalg,col+nalg); |
w = almat(row+nalg,col+nalg); |
| MKMAT(mat,row+nalg,col+nalg); wp = (Q **)BDY(mat); |
MKMAT(mat,row+nalg,col+nalg); wp = (Q **)BDY(mat); |
| for ( i = 0; i < row; i++ ) |
for ( i = 0; i < row; i++ ) |
| for ( j = 0; j < col; j++ ) { |
for ( j = 0; j < col; j++ ) { |
| w[i][j] = QTOS(b[i][j]); |
w[i][j] = QTOS(b[i][j]); |
| wp[i][j] = b[i][j]; |
wp[i][j] = b[i][j]; |
| } |
} |
| for ( i = 0; i < nalg; i++ ) { |
for ( i = 0; i < nalg; i++ ) { |
| w[i+row][i+col] = 1; |
w[i+row][i+col] = 1; |
| wp[i+row][i+col] = ONE; |
wp[i+row][i+col] = ONE; |
| } |
} |
| r->id = 2; r->obj = (Obj)mat; |
r->id = 2; r->obj = (Obj)mat; |
| r->nv = col+nalg; r->ord.matrix.row = row+nalg; |
r->nv = col+nalg; r->ord.matrix.row = row+nalg; |
| r->ord.matrix.matrix = w; |
r->ord.matrix.matrix = w; |
| break; |
break; |
| case 3: |
case 3: |
| default: |
default: |
| /* XXX */ |
/* XXX */ |
| error("append_block : not implemented yet"); |
error("append_block : not implemented yet"); |
| } |
} |
| return r; |
return r; |
| } |
} |
| |
|
| int comp_sw(struct sparse_weight *a, struct sparse_weight *b) |
int comp_sw(struct sparse_weight *a, struct sparse_weight *b) |
| { |
{ |
| if ( a->pos > b->pos ) return 1; |
if ( a->pos > b->pos ) return 1; |
| else if ( a->pos < b->pos ) return -1; |
else if ( a->pos < b->pos ) return -1; |
| else return 0; |
else return 0; |
| } |
} |
| |
|
| /* order = [w_or_b, w_or_b, ... ] */ |
/* order = [w_or_b, w_or_b, ... ] */ |
| Line 1540 int comp_sw(struct sparse_weight *a, struct sparse_wei |
|
| Line 2295 int comp_sw(struct sparse_weight *a, struct sparse_wei |
|
| |
|
| int create_composite_order_spec(VL vl,LIST order,struct order_spec **specp) |
int create_composite_order_spec(VL vl,LIST order,struct order_spec **specp) |
| { |
{ |
| NODE wb,t,p; |
NODE wb,t,p; |
| struct order_spec *spec; |
struct order_spec *spec; |
| VL tvl; |
VL tvl; |
| int n,i,j,k,l,start,end,len,w; |
int n,i,j,k,l,start,end,len,w; |
| int *dw; |
int *dw; |
| struct sparse_weight *sw; |
struct sparse_weight *sw; |
| struct weight_or_block *w_or_b; |
struct weight_or_block *w_or_b; |
| Obj a0; |
Obj a0; |
| NODE a; |
NODE a; |
| V v,sv,ev; |
V v,sv,ev; |
| SYMBOL sym; |
SYMBOL sym; |
| int *top; |
int *top; |
| |
|
| /* l = number of vars in vl */ |
/* l = number of vars in vl */ |
| for ( l = 0, tvl = vl; tvl; tvl = NEXT(tvl), l++ ); |
for ( l = 0, tvl = vl; tvl; tvl = NEXT(tvl), l++ ); |
| /* n = number of primitives in order */ |
/* n = number of primitives in order */ |
| wb = BDY(order); |
wb = BDY(order); |
| n = length(wb); |
n = length(wb); |
| *specp = spec = (struct order_spec *)MALLOC(sizeof(struct order_spec)); |
*specp = spec = (struct order_spec *)MALLOC(sizeof(struct order_spec)); |
| spec->id = 3; |
spec->id = 3; |
| spec->obj = (Obj)order; |
spec->obj = (Obj)order; |
| spec->nv = l; |
spec->nv = l; |
| spec->ord.composite.length = n; |
spec->ord.composite.length = n; |
| w_or_b = spec->ord.composite.w_or_b = (struct weight_or_block *) |
w_or_b = spec->ord.composite.w_or_b = (struct weight_or_block *) |
| MALLOC(sizeof(struct weight_or_block)*(n+1)); |
MALLOC(sizeof(struct weight_or_block)*(n+1)); |
| |
|
| /* top : register the top variable in each w_or_b specification */ |
/* top : register the top variable in each w_or_b specification */ |
| top = (int *)ALLOCA(l*sizeof(int)); |
top = (int *)ALLOCA(l*sizeof(int)); |
| for ( i = 0; i < l; i++ ) top[i] = 0; |
for ( i = 0; i < l; i++ ) top[i] = 0; |
| |
|
| for ( t = wb, i = 0; t; t = NEXT(t), i++ ) { |
for ( t = wb, i = 0; t; t = NEXT(t), i++ ) { |
| if ( !BDY(t) || OID((Obj)BDY(t)) != O_LIST ) |
if ( !BDY(t) || OID((Obj)BDY(t)) != O_LIST ) |
| error("a list of lists must be specified for the key \"order\""); |
error("a list of lists must be specified for the key \"order\""); |
| a = BDY((LIST)BDY(t)); |
a = BDY((LIST)BDY(t)); |
| len = length(a); |
len = length(a); |
| a0 = (Obj)BDY(a); |
a0 = (Obj)BDY(a); |
| if ( !a0 || OID(a0) == O_N ) { |
if ( !a0 || OID(a0) == O_N ) { |
| /* a is a dense weight vector */ |
/* a is a dense weight vector */ |
| dw = (int *)MALLOC(sizeof(int)*len); |
dw = (int *)MALLOC(sizeof(int)*len); |
| for ( j = 0, p = a; j < len; p = NEXT(p), j++ ) { |
for ( j = 0, p = a; j < len; p = NEXT(p), j++ ) { |
| if ( !INT((Q)BDY(p)) ) |
if ( !INT((Q)BDY(p)) ) |
| error("a dense weight vector must be specified as a list of integers"); |
error("a dense weight vector must be specified as a list of integers"); |
| dw[j] = QTOS((Q)BDY(p)); |
dw[j] = QTOS((Q)BDY(p)); |
| } |
} |
| w_or_b[i].type = IS_DENSE_WEIGHT; |
w_or_b[i].type = IS_DENSE_WEIGHT; |
| w_or_b[i].length = len; |
w_or_b[i].length = len; |
| w_or_b[i].body.dense_weight = dw; |
w_or_b[i].body.dense_weight = dw; |
| |
|
| /* find the top */ |
/* find the top */ |
| for ( k = 0; k < len && !dw[k]; k++ ); |
for ( k = 0; k < len && !dw[k]; k++ ); |
| if ( k < len ) top[k] = 1; |
if ( k < len ) top[k] = 1; |
| |
|
| } else if ( OID(a0) == O_P ) { |
} else if ( OID(a0) == O_P ) { |
| /* a is a sparse weight vector */ |
/* a is a sparse weight vector */ |
| len >>= 1; |
len >>= 1; |
| sw = (struct sparse_weight *) |
sw = (struct sparse_weight *) |
| MALLOC(sizeof(struct sparse_weight)*len); |
MALLOC(sizeof(struct sparse_weight)*len); |
| for ( j = 0, p = a; j < len; j++ ) { |
for ( j = 0, p = a; j < len; j++ ) { |
| if ( !BDY(p) || OID((P)BDY(p)) != O_P ) |
if ( !BDY(p) || OID((P)BDY(p)) != O_P ) |
| error("a sparse weight vector must be specified as [var1,weight1,...]"); |
error("a sparse weight vector must be specified as [var1,weight1,...]"); |
| v = VR((P)BDY(p)); p = NEXT(p); |
v = VR((P)BDY(p)); p = NEXT(p); |
| for ( tvl = vl, k = 0; tvl && tvl->v != v; |
for ( tvl = vl, k = 0; tvl && tvl->v != v; |
| k++, tvl = NEXT(tvl) ); |
k++, tvl = NEXT(tvl) ); |
| if ( !tvl ) |
if ( !tvl ) |
| error("invalid variable name in a sparse weight vector"); |
error("invalid variable name in a sparse weight vector"); |
| sw[j].pos = k; |
sw[j].pos = k; |
| if ( !INT((Q)BDY(p)) ) |
if ( !INT((Q)BDY(p)) ) |
| error("a sparse weight vector must be specified as [var1,weight1,...]"); |
error("a sparse weight vector must be specified as [var1,weight1,...]"); |
| sw[j].value = QTOS((Q)BDY(p)); p = NEXT(p); |
sw[j].value = QTOS((Q)BDY(p)); p = NEXT(p); |
| } |
} |
| qsort(sw,len,sizeof(struct sparse_weight), |
qsort(sw,len,sizeof(struct sparse_weight), |
| (int (*)(const void *,const void *))comp_sw); |
(int (*)(const void *,const void *))comp_sw); |
| w_or_b[i].type = IS_SPARSE_WEIGHT; |
w_or_b[i].type = IS_SPARSE_WEIGHT; |
| w_or_b[i].length = len; |
w_or_b[i].length = len; |
| w_or_b[i].body.sparse_weight = sw; |
w_or_b[i].body.sparse_weight = sw; |
| |
|
| /* find the top */ |
/* find the top */ |
| for ( k = 0; k < len && !sw[k].value; k++ ); |
for ( k = 0; k < len && !sw[k].value; k++ ); |
| if ( k < len ) top[sw[k].pos] = 1; |
if ( k < len ) top[sw[k].pos] = 1; |
| } else if ( OID(a0) == O_RANGE ) { |
} else if ( OID(a0) == O_RANGE ) { |
| /* [range(v1,v2),w] */ |
/* [range(v1,v2),w] */ |
| sv = VR((P)(((RANGE)a0)->start)); |
sv = VR((P)(((RANGE)a0)->start)); |
| ev = VR((P)(((RANGE)a0)->end)); |
ev = VR((P)(((RANGE)a0)->end)); |
| for ( tvl = vl, start = 0; tvl && tvl->v != sv; start++, tvl = NEXT(tvl) ); |
for ( tvl = vl, start = 0; tvl && tvl->v != sv; start++, tvl = NEXT(tvl) ); |
| if ( !tvl ) |
if ( !tvl ) |
| error("invalid range"); |
error("invalid range"); |
| for ( end = start; tvl && tvl->v != ev; end++, tvl = NEXT(tvl) ); |
for ( end = start; tvl && tvl->v != ev; end++, tvl = NEXT(tvl) ); |
| if ( !tvl ) |
if ( !tvl ) |
| error("invalid range"); |
error("invalid range"); |
| len = end-start+1; |
len = end-start+1; |
| sw = (struct sparse_weight *) |
sw = (struct sparse_weight *) |
| MALLOC(sizeof(struct sparse_weight)*len); |
MALLOC(sizeof(struct sparse_weight)*len); |
| w = QTOS((Q)BDY(NEXT(a))); |
w = QTOS((Q)BDY(NEXT(a))); |
| for ( tvl = vl, k = 0; k < start; k++, tvl = NEXT(tvl) ); |
for ( tvl = vl, k = 0; k < start; k++, tvl = NEXT(tvl) ); |
| for ( j = 0 ; k <= end; k++, tvl = NEXT(tvl), j++ ) { |
for ( j = 0 ; k <= end; k++, tvl = NEXT(tvl), j++ ) { |
| sw[j].pos = k; |
sw[j].pos = k; |
| sw[j].value = w; |
sw[j].value = w; |
| } |
} |
| w_or_b[i].type = IS_SPARSE_WEIGHT; |
w_or_b[i].type = IS_SPARSE_WEIGHT; |
| w_or_b[i].length = len; |
w_or_b[i].length = len; |
| w_or_b[i].body.sparse_weight = sw; |
w_or_b[i].body.sparse_weight = sw; |
| |
|
| /* register the top */ |
/* register the top */ |
| if ( w ) top[start] = 1; |
if ( w ) top[start] = 1; |
| } else if ( OID(a0) == O_SYMBOL ) { |
} else if ( OID(a0) == O_SYMBOL ) { |
| /* a is a block */ |
/* a is a block */ |
| sym = (SYMBOL)a0; a = NEXT(a); len--; |
sym = (SYMBOL)a0; a = NEXT(a); len--; |
| if ( OID((Obj)BDY(a)) == O_RANGE ) { |
if ( OID((Obj)BDY(a)) == O_RANGE ) { |
| sv = VR((P)(((RANGE)BDY(a))->start)); |
sv = VR((P)(((RANGE)BDY(a))->start)); |
| ev = VR((P)(((RANGE)BDY(a))->end)); |
ev = VR((P)(((RANGE)BDY(a))->end)); |
| for ( tvl = vl, start = 0; tvl && tvl->v != sv; start++, tvl = NEXT(tvl) ); |
for ( tvl = vl, start = 0; tvl && tvl->v != sv; start++, tvl = NEXT(tvl) ); |
| if ( !tvl ) |
if ( !tvl ) |
| error("invalid range"); |
error("invalid range"); |
| for ( end = start; tvl && tvl->v != ev; end++, tvl = NEXT(tvl) ); |
for ( end = start; tvl && tvl->v != ev; end++, tvl = NEXT(tvl) ); |
| if ( !tvl ) |
if ( !tvl ) |
| error("invalid range"); |
error("invalid range"); |
| len = end-start+1; |
len = end-start+1; |
| } else { |
} else { |
| for ( start = 0, tvl = vl; tvl->v != VR((P)BDY(a)); |
for ( start = 0, tvl = vl; tvl->v != VR((P)BDY(a)); |
| tvl = NEXT(tvl), start++ ); |
tvl = NEXT(tvl), start++ ); |
| for ( p = NEXT(a), tvl = NEXT(tvl); p; |
for ( p = NEXT(a), tvl = NEXT(tvl); p; |
| p = NEXT(p), tvl = NEXT(tvl) ) { |
p = NEXT(p), tvl = NEXT(tvl) ) { |
| if ( !BDY(p) || OID((P)BDY(p)) != O_P ) |
if ( !BDY(p) || OID((P)BDY(p)) != O_P ) |
| error("a block must be specified as [ordsymbol,var1,var2,...]"); |
error("a block must be specified as [ordsymbol,var1,var2,...]"); |
| if ( tvl->v != VR((P)BDY(p)) ) break; |
if ( tvl->v != VR((P)BDY(p)) ) break; |
| } |
} |
| if ( p ) |
if ( p ) |
| error("a block must be contiguous in the variable list"); |
error("a block must be contiguous in the variable list"); |
| } |
} |
| w_or_b[i].type = IS_BLOCK; |
w_or_b[i].type = IS_BLOCK; |
| w_or_b[i].length = len; |
w_or_b[i].length = len; |
| w_or_b[i].body.block.start = start; |
w_or_b[i].body.block.start = start; |
| if ( !strcmp(sym->name,"@grlex") ) |
if ( !strcmp(sym->name,"@grlex") ) |
| w_or_b[i].body.block.order = 0; |
w_or_b[i].body.block.order = 0; |
| else if ( !strcmp(sym->name,"@glex") ) |
else if ( !strcmp(sym->name,"@glex") ) |
| w_or_b[i].body.block.order = 1; |
w_or_b[i].body.block.order = 1; |
| else if ( !strcmp(sym->name,"@lex") ) |
else if ( !strcmp(sym->name,"@lex") ) |
| w_or_b[i].body.block.order = 2; |
w_or_b[i].body.block.order = 2; |
| else |
else |
| error("invalid ordername"); |
error("invalid ordername"); |
| /* register the tops */ |
/* register the tops */ |
| for ( j = 0, k = start; j < len; j++, k++ ) |
for ( j = 0, k = start; j < len; j++, k++ ) |
| top[k] = 1; |
top[k] = 1; |
| } |
} |
| } |
} |
| for ( k = 0; k < l && top[k]; k++ ); |
for ( k = 0; k < l && top[k]; k++ ); |
| if ( k < l ) { |
if ( k < l ) { |
| /* incomplete order specification; add @grlex */ |
/* incomplete order specification; add @grlex */ |
| w_or_b[n].type = IS_BLOCK; |
w_or_b[n].type = IS_BLOCK; |
| w_or_b[n].length = l; |
w_or_b[n].length = l; |
| w_or_b[n].body.block.start = 0; |
w_or_b[n].body.block.start = 0; |
| w_or_b[n].body.block.order = 0; |
w_or_b[n].body.block.order = 0; |
| spec->ord.composite.length = n+1; |
spec->ord.composite.length = n+1; |
| } |
} |
| } |
} |
| |
|
| /* module order spec */ |
/* module order spec */ |
| |
|
| void create_modorder_spec(int id,LIST shift,struct modorder_spec **s) |
void create_modorder_spec(int id,LIST shift,struct modorder_spec **s) |
| { |
{ |
| struct modorder_spec *spec; |
struct modorder_spec *spec; |
| NODE n,t; |
NODE n,t; |
| LIST list; |
LIST list; |
| int *ds; |
int *ds; |
| int i,l; |
int i,l; |
| Q q; |
Q q; |
| |
|
| *s = spec = (struct modorder_spec *)MALLOC(sizeof(struct modorder_spec)); |
*s = spec = (struct modorder_spec *)MALLOC(sizeof(struct modorder_spec)); |
| spec->id = id; |
spec->id = id; |
| if ( shift ) { |
if ( shift ) { |
| n = BDY(shift); |
n = BDY(shift); |
| spec->len = l = length(n); |
spec->len = l = length(n); |
| spec->degree_shift = ds = (int *)MALLOC_ATOMIC(l*sizeof(int)); |
spec->degree_shift = ds = (int *)MALLOC_ATOMIC(l*sizeof(int)); |
| for ( t = n, i = 0; t; t = NEXT(t), i++ ) |
for ( t = n, i = 0; t; t = NEXT(t), i++ ) |
| ds[i] = QTOS((Q)BDY(t)); |
ds[i] = QTOS((Q)BDY(t)); |
| } else { |
} else { |
| spec->len = 0; |
spec->len = 0; |
| spec->degree_shift = 0; |
spec->degree_shift = 0; |
| } |
} |
| STOQ(id,q); |
STOQ(id,q); |
| n = mknode(2,q,shift); |
n = mknode(2,q,shift); |
| MKLIST(list,n); |
MKLIST(list,n); |
| spec->obj = (Obj)list; |
spec->obj = (Obj)list; |
| } |
} |
| |
|
| /* |
/* |
| Line 1732 void create_modorder_spec(int id,LIST shift,struct mod |
|
| Line 2487 void create_modorder_spec(int id,LIST shift,struct mod |
|
| |
|
| void dp_homo(DP p,DP *rp) |
void dp_homo(DP p,DP *rp) |
| { |
{ |
| MP m,mr,mr0; |
MP m,mr,mr0; |
| int i,n,nv,td; |
int i,n,nv,td; |
| DL dl,dlh; |
DL dl,dlh; |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else { |
else { |
| n = p->nv; nv = n + 1; |
n = p->nv; nv = n + 1; |
| m = BDY(p); td = sugard(m); |
m = BDY(p); td = sugard(m); |
| for ( mr0 = 0; m; m = NEXT(m) ) { |
for ( mr0 = 0; m; m = NEXT(m) ) { |
| NEXTMP(mr0,mr); mr->c = m->c; |
NEXTMP(mr0,mr); mr->c = m->c; |
| dl = m->dl; |
dl = m->dl; |
| mr->dl = dlh = (DL)MALLOC_ATOMIC((nv+1)*sizeof(int)); |
mr->dl = dlh = (DL)MALLOC_ATOMIC((nv+1)*sizeof(int)); |
| dlh->td = td; |
dlh->td = td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| dlh->d[i] = dl->d[i]; |
dlh->d[i] = dl->d[i]; |
| dlh->d[n] = td - dl->td; |
dlh->d[n] = td - dl->td; |
| } |
} |
| NEXT(mr) = 0; MKDP(nv,mr0,*rp); (*rp)->sugar = p->sugar; |
NEXT(mr) = 0; MKDP(nv,mr0,*rp); (*rp)->sugar = p->sugar; |
| } |
} |
| } |
} |
| |
|
| void dp_dehomo(DP p,DP *rp) |
void dp_dehomo(DP p,DP *rp) |
| { |
{ |
| MP m,mr,mr0; |
MP m,mr,mr0; |
| int i,n,nv; |
int i,n,nv; |
| DL dl,dlh; |
DL dl,dlh; |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else { |
else { |
| n = p->nv; nv = n - 1; |
n = p->nv; nv = n - 1; |
| m = BDY(p); |
m = BDY(p); |
| for ( mr0 = 0; m; m = NEXT(m) ) { |
for ( mr0 = 0; m; m = NEXT(m) ) { |
| NEXTMP(mr0,mr); mr->c = m->c; |
NEXTMP(mr0,mr); mr->c = m->c; |
| dlh = m->dl; |
dlh = m->dl; |
| mr->dl = dl = (DL)MALLOC_ATOMIC((nv+1)*sizeof(int)); |
mr->dl = dl = (DL)MALLOC_ATOMIC((nv+1)*sizeof(int)); |
| dl->td = dlh->td - dlh->d[nv]; |
dl->td = dlh->td - dlh->d[nv]; |
| for ( i = 0; i < nv; i++ ) |
for ( i = 0; i < nv; i++ ) |
| dl->d[i] = dlh->d[i]; |
dl->d[i] = dlh->d[i]; |
| } |
} |
| NEXT(mr) = 0; MKDP(nv,mr0,*rp); (*rp)->sugar = p->sugar; |
NEXT(mr) = 0; MKDP(nv,mr0,*rp); (*rp)->sugar = p->sugar; |
| } |
} |
| } |
} |
| |
|
| void dp_mod(DP p,int mod,NODE subst,DP *rp) |
void dp_mod(DP p,int mod,NODE subst,DP *rp) |
| { |
{ |
| MP m,mr,mr0; |
MP m,mr,mr0; |
| P t,s,s1; |
P t,s,s1; |
| V v; |
V v; |
| NODE tn; |
NODE tn; |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else { |
else { |
| for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
| for ( tn = subst, s = m->c; tn; tn = NEXT(tn) ) { |
for ( tn = subst, s = (P)m->c; tn; tn = NEXT(tn) ) { |
| v = VR((P)BDY(tn)); tn = NEXT(tn); |
v = VR((P)BDY(tn)); tn = NEXT(tn); |
| substp(CO,s,v,(P)BDY(tn),&s1); s = s1; |
substp(CO,s,v,(P)BDY(tn),&s1); s = s1; |
| } |
} |
| ptomp(mod,s,&t); |
ptomp(mod,s,&t); |
| if ( t ) { |
if ( t ) { |
| NEXTMP(mr0,mr); mr->c = t; mr->dl = m->dl; |
NEXTMP(mr0,mr); mr->c = (Obj)t; mr->dl = m->dl; |
| } |
} |
| } |
} |
| if ( mr0 ) { |
if ( mr0 ) { |
| NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
| } else |
} else |
| *rp = 0; |
*rp = 0; |
| } |
} |
| } |
} |
| |
|
| void dp_rat(DP p,DP *rp) |
void dp_rat(DP p,DP *rp) |
| { |
{ |
| MP m,mr,mr0; |
MP m,mr,mr0; |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else { |
else { |
| for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) { |
| NEXTMP(mr0,mr); mptop(m->c,&mr->c); mr->dl = m->dl; |
NEXTMP(mr0,mr); mptop((P)m->c,(P *)&mr->c); mr->dl = m->dl; |
| } |
} |
| if ( mr0 ) { |
if ( mr0 ) { |
| NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar; |
| } else |
} else |
| *rp = 0; |
*rp = 0; |
| } |
} |
| } |
} |
| |
|
| |
|
| void homogenize_order(struct order_spec *old,int n,struct order_spec **newp) |
void homogenize_order(struct order_spec *old,int n,struct order_spec **newp) |
| { |
{ |
| struct order_pair *l; |
struct order_pair *l; |
| int length,nv,row,i,j; |
int length,nv,row,i,j; |
| int **newm,**oldm; |
int **newm,**oldm; |
| struct order_spec *new; |
struct order_spec *new; |
| int onv,nnv,nlen,olen,owlen; |
int onv,nnv,nlen,olen,owlen; |
| struct weight_or_block *owb,*nwb; |
struct weight_or_block *owb,*nwb; |
| |
|
| *newp = new = (struct order_spec *)MALLOC(sizeof(struct order_spec)); |
*newp = new = (struct order_spec *)MALLOC(sizeof(struct order_spec)); |
| switch ( old->id ) { |
switch ( old->id ) { |
| case 0: |
case 0: |
| switch ( old->ord.simple ) { |
switch ( old->ord.simple ) { |
| case 0: |
case 0: |
| new->id = 0; new->ord.simple = 0; break; |
new->id = 0; new->ord.simple = 0; break; |
| case 1: |
case 1: |
| l = (struct order_pair *) |
l = (struct order_pair *) |
| MALLOC_ATOMIC(2*sizeof(struct order_pair)); |
MALLOC_ATOMIC(2*sizeof(struct order_pair)); |
| l[0].length = n; l[0].order = 1; |
l[0].length = n; l[0].order = 1; |
| l[1].length = 1; l[1].order = 2; |
l[1].length = 1; l[1].order = 2; |
| new->id = 1; |
new->id = 1; |
| new->ord.block.order_pair = l; |
new->ord.block.order_pair = l; |
| new->ord.block.length = 2; new->nv = n+1; |
new->ord.block.length = 2; new->nv = n+1; |
| break; |
break; |
| case 2: |
case 2: |
| new->id = 0; new->ord.simple = 1; break; |
new->id = 0; new->ord.simple = 1; break; |
| case 3: case 4: case 5: |
case 3: case 4: case 5: |
| new->id = 0; new->ord.simple = old->ord.simple+3; |
new->id = 0; new->ord.simple = old->ord.simple+3; |
| dp_nelim = n-1; break; |
dp_nelim = n-1; break; |
| case 6: case 7: case 8: case 9: |
case 6: case 7: case 8: case 9: |
| new->id = 0; new->ord.simple = old->ord.simple; break; |
new->id = 0; new->ord.simple = old->ord.simple; break; |
| default: |
default: |
| error("homogenize_order : invalid input"); |
error("homogenize_order : invalid input"); |
| } |
} |
| break; |
break; |
| case 1: |
case 1: case 257: |
| length = old->ord.block.length; |
length = old->ord.block.length; |
| l = (struct order_pair *) |
l = (struct order_pair *) |
| MALLOC_ATOMIC((length+1)*sizeof(struct order_pair)); |
MALLOC_ATOMIC((length+1)*sizeof(struct order_pair)); |
| bcopy((char *)old->ord.block.order_pair,(char *)l,length*sizeof(struct order_pair)); |
bcopy((char *)old->ord.block.order_pair,(char *)l,length*sizeof(struct order_pair)); |
| l[length].order = 2; l[length].length = 1; |
l[length].order = 2; l[length].length = 1; |
| new->id = 1; new->nv = n+1; |
new->id = old->id; new->nv = n+1; |
| new->ord.block.order_pair = l; |
new->ord.block.order_pair = l; |
| new->ord.block.length = length+1; |
new->ord.block.length = length+1; |
| break; |
new->ispot = old->ispot; |
| case 2: |
break; |
| nv = old->nv; row = old->ord.matrix.row; |
case 2: case 258: |
| oldm = old->ord.matrix.matrix; newm = almat(row+1,nv+1); |
nv = old->nv; row = old->ord.matrix.row; |
| for ( i = 0; i <= nv; i++ ) |
oldm = old->ord.matrix.matrix; newm = almat(row+1,nv+1); |
| newm[0][i] = 1; |
for ( i = 0; i <= nv; i++ ) |
| for ( i = 0; i < row; i++ ) { |
newm[0][i] = 1; |
| for ( j = 0; j < nv; j++ ) |
for ( i = 0; i < row; i++ ) { |
| newm[i+1][j] = oldm[i][j]; |
for ( j = 0; j < nv; j++ ) |
| newm[i+1][j] = 0; |
newm[i+1][j] = oldm[i][j]; |
| } |
newm[i+1][j] = 0; |
| new->id = 2; new->nv = nv+1; |
} |
| new->ord.matrix.row = row+1; new->ord.matrix.matrix = newm; |
new->id = old->id; new->nv = nv+1; |
| break; |
new->ord.matrix.row = row+1; new->ord.matrix.matrix = newm; |
| case 3: |
new->ispot = old->ispot; |
| onv = old->nv; |
break; |
| nnv = onv+1; |
case 3: case 259: |
| olen = old->ord.composite.length; |
onv = old->nv; |
| nlen = olen+1; |
nnv = onv+1; |
| owb = old->ord.composite.w_or_b; |
olen = old->ord.composite.length; |
| nwb = (struct weight_or_block *) |
nlen = olen+1; |
| MALLOC(nlen*sizeof(struct weight_or_block)); |
owb = old->ord.composite.w_or_b; |
| for ( i = 0; i < olen; i++ ) { |
nwb = (struct weight_or_block *) |
| nwb[i].type = owb[i].type; |
MALLOC(nlen*sizeof(struct weight_or_block)); |
| switch ( owb[i].type ) { |
for ( i = 0; i < olen; i++ ) { |
| case IS_DENSE_WEIGHT: |
nwb[i].type = owb[i].type; |
| owlen = owb[i].length; |
switch ( owb[i].type ) { |
| nwb[i].length = owlen+1; |
case IS_DENSE_WEIGHT: |
| nwb[i].body.dense_weight = (int *)MALLOC((owlen+1)*sizeof(int)); |
owlen = owb[i].length; |
| for ( j = 0; j < owlen; j++ ) |
nwb[i].length = owlen+1; |
| nwb[i].body.dense_weight[j] = owb[i].body.dense_weight[j]; |
nwb[i].body.dense_weight = (int *)MALLOC((owlen+1)*sizeof(int)); |
| nwb[i].body.dense_weight[owlen] = 0; |
for ( j = 0; j < owlen; j++ ) |
| break; |
nwb[i].body.dense_weight[j] = owb[i].body.dense_weight[j]; |
| case IS_SPARSE_WEIGHT: |
nwb[i].body.dense_weight[owlen] = 0; |
| nwb[i].length = owb[i].length; |
break; |
| nwb[i].body.sparse_weight = owb[i].body.sparse_weight; |
case IS_SPARSE_WEIGHT: |
| break; |
nwb[i].length = owb[i].length; |
| case IS_BLOCK: |
nwb[i].body.sparse_weight = owb[i].body.sparse_weight; |
| nwb[i].length = owb[i].length; |
break; |
| nwb[i].body.block = owb[i].body.block; |
case IS_BLOCK: |
| break; |
nwb[i].length = owb[i].length; |
| } |
nwb[i].body.block = owb[i].body.block; |
| } |
break; |
| nwb[i].type = IS_SPARSE_WEIGHT; |
} |
| nwb[i].body.sparse_weight = |
} |
| (struct sparse_weight *)MALLOC(sizeof(struct sparse_weight)); |
nwb[i].type = IS_SPARSE_WEIGHT; |
| nwb[i].body.sparse_weight[0].pos = onv; |
nwb[i].body.sparse_weight = |
| nwb[i].body.sparse_weight[0].value = 1; |
(struct sparse_weight *)MALLOC(sizeof(struct sparse_weight)); |
| new->id = 3; |
nwb[i].body.sparse_weight[0].pos = onv; |
| new->nv = nnv; |
nwb[i].body.sparse_weight[0].value = 1; |
| new->ord.composite.length = nlen; |
new->id = old->id; |
| new->ord.composite.w_or_b = nwb; |
new->nv = nnv; |
| print_composite_order_spec(new); |
new->ord.composite.length = nlen; |
| break; |
new->ord.composite.w_or_b = nwb; |
| default: |
new->ispot = old->ispot; |
| error("homogenize_order : invalid input"); |
print_composite_order_spec(new); |
| } |
break; |
| |
case 256: /* simple module order */ |
| |
switch ( old->ord.simple ) { |
| |
case 0: |
| |
new->id = 256; new->ord.simple = 0; break; |
| |
case 1: |
| |
l = (struct order_pair *) |
| |
MALLOC_ATOMIC(2*sizeof(struct order_pair)); |
| |
l[0].length = n; l[0].order = old->ord.simple; |
| |
l[1].length = 1; l[1].order = 2; |
| |
new->id = 257; |
| |
new->ord.block.order_pair = l; |
| |
new->ord.block.length = 2; new->nv = n+1; |
| |
break; |
| |
case 2: |
| |
new->id = 256; new->ord.simple = 1; break; |
| |
default: |
| |
error("homogenize_order : invalid input"); |
| |
} |
| |
new->ispot = old->ispot; |
| |
break; |
| |
default: |
| |
error("homogenize_order : invalid input"); |
| |
} |
| } |
} |
| |
|
| void qltozl(Q *w,int n,Q *dvr) |
void qltozl(Q *w,int n,Q *dvr) |
| { |
{ |
| N nm,dn; |
N nm,dn; |
| N g,l1,l2,l3; |
N g,l1,l2,l3; |
| Q c,d; |
Q c,d; |
| int i; |
int i; |
| struct oVECT v; |
struct oVECT v; |
| |
|
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| if ( w[i] && !INT(w[i]) ) |
if ( w[i] && !INT(w[i]) ) |
| break; |
break; |
| if ( i == n ) { |
if ( i == n ) { |
| v.id = O_VECT; v.len = n; v.body = (pointer *)w; |
v.id = O_VECT; v.len = n; v.body = (pointer *)w; |
| igcdv(&v,dvr); return; |
igcdv(&v,dvr); return; |
| } |
} |
| c = w[0]; nm = NM(c); dn = INT(c) ? ONEN : DN(c); |
for ( i = 0; !w[i]; i++ ); |
| for ( i = 1; i < n; i++ ) { |
c = w[i]; nm = NM(c); dn = INT(c) ? ONEN : DN(c); |
| c = w[i]; l1 = INT(c) ? ONEN : DN(c); |
for ( i++; i < n; i++ ) { |
| gcdn(nm,NM(c),&g); nm = g; |
c = w[i]; |
| gcdn(dn,l1,&l2); muln(dn,l1,&l3); divsn(l3,l2,&dn); |
if ( !c ) continue; |
| } |
l1 = INT(c) ? ONEN : DN(c); |
| if ( UNIN(dn) ) |
gcdn(nm,NM(c),&g); nm = g; |
| NTOQ(nm,1,d); |
gcdn(dn,l1,&l2); muln(dn,l1,&l3); divsn(l3,l2,&dn); |
| else |
} |
| NDTOQ(nm,dn,1,d); |
if ( UNIN(dn) ) |
| *dvr = d; |
NTOQ(nm,1,d); |
| |
else |
| |
NDTOQ(nm,dn,1,d); |
| |
*dvr = d; |
| } |
} |
| |
|
| int comp_nm(Q *a,Q *b) |
int comp_nm(Q *a,Q *b) |
| { |
{ |
| return cmpn((*a)?NM(*a):0,(*b)?NM(*b):0); |
return cmpn((*a)?NM(*a):0,(*b)?NM(*b):0); |
| } |
} |
| |
|
| void sortbynm(Q *w,int n) |
void sortbynm(Q *w,int n) |
| { |
{ |
| qsort(w,n,sizeof(Q),(int (*)(const void *,const void *))comp_nm); |
qsort(w,n,sizeof(Q),(int (*)(const void *,const void *))comp_nm); |
| } |
} |
| |
|
| |
|
| Line 1971 void sortbynm(Q *w,int n) |
|
| Line 2752 void sortbynm(Q *w,int n) |
|
| |
|
| int dp_redble(DP p1,DP p2) |
int dp_redble(DP p1,DP p2) |
| { |
{ |
| int i,n; |
int i,n; |
| DL d1,d2; |
DL d1,d2; |
| |
|
| d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| if ( d1->td < d2->td ) |
if ( d1->td < d2->td ) |
| return 0; |
return 0; |
| else { |
else { |
| for ( i = 0, n = p1->nv; i < n; i++ ) |
for ( i = 0, n = p1->nv; i < n; i++ ) |
| if ( d1->d[i] < d2->d[i] ) |
if ( d1->d[i] < d2->d[i] ) |
| return 0; |
return 0; |
| return 1; |
return 1; |
| } |
} |
| } |
} |
| |
|
| |
int dpm_redble(DPM p1,DPM p2) |
| |
{ |
| |
int i,n; |
| |
DL d1,d2; |
| |
|
| |
if ( BDY(p1)->pos != BDY(p2)->pos ) return 0; |
| |
d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| |
if ( d1->td < d2->td ) |
| |
return 0; |
| |
else { |
| |
for ( i = 0, n = p1->nv; i < n; i++ ) |
| |
if ( d1->d[i] < d2->d[i] ) |
| |
return 0; |
| |
return 1; |
| |
} |
| |
} |
| |
|
| |
|
| void dp_subd(DP p1,DP p2,DP *rp) |
void dp_subd(DP p1,DP p2,DP *rp) |
| { |
{ |
| int i,n; |
int i,n; |
| DL d1,d2,d; |
DL d1,d2,d; |
| MP m; |
MP m; |
| DP s; |
DP s; |
| |
|
| n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; |
| NEWDL(d,n); d->td = d1->td - d2->td; |
NEWDL(d,n); d->td = d1->td - d2->td; |
| for ( i = 0; i < n; i++ ) |
for ( i = 0; i < n; i++ ) |
| d->d[i] = d1->d[i]-d2->d[i]; |
d->d[i] = d1->d[i]-d2->d[i]; |
| NEWMP(m); m->dl = d; m->c = (P)ONE; NEXT(m) = 0; |
NEWMP(m); m->dl = d; m->c = (Obj)ONE; NEXT(m) = 0; |
| MKDP(n,m,s); s->sugar = d->td; |
MKDP(n,m,s); s->sugar = d->td; |
| *rp = s; |
*rp = s; |
| } |
} |
| |
|
| void dltod(DL d,int n,DP *rp) |
void dltod(DL d,int n,DP *rp) |
| { |
{ |
| MP m; |
MP m; |
| DP s; |
DP s; |
| |
|
| NEWMP(m); m->dl = d; m->c = (P)ONE; NEXT(m) = 0; |
NEWMP(m); m->dl = d; m->c = (Obj)ONE; NEXT(m) = 0; |
| MKDP(n,m,s); s->sugar = d->td; |
MKDP(n,m,s); s->sugar = d->td; |
| *rp = s; |
*rp = s; |
| } |
} |
| |
|
| void dp_hm(DP p,DP *rp) |
void dp_hm(DP p,DP *rp) |
| { |
{ |
| MP m,mr; |
MP m,mr; |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else { |
else { |
| m = BDY(p); |
m = BDY(p); |
| NEWMP(mr); mr->dl = m->dl; mr->c = m->c; NEXT(mr) = 0; |
NEWMP(mr); mr->dl = m->dl; mr->c = m->c; NEXT(mr) = 0; |
| MKDP(p->nv,mr,*rp); (*rp)->sugar = mr->dl->td; /* XXX */ |
MKDP(p->nv,mr,*rp); (*rp)->sugar = mr->dl->td; /* XXX */ |
| } |
} |
| } |
} |
| |
|
| void dp_ht(DP p,DP *rp) |
void dp_ht(DP p,DP *rp) |
| { |
{ |
| MP m,mr; |
MP m,mr; |
| |
|
| if ( !p ) |
if ( !p ) |
| *rp = 0; |
*rp = 0; |
| else { |
else { |
| m = BDY(p); |
m = BDY(p); |
| NEWMP(mr); mr->dl = m->dl; mr->c = (P)ONE; NEXT(mr) = 0; |
NEWMP(mr); mr->dl = m->dl; mr->c = (Obj)ONE; NEXT(mr) = 0; |
| MKDP(p->nv,mr,*rp); (*rp)->sugar = mr->dl->td; /* XXX */ |
MKDP(p->nv,mr,*rp); (*rp)->sugar = mr->dl->td; /* XXX */ |
| } |
} |
| } |
} |
| |
|
| |
void dpm_hm(DPM p,DPM *rp) |
| |
{ |
| |
DMM m,mr; |
| |
|
| |
if ( !p ) |
| |
*rp = 0; |
| |
else { |
| |
m = BDY(p); |
| |
NEWDMM(mr); mr->dl = m->dl; mr->c = m->c; mr->pos = m->pos; NEXT(mr) = 0; |
| |
MKDPM(p->nv,mr,*rp); (*rp)->sugar = mr->dl->td; /* XXX */ |
| |
} |
| |
} |
| |
|
| |
void dpm_ht(DPM p,DPM *rp) |
| |
{ |
| |
DMM m,mr; |
| |
|
| |
if ( !p ) |
| |
*rp = 0; |
| |
else { |
| |
m = BDY(p); |
| |
NEWDMM(mr); mr->dl = m->dl; mr->pos = m->pos; mr->c = (Obj)ONE; NEXT(mr) = 0; |
| |
MKDPM(p->nv,mr,*rp); (*rp)->sugar = mr->dl->td; /* XXX */ |
| |
} |
| |
} |
| |
|
| |
|
| void dp_rest(DP p,DP *rp) |
void dp_rest(DP p,DP *rp) |
| { |
{ |
| MP m; |
MP m; |
| |
|
| m = BDY(p); |
m = BDY(p); |
| if ( !NEXT(m) ) |
if ( !NEXT(m) ) |
| *rp = 0; |
*rp = 0; |
| else { |
else { |
| MKDP(p->nv,NEXT(m),*rp); |
MKDP(p->nv,NEXT(m),*rp); |
| if ( *rp ) |
if ( *rp ) |
| (*rp)->sugar = p->sugar; |
(*rp)->sugar = p->sugar; |
| } |
} |
| } |
} |
| |
|
| |
void dpm_rest(DPM p,DPM *rp) |
| |
{ |
| |
DMM m; |
| |
|
| |
m = BDY(p); |
| |
if ( !NEXT(m) ) |
| |
*rp = 0; |
| |
else { |
| |
MKDPM(p->nv,NEXT(m),*rp); |
| |
if ( *rp ) |
| |
(*rp)->sugar = p->sugar; |
| |
} |
| |
} |
| |
|
| DL lcm_of_DL(int nv,DL dl1,DL dl2,DL dl) |
DL lcm_of_DL(int nv,DL dl1,DL dl2,DL dl) |
| { |
{ |
| register int i, *d1, *d2, *d, td; |
register int i, *d1, *d2, *d, td; |
| |
|
| if ( !dl ) NEWDL(dl,nv); |
if ( !dl ) NEWDL(dl,nv); |
| d = dl->d, d1 = dl1->d, d2 = dl2->d; |
d = dl->d, d1 = dl1->d, d2 = dl2->d; |
| for ( td = 0, i = 0; i < nv; d1++, d2++, d++, i++ ) { |
for ( td = 0, i = 0; i < nv; d1++, d2++, d++, i++ ) { |
| *d = *d1 > *d2 ? *d1 : *d2; |
*d = *d1 > *d2 ? *d1 : *d2; |
| td += MUL_WEIGHT(*d,i); |
td += MUL_WEIGHT(*d,i); |
| } |
} |
| dl->td = td; |
dl->td = td; |
| return dl; |
return dl; |
| } |
} |
| |
|
| int dl_equal(int nv,DL dl1,DL dl2) |
int dl_equal(int nv,DL dl1,DL dl2) |
| Line 2077 int dl_equal(int nv,DL dl1,DL dl2) |
|
| Line 2917 int dl_equal(int nv,DL dl1,DL dl2) |
|
| |
|
| int dp_nt(DP p) |
int dp_nt(DP p) |
| { |
{ |
| int i; |
int i; |
| MP m; |
MP m; |
| |
|
| if ( !p ) |
if ( !p ) |
| return 0; |
return 0; |
| else { |
else { |
| for ( i = 0, m = BDY(p); m; m = NEXT(m), i++ ); |
for ( i = 0, m = BDY(p); m; m = NEXT(m), i++ ); |
| return i; |
return i; |
| } |
} |
| } |
} |
| |
|
| int dp_homogeneous(DP p) |
int dp_homogeneous(DP p) |
| { |
{ |
| MP m; |
MP m; |
| int d; |
int d; |
| |
|
| if ( !p ) |
if ( !p ) |
| return 1; |
return 1; |
| else { |
else { |
| m = BDY(p); |
m = BDY(p); |
| d = m->dl->td; |
d = m->dl->td; |
| m = NEXT(m); |
m = NEXT(m); |
| for ( ; m; m = NEXT(m) ) { |
for ( ; m; m = NEXT(m) ) { |
| if ( m->dl->td != d ) |
if ( m->dl->td != d ) |
| return 0; |
return 0; |
| } |
} |
| return 1; |
return 1; |
| } |
} |
| } |
} |
| |
|
| void _print_mp(int nv,MP m) |
void _print_mp(int nv,MP m) |
| { |
{ |
| int i; |
int i; |
| |
|
| if ( !m ) |
if ( !m ) |
| return; |
return; |
| for ( ; m; m = NEXT(m) ) { |
for ( ; m; m = NEXT(m) ) { |
| fprintf(stderr,"%d<",ITOS(C(m))); |
fprintf(stderr,"%d<",ITOS(C(m))); |
| for ( i = 0; i < nv; i++ ) { |
for ( i = 0; i < nv; i++ ) { |
| fprintf(stderr,"%d",m->dl->d[i]); |
fprintf(stderr,"%d",m->dl->d[i]); |
| if ( i != nv-1 ) |
if ( i != nv-1 ) |
| fprintf(stderr," "); |
fprintf(stderr," "); |
| } |
} |
| fprintf(stderr,">",C(m)); |
fprintf(stderr,">",C(m)); |
| } |
} |
| fprintf(stderr,"\n"); |
fprintf(stderr,"\n"); |
| } |
} |
| |
|
| static int cmp_mp_nvar; |
static int cmp_mp_nvar; |
| |
|
| int comp_mp(MP *a,MP *b) |
int comp_mp(MP *a,MP *b) |
| { |
{ |
| return -(*cmpdl)(cmp_mp_nvar,(*a)->dl,(*b)->dl); |
return -(*cmpdl)(cmp_mp_nvar,(*a)->dl,(*b)->dl); |
| } |
} |
| |
|
| void dp_sort(DP p,DP *rp) |
void dp_sort(DP p,DP *rp) |
| { |
{ |
| MP t,mp,mp0; |
MP t,mp,mp0; |
| int i,n; |
int i,n; |
| DP r; |
DP r; |
| MP *w; |
MP *w; |
| |
|
| if ( !p ) { |
if ( !p ) { |
| *rp = 0; |
*rp = 0; |
| return; |
return; |
| } |
} |
| for ( t = BDY(p), n = 0; t; t = NEXT(t), n++ ); |
for ( t = BDY(p), n = 0; t; t = NEXT(t), n++ ); |
| w = (MP *)ALLOCA(n*sizeof(MP)); |
w = (MP *)ALLOCA(n*sizeof(MP)); |
| for ( t = BDY(p), i = 0; i < n; t = NEXT(t), i++ ) |
for ( t = BDY(p), i = 0; i < n; t = NEXT(t), i++ ) |
| w[i] = t; |
w[i] = t; |
| cmp_mp_nvar = NV(p); |
cmp_mp_nvar = NV(p); |
| qsort(w,n,sizeof(MP),(int (*)(const void *,const void *))comp_mp); |
qsort(w,n,sizeof(MP),(int (*)(const void *,const void *))comp_mp); |
| mp0 = 0; |
mp0 = 0; |
| for ( i = n-1; i >= 0; i-- ) { |
for ( i = n-1; i >= 0; i-- ) { |
| NEWMP(mp); mp->dl = w[i]->dl; C(mp) = C(w[i]); |
NEWMP(mp); mp->dl = w[i]->dl; C(mp) = C(w[i]); |
| NEXT(mp) = mp0; mp0 = mp; |
NEXT(mp) = mp0; mp0 = mp; |
| } |
} |
| MKDP(p->nv,mp0,r); |
MKDP(p->nv,mp0,r); |
| r->sugar = p->sugar; |
r->sugar = p->sugar; |
| *rp = r; |
*rp = r; |
| } |
} |
| |
|
| DP extract_initial_term_from_dp(DP p,int *weight,int n); |
DP extract_initial_term_from_dp(DP p,int *weight,int n); |
| Line 2164 LIST extract_initial_term(LIST f,int *weight,int n); |
|
| Line 3004 LIST extract_initial_term(LIST f,int *weight,int n); |
|
| |
|
| DP extract_initial_term_from_dp(DP p,int *weight,int n) |
DP extract_initial_term_from_dp(DP p,int *weight,int n) |
| { |
{ |
| int w,t,i,top; |
int w,t,i,top; |
| MP m,r0,r; |
MP m,r0,r; |
| DP dp; |
DP dp; |
| |
|
| if ( !p ) return 0; |
if ( !p ) return 0; |
| top = 1; |
top = 1; |
| for ( m = BDY(p); m; m = NEXT(m) ) { |
for ( m = BDY(p); m; m = NEXT(m) ) { |
| for ( i = 0, t = 0; i < n; i++ ) |
for ( i = 0, t = 0; i < n; i++ ) |
| t += weight[i]*m->dl->d[i]; |
t += weight[i]*m->dl->d[i]; |
| if ( top || t > w ) { |
if ( top || t > w ) { |
| r0 = 0; |
r0 = 0; |
| w = t; |
w = t; |
| top = 0; |
top = 0; |
| } |
} |
| if ( t == w ) { |
if ( t == w ) { |
| NEXTMP(r0,r); |
NEXTMP(r0,r); |
| r->dl = m->dl; |
r->dl = m->dl; |
| r->c = m->c; |
r->c = m->c; |
| } |
} |
| } |
} |
| NEXT(r) = 0; |
NEXT(r) = 0; |
| MKDP(p->nv,r0,dp); |
MKDP(p->nv,r0,dp); |
| return dp; |
return dp; |
| } |
} |
| |
|
| LIST extract_initial_term(LIST f,int *weight,int n) |
LIST extract_initial_term(LIST f,int *weight,int n) |
| { |
{ |
| NODE nd,r0,r; |
NODE nd,r0,r; |
| Obj p; |
Obj p; |
| LIST l; |
LIST l; |
| |
|
| nd = BDY(f); |
nd = BDY(f); |
| for ( r0 = 0; nd; nd = NEXT(nd) ) { |
for ( r0 = 0; nd; nd = NEXT(nd) ) { |
| NEXTNODE(r0,r); |
NEXTNODE(r0,r); |
| p = (Obj)BDY(nd); |
p = (Obj)BDY(nd); |
| BDY(r) = (pointer)extract_initial_term_from_dp((DP)p,weight,n); |
BDY(r) = (pointer)extract_initial_term_from_dp((DP)p,weight,n); |
| } |
} |
| if ( r0 ) NEXT(r) = 0; |
if ( r0 ) NEXT(r) = 0; |
| MKLIST(l,r0); |
MKLIST(l,r0); |
| return l; |
return l; |
| } |
} |
| |
|
| LIST dp_initial_term(LIST f,struct order_spec *ord) |
LIST dp_initial_term(LIST f,struct order_spec *ord) |
| { |
{ |
| int n,l,i; |
int n,l,i; |
| struct weight_or_block *worb; |
struct weight_or_block *worb; |
| int *weight; |
int *weight; |
| |
|
| switch ( ord->id ) { |
switch ( ord->id ) { |
| case 2: /* matrix order */ |
case 2: /* matrix order */ |
| /* extract the first row */ |
/* extract the first row */ |
| n = ord->nv; |
n = ord->nv; |
| weight = ord->ord.matrix.matrix[0]; |
weight = ord->ord.matrix.matrix[0]; |
| return extract_initial_term(f,weight,n); |
return extract_initial_term(f,weight,n); |
| case 3: /* composite order */ |
case 3: /* composite order */ |
| /* the first w_or_b */ |
/* the first w_or_b */ |
| worb = ord->ord.composite.w_or_b; |
worb = ord->ord.composite.w_or_b; |
| switch ( worb->type ) { |
switch ( worb->type ) { |
| case IS_DENSE_WEIGHT: |
case IS_DENSE_WEIGHT: |
| n = worb->length; |
n = worb->length; |
| weight = worb->body.dense_weight; |
weight = worb->body.dense_weight; |
| return extract_initial_term(f,weight,n); |
return extract_initial_term(f,weight,n); |
| case IS_SPARSE_WEIGHT: |
case IS_SPARSE_WEIGHT: |
| n = ord->nv; |
n = ord->nv; |
| weight = (int *)ALLOCA(n*sizeof(int)); |
weight = (int *)ALLOCA(n*sizeof(int)); |
| for ( i = 0; i < n; i++ ) weight[i] = 0; |
for ( i = 0; i < n; i++ ) weight[i] = 0; |
| l = worb->length; |
l = worb->length; |
| for ( i = 0; i < l; i++ ) |
for ( i = 0; i < l; i++ ) |
| weight[worb->body.sparse_weight[i].pos] |
weight[worb->body.sparse_weight[i].pos] |
| = worb->body.sparse_weight[i].value; |
= worb->body.sparse_weight[i].value; |
| return extract_initial_term(f,weight,n); |
return extract_initial_term(f,weight,n); |
| default: |
default: |
| error("dp_initial_term : unsupported order"); |
error("dp_initial_term : unsupported order"); |
| } |
} |
| default: |
default: |
| error("dp_initial_term : unsupported order"); |
error("dp_initial_term : unsupported order"); |
| } |
} |
| } |
} |
| |
|
| int highest_order_dp(DP p,int *weight,int n); |
int highest_order_dp(DP p,int *weight,int n); |
| Line 2248 LIST highest_order(LIST f,int *weight,int n); |
|
| Line 3088 LIST highest_order(LIST f,int *weight,int n); |
|
| |
|
| int highest_order_dp(DP p,int *weight,int n) |
int highest_order_dp(DP p,int *weight,int n) |
| { |
{ |
| int w,t,i,top; |
int w,t,i,top; |
| MP m; |
MP m; |
| |
|
| if ( !p ) return -1; |
if ( !p ) return -1; |
| top = 1; |
top = 1; |
| for ( m = BDY(p); m; m = NEXT(m) ) { |
for ( m = BDY(p); m; m = NEXT(m) ) { |
| for ( i = 0, t = 0; i < n; i++ ) |
for ( i = 0, t = 0; i < n; i++ ) |
| t += weight[i]*m->dl->d[i]; |
t += weight[i]*m->dl->d[i]; |
| if ( top || t > w ) { |
if ( top || t > w ) { |
| w = t; |
w = t; |
| top = 0; |
top = 0; |
| } |
} |
| } |
} |
| return w; |
return w; |
| } |
} |
| |
|
| LIST highest_order(LIST f,int *weight,int n) |
LIST highest_order(LIST f,int *weight,int n) |
| { |
{ |
| int h; |
int h; |
| NODE nd,r0,r; |
NODE nd,r0,r; |
| Obj p; |
Obj p; |
| LIST l; |
LIST l; |
| Q q; |
Q q; |
| |
|
| nd = BDY(f); |
nd = BDY(f); |
| for ( r0 = 0; nd; nd = NEXT(nd) ) { |
for ( r0 = 0; nd; nd = NEXT(nd) ) { |
| NEXTNODE(r0,r); |
NEXTNODE(r0,r); |
| p = (Obj)BDY(nd); |
p = (Obj)BDY(nd); |
| h = highest_order_dp((DP)p,weight,n); |
h = highest_order_dp((DP)p,weight,n); |
| STOQ(h,q); |
STOQ(h,q); |
| BDY(r) = (pointer)q; |
BDY(r) = (pointer)q; |
| } |
} |
| if ( r0 ) NEXT(r) = 0; |
if ( r0 ) NEXT(r) = 0; |
| MKLIST(l,r0); |
MKLIST(l,r0); |
| return l; |
return l; |
| } |
} |
| |
|
| LIST dp_order(LIST f,struct order_spec *ord) |
LIST dp_order(LIST f,struct order_spec *ord) |
| { |
{ |
| int n,l,i; |
int n,l,i; |
| struct weight_or_block *worb; |
struct weight_or_block *worb; |
| int *weight; |
int *weight; |
| |
|
| switch ( ord->id ) { |
switch ( ord->id ) { |
| case 2: /* matrix order */ |
case 2: /* matrix order */ |
| /* extract the first row */ |
/* extract the first row */ |
| n = ord->nv; |
n = ord->nv; |
| weight = ord->ord.matrix.matrix[0]; |
weight = ord->ord.matrix.matrix[0]; |
| return highest_order(f,weight,n); |
return highest_order(f,weight,n); |
| case 3: /* composite order */ |
case 3: /* composite order */ |
| /* the first w_or_b */ |
/* the first w_or_b */ |
| worb = ord->ord.composite.w_or_b; |
worb = ord->ord.composite.w_or_b; |
| switch ( worb->type ) { |
switch ( worb->type ) { |
| case IS_DENSE_WEIGHT: |
case IS_DENSE_WEIGHT: |
| n = worb->length; |
n = worb->length; |
| weight = worb->body.dense_weight; |
weight = worb->body.dense_weight; |
| return highest_order(f,weight,n); |
return highest_order(f,weight,n); |
| case IS_SPARSE_WEIGHT: |
case IS_SPARSE_WEIGHT: |
| n = ord->nv; |
n = ord->nv; |
| weight = (int *)ALLOCA(n*sizeof(int)); |
weight = (int *)ALLOCA(n*sizeof(int)); |
| for ( i = 0; i < n; i++ ) weight[i] = 0; |
for ( i = 0; i < n; i++ ) weight[i] = 0; |
| l = worb->length; |
l = worb->length; |
| for ( i = 0; i < l; i++ ) |
for ( i = 0; i < l; i++ ) |
| weight[worb->body.sparse_weight[i].pos] |
weight[worb->body.sparse_weight[i].pos] |
| = worb->body.sparse_weight[i].value; |
= worb->body.sparse_weight[i].value; |
| return highest_order(f,weight,n); |
return highest_order(f,weight,n); |
| default: |
default: |
| error("dp_initial_term : unsupported order"); |
error("dp_initial_term : unsupported order"); |
| } |
} |
| default: |
default: |
| error("dp_initial_term : unsupported order"); |
error("dp_initial_term : unsupported order"); |
| } |
} |
| } |
} |
| |
|
| int dpv_ht(DPV p,DP *h) |
int dpv_ht(DPV p,DP *h) |
| { |
{ |
| int len,max,maxi,i,t; |
int len,max,maxi,i,t; |
| DP *e; |
DP *e; |
| MP m,mr; |
MP m,mr; |
| |
|
| len = p->len; |
len = p->len; |
| e = p->body; |
e = p->body; |
| max = -1; |
max = -1; |
| maxi = -1; |
maxi = -1; |
| for ( i = 0; i < len; i++ ) |
for ( i = 0; i < len; i++ ) |
| if ( e[i] && (t = BDY(e[i])->dl->td) > max ) { |
if ( e[i] && (t = BDY(e[i])->dl->td) > max ) { |
| max = t; |
max = t; |
| maxi = i; |
maxi = i; |
| } |
} |
| if ( max < 0 ) { |
if ( max < 0 ) { |
| *h = 0; |
*h = 0; |
| return -1; |
return -1; |
| } else { |
} else { |
| m = BDY(e[maxi]); |
m = BDY(e[maxi]); |
| NEWMP(mr); mr->dl = m->dl; mr->c = (P)ONE; NEXT(mr) = 0; |
NEWMP(mr); mr->dl = m->dl; mr->c = (Obj)ONE; NEXT(mr) = 0; |
| MKDP(e[maxi]->nv,mr,*h); (*h)->sugar = mr->dl->td; /* XXX */ |
MKDP(e[maxi]->nv,mr,*h); (*h)->sugar = mr->dl->td; /* XXX */ |
| return maxi; |
return maxi; |
| } |
} |
| |
} |
| |
|
| |
/* return 1 if 0 <_w1 v && v <_w2 0 */ |
| |
|
| |
int in_c12(int n,int *v,int row1,int **w1,int row2, int **w2) |
| |
{ |
| |
int t1,t2; |
| |
|
| |
t1 = compare_zero(n,v,row1,w1); |
| |
t2 = compare_zero(n,v,row2,w2); |
| |
if ( t1 > 0 && t2 < 0 ) return 1; |
| |
else return 0; |
| |
} |
| |
|
| |
/* 0 < u => 1, 0 > u => -1 */ |
| |
|
| |
int compare_zero(int n,int *u,int row,int **w) |
| |
{ |
| |
int i,j,t; |
| |
int *wi; |
| |
|
| |
for ( i = 0; i < row; i++ ) { |
| |
wi = w[i]; |
| |
for ( j = 0, t = 0; j < n; j++ ) t += u[j]*wi[j]; |
| |
if ( t > 0 ) return 1; |
| |
else if ( t < 0 ) return -1; |
| |
} |
| |
return 0; |
| |
} |
| |
|
| |
/* functions for generic groebner walk */ |
| |
/* u=0 means u=-infty */ |
| |
|
| |
int compare_facet_preorder(int n,int *u,int *v, |
| |
int row1,int **w1,int row2,int **w2) |
| |
{ |
| |
int i,j,s,t,tu,tv; |
| |
int *w2i,*uv; |
| |
|
| |
if ( !u ) return 1; |
| |
uv = W_ALLOC(n); |
| |
for ( i = 0; i < row2; i++ ) { |
| |
w2i = w2[i]; |
| |
for ( j = 0, tu = tv = 0; j < n; j++ ) |
| |
if ( s = w2i[j] ) { |
| |
tu += s*u[j]; tv += s*v[j]; |
| |
} |
| |
for ( j = 0; j < n; j++ ) uv[j] = u[j]*tv-v[j]*tu; |
| |
t = compare_zero(n,uv,row1,w1); |
| |
if ( t > 0 ) return 1; |
| |
else if ( t < 0 ) return 0; |
| |
} |
| |
return 1; |
| |
} |
| |
|
| |
Q inner_product_with_small_vector(VECT w,int *v) |
| |
{ |
| |
int n,i; |
| |
Q q,s,t,u; |
| |
|
| |
n = w->len; |
| |
s = 0; |
| |
for ( i = 0; i < n; i++ ) { |
| |
STOQ(v[i],q); mulq((Q)w->body[i],q,&t); addq(t,s,&u); s = u; |
| |
} |
| |
return s; |
| |
} |
| |
|
| |
Q compute_last_t(NODE g,NODE gh,Q t,VECT w1,VECT w2,NODE *homo,VECT *wp) |
| |
{ |
| |
int n,i; |
| |
int *wt; |
| |
Q last,d1,d2,dn,nm,s,t1; |
| |
VECT wd,wt1,wt2,w; |
| |
NODE tg,tgh; |
| |
MP f; |
| |
int *h; |
| |
NODE r0,r; |
| |
MP m0,m; |
| |
DP d; |
| |
|
| |
n = w1->len; |
| |
wt = W_ALLOC(n); |
| |
last = ONE; |
| |
/* t1 = 1-t */ |
| |
for ( tg = g, tgh = gh; tg; tg = NEXT(tg), tgh = NEXT(tgh ) ) { |
| |
f = BDY((DP)BDY(tg)); |
| |
h = BDY((DP)BDY(tgh))->dl->d; |
| |
for ( ; f; f = NEXT(f) ) { |
| |
for ( i = 0; i < n; i++ ) wt[i] = h[i]-f->dl->d[i]; |
| |
for ( i = 0; i < n && !wt[i]; i++ ); |
| |
if ( i == n ) continue; |
| |
d1 = inner_product_with_small_vector(w1,wt); |
| |
d2 = inner_product_with_small_vector(w2,wt); |
| |
nm = d1; subq(d1,d2,&dn); |
| |
/* if d1=d2 then nothing happens */ |
| |
if ( !dn ) continue; |
| |
/* s satisfies ds = 0*/ |
| |
divq(nm,dn,&s); |
| |
|
| |
if ( cmpq(s,t) > 0 && cmpq(s,last) < 0 ) |
| |
last = s; |
| |
else if ( !cmpq(s,t) ) { |
| |
if ( cmpq(d2,0) < 0 ) { |
| |
last = t; |
| |
break; |
| |
} |
| |
} |
| |
} |
| |
} |
| |
if ( !last ) { |
| |
dn = ONE; nm = 0; |
| |
} else { |
| |
NTOQ(NM(last),1,nm); |
| |
if ( INT(last) ) dn = ONE; |
| |
else { |
| |
NTOQ(DN(last),1,dn); |
| |
} |
| |
} |
| |
/* (1-n/d)*w1+n/d*w2 -> w=(d-n)*w1+n*w2 */ |
| |
subq(dn,nm,&t1); mulvect(CO,(Obj)w1,(Obj)t1,(Obj *)&wt1); |
| |
mulvect(CO,(Obj)w2,(Obj)nm,(Obj *)&wt2); addvect(CO,wt1,wt2,&w); |
| |
|
| |
r0 = 0; |
| |
for ( tg = g, tgh = gh; tg; tg = NEXT(tg), tgh = NEXT(tgh ) ) { |
| |
f = BDY((DP)BDY(tg)); |
| |
h = BDY((DP)BDY(tgh))->dl->d; |
| |
for ( m0 = 0; f; f = NEXT(f) ) { |
| |
for ( i = 0; i < n; i++ ) wt[i] = h[i]-f->dl->d[i]; |
| |
for ( i = 0; i < n && !wt[i]; i++ ); |
| |
if ( !inner_product_with_small_vector(w,wt) ) { |
| |
NEXTMP(m0,m); m->c = f->c; m->dl = f->dl; |
| |
} |
| |
} |
| |
NEXT(m) = 0; |
| |
MKDP(((DP)BDY(tg))->nv,m0,d); d->sugar = ((DP)BDY(tg))->sugar; |
| |
NEXTNODE(r0,r); BDY(r) = (pointer)d; |
| |
} |
| |
NEXT(r) = 0; |
| |
*homo = r0; |
| |
*wp = w; |
| |
return last; |
| |
} |
| |
|
| |
/* return 0 if last_w = infty */ |
| |
|
| |
NODE compute_last_w(NODE g,NODE gh,int n,int **w, |
| |
int row1,int **w1,int row2,int **w2) |
| |
{ |
| |
DP d; |
| |
MP f,m0,m; |
| |
int *wt,*v,*h; |
| |
NODE t,s,n0,tn,n1,r0,r; |
| |
int i; |
| |
|
| |
wt = W_ALLOC(n); |
| |
n0 = 0; |
| |
for ( t = g, s = gh; t; t = NEXT(t), s = NEXT(s) ) { |
| |
f = BDY((DP)BDY(t)); |
| |
h = BDY((DP)BDY(s))->dl->d; |
| |
for ( ; f; f = NEXT(f) ) { |
| |
for ( i = 0; i < n; i++ ) wt[i] = h[i]-f->dl->d[i]; |
| |
for ( i = 0; i < n && !wt[i]; i++ ); |
| |
if ( i == n ) continue; |
| |
|
| |
if ( in_c12(n,wt,row1,w1,row2,w2) && |
| |
compare_facet_preorder(n,*w,wt,row1,w1,row2,w2) ) { |
| |
v = (int *)MALLOC_ATOMIC(n*sizeof(int)); |
| |
for ( i = 0; i < n; i++ ) v[i] = wt[i]; |
| |
MKNODE(n1,v,n0); n0 = n1; |
| |
} |
| |
} |
| |
} |
| |
if ( !n0 ) return 0; |
| |
for ( t = n0; t; t = NEXT(t) ) { |
| |
v = (int *)BDY(t); |
| |
for ( s = n0; s; s = NEXT(s) ) |
| |
if ( !compare_facet_preorder(n,v,(int *)BDY(s),row1,w1,row2,w2) ) |
| |
break; |
| |
if ( !s ) { |
| |
*w = v; |
| |
break; |
| |
} |
| |
} |
| |
if ( !t ) |
| |
error("compute_last_w : cannot happen"); |
| |
r0 = 0; |
| |
for ( t = g, s = gh; t; t = NEXT(t), s = NEXT(s) ) { |
| |
f = BDY((DP)BDY(t)); |
| |
h = BDY((DP)BDY(s))->dl->d; |
| |
for ( m0 = 0; f; f = NEXT(f) ) { |
| |
for ( i = 0; i < n; i++ ) wt[i] = h[i]-f->dl->d[i]; |
| |
for ( i = 0; i < n && !wt[i]; i++ ); |
| |
if ( i == n || |
| |
(compare_facet_preorder(n,wt,*w,row1,w1,row2,w2) |
| |
&& compare_facet_preorder(n,*w,wt,row1,w1,row2,w2)) ) { |
| |
NEXTMP(m0,m); m->c = f->c; m->dl = f->dl; |
| |
} |
| |
} |
| |
NEXT(m) = 0; |
| |
MKDP(((DP)BDY(t))->nv,m0,d); d->sugar = ((DP)BDY(t))->sugar; |
| |
NEXTNODE(r0,r); BDY(r) = (pointer)d; |
| |
} |
| |
NEXT(r) = 0; |
| |
return r0; |
| |
} |
| |
|
| |
/* compute a sufficient set of d(f)=u-v */ |
| |
|
| |
NODE compute_essential_df(DP *g,DP *gh,int ng) |
| |
{ |
| |
int nv,i,j,k,t,lj; |
| |
NODE r,r1,ri,rt,r0; |
| |
MP m; |
| |
MP *mj; |
| |
DL di,hj,dl,dlt; |
| |
int *d,*dt; |
| |
LIST l; |
| |
Q q; |
| |
|
| |
nv = g[0]->nv; |
| |
r = 0; |
| |
for ( j = 0; j < ng; j++ ) { |
| |
for ( m = BDY(g[j]), lj = 0; m; m = NEXT(m), lj++ ); |
| |
mj = (MP *)ALLOCA(lj*sizeof(MP)); |
| |
for ( m = BDY(g[j]), k = 0; m; m = NEXT(m), k++ ) |
| |
mj[k] = m; |
| |
for ( i = 0; i < lj; i++ ) { |
| |
for ( di = mj[i]->dl, k = i+1; k < lj; k++ ) |
| |
if ( _dl_redble(di,mj[k]->dl,nv) ) break; |
| |
if ( k < lj ) mj[i] = 0; |
| |
} |
| |
hj = BDY(gh[j])->dl; |
| |
_NEWDL(dl,nv); d = dl->d; |
| |
r0 = r; |
| |
for ( i = 0; i < lj; i++ ) { |
| |
if ( mj[i] && !dl_equal(nv,di=mj[i]->dl,hj) ) { |
| |
for ( k = 0, t = 0; k < nv; k++ ) { |
| |
d[k] = hj->d[k]-di->d[k]; |
| |
t += d[k]; |
| |
} |
| |
dl->td = t; |
| |
#if 1 |
| |
for ( rt = r0; rt; rt = NEXT(rt) ) { |
| |
dlt = (DL)BDY(rt); |
| |
if ( dlt->td != dl->td ) continue; |
| |
for ( dt = dlt->d, k = 0; k < nv; k++ ) |
| |
if ( d[k] != dt[k] ) break; |
| |
if ( k == nv ) break; |
| |
} |
| |
#else |
| |
rt = 0; |
| |
#endif |
| |
if ( !rt ) { |
| |
MKNODE(r1,dl,r); r = r1; |
| |
_NEWDL(dl,nv); d = dl->d; |
| |
} |
| |
} |
| |
} |
| |
} |
| |
for ( rt = r; rt; rt = NEXT(rt) ) { |
| |
dl = (DL)BDY(rt); d = dl->d; |
| |
ri = 0; |
| |
for ( k = nv-1; k >= 0; k-- ) { |
| |
STOQ(d[k],q); |
| |
MKNODE(r1,q,ri); ri = r1; |
| |
} |
| |
MKNODE(r1,0,ri); MKLIST(l,r1); |
| |
BDY(rt) = (pointer)l; |
| |
} |
| |
return r; |
| |
} |
| |
|
| |
int comp_bits_divisible(int *a,int *b,int n) |
| |
{ |
| |
int bpi,i,wi,bi; |
| |
|
| |
bpi = (sizeof(int)/sizeof(char))*8; |
| |
for ( i = 0; i < n; i++ ) { |
| |
wi = i/bpi; bi = i%bpi; |
| |
if ( !(a[wi]&(1<<bi)) && (b[wi]&(1<<bi)) ) return 0; |
| |
} |
| |
return 1; |
| |
} |
| |
|
| |
int comp_bits_lex(int *a,int *b,int n) |
| |
{ |
| |
int bpi,i,wi,ba,bb,bi; |
| |
|
| |
bpi = (sizeof(int)/sizeof(char))*8; |
| |
for ( i = 0; i < n; i++ ) { |
| |
wi = i/bpi; bi = i%bpi; |
| |
ba = (a[wi]&(1<<bi))?1:0; |
| |
bb = (b[wi]&(1<<bi))?1:0; |
| |
if ( ba > bb ) return 1; |
| |
else if ( ba < bb ) return -1; |
| |
} |
| |
return 0; |
| |
} |
| |
|
| |
NODE mono_raddec(NODE ideal) |
| |
{ |
| |
DP p; |
| |
int nv,w,i,bpi,di,c,len; |
| |
int *d,*s,*u,*new; |
| |
NODE t,t1,v,r,rem,prev; |
| |
|
| |
if( !ideal ) return 0; |
| |
p = (DP)BDY(ideal); |
| |
nv = NV(p); |
| |
bpi = (sizeof(int)/sizeof(char))*8; |
| |
w = (nv+(bpi-1))/bpi; |
| |
d = p->body->dl->d; |
| |
if ( !NEXT(ideal) ) { |
| |
for ( t = 0, i = nv-1; i >= 0; i-- ) { |
| |
if ( d[i] ) { |
| |
s = (int *)CALLOC(w,sizeof(int)); |
| |
s[i/bpi] |= 1<<(i%bpi); |
| |
MKNODE(t1,s,t); |
| |
t = t1; |
| |
} |
| |
} |
| |
return t; |
| |
} |
| |
rem = mono_raddec(NEXT(ideal)); |
| |
r = 0; |
| |
len = w*sizeof(int); |
| |
u = (int *)CALLOC(w,sizeof(int)); |
| |
for ( i = nv-1; i >= 0; i-- ) { |
| |
if ( d[i] ) { |
| |
for ( t = rem; t; t = NEXT(t) ) { |
| |
bcopy((char *)BDY(t),(char *)u,len); |
| |
u[i/bpi] |= 1<<(i%bpi); |
| |
for ( v = r; v; v = NEXT(v) ) { |
| |
if ( comp_bits_divisible(u,(int *)BDY(v),nv) ) break; |
| |
} |
| |
if ( v ) continue; |
| |
for ( v = r, prev = 0; v; v = NEXT(v) ) { |
| |
if ( comp_bits_divisible((int *)BDY(v),u,nv) ) { |
| |
if ( prev ) NEXT(prev) = NEXT(v); |
| |
else r = NEXT(r); |
| |
} else prev =v; |
| |
} |
| |
for ( v = r, prev = 0; v; prev = v, v = NEXT(v) ) { |
| |
if ( comp_bits_lex(u,(int *)BDY(v),nv) < 0 ) break; |
| |
} |
| |
new = (int *)CALLOC(w,sizeof(int)); |
| |
bcopy((char *)u,(char *)new,len); |
| |
MKNODE(t1,new,v); |
| |
if ( prev ) NEXT(prev) = t1; |
| |
else r = t1; |
| |
} |
| |
} |
| |
} |
| |
return r; |
| } |
} |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to dp-supp.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / builtin