version 1.102, 2004/09/15 01:43:33 |
version 1.104, 2004/09/17 01:27:48 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.101 2004/09/14 10:00:26 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.103 2004/09/15 06:06:42 noro Exp $ */ |
|
|
#include "nd.h" |
#include "nd.h" |
|
|
|
|
ND _nd_free_list; |
ND _nd_free_list; |
ND_pairs _ndp_free_list; |
ND_pairs _ndp_free_list; |
|
|
|
#if 0 |
static int ndv_alloc; |
static int ndv_alloc; |
|
#endif |
#if 1 |
#if 1 |
static int nd_f4_nsp=0x7fffffff; |
static int nd_f4_nsp=0x7fffffff; |
#else |
#else |
|
|
d = ndvtond(0,r); |
d = ndvtond(0,r); |
stat = nd_nf(0,d,nd_ps,0,0,&nf); |
stat = nd_nf(0,d,nd_ps,0,0,&nf); |
if ( !stat ) { |
if ( !stat ) { |
nd_reconstruct(0,0,0); |
nd_reconstruct(0,0); |
goto again; |
goto again; |
} else if ( nf ) return 0; |
} else if ( nf ) return 0; |
if ( DP_Print ) { printf("."); fflush(stdout); } |
if ( DP_Print ) { printf("."); fflush(stdout); } |
|
|
stat = nd_sp(m,0,l,&h); |
stat = nd_sp(m,0,l,&h); |
if ( !stat ) { |
if ( !stat ) { |
NEXT(l) = d; d = l; |
NEXT(l) = d; d = l; |
d = nd_reconstruct(m,0,d); |
d = nd_reconstruct(0,d); |
goto again; |
goto again; |
} |
} |
#if USE_GEOBUCKET |
#if USE_GEOBUCKET |
|
|
#endif |
#endif |
if ( !stat ) { |
if ( !stat ) { |
NEXT(l) = d; d = l; |
NEXT(l) = d; d = l; |
d = nd_reconstruct(m,0,d); |
d = nd_reconstruct(0,d); |
goto again; |
goto again; |
} else if ( nf ) { |
} else if ( nf ) { |
if ( checkonly ) return 0; |
if ( checkonly ) return 0; |
|
|
stat = nd_sp(m,0,l,&h); |
stat = nd_sp(m,0,l,&h); |
if ( !stat ) { |
if ( !stat ) { |
NEXT(l) = d; d = l; |
NEXT(l) = d; d = l; |
d = nd_reconstruct(m,1,d); |
d = nd_reconstruct(1,d); |
goto again; |
goto again; |
} |
} |
#if USE_GEOBUCKET |
#if USE_GEOBUCKET |
|
|
#endif |
#endif |
if ( !stat ) { |
if ( !stat ) { |
NEXT(l) = d; d = l; |
NEXT(l) = d; d = l; |
d = nd_reconstruct(m,1,d); |
d = nd_reconstruct(1,d); |
goto again; |
goto again; |
} else if ( nf ) { |
} else if ( nf ) { |
if ( nd_demand ) { |
if ( nd_demand ) { |
|
|
if ( !nfq ) { |
if ( !nfq ) { |
if ( !nd_sp(0,1,l,&h) || !nd_nf(0,h,nd_ps_trace,!Top,0,&nfq) ) { |
if ( !nd_sp(0,1,l,&h) || !nd_nf(0,h,nd_ps_trace,!Top,0,&nfq) ) { |
NEXT(l) = d; d = l; |
NEXT(l) = d; d = l; |
d = nd_reconstruct(m,1,d); |
d = nd_reconstruct(1,d); |
goto again; |
goto again; |
} |
} |
} |
} |
Line 1790 NODE ndv_reduceall(int m,NODE f) |
|
Line 1792 NODE ndv_reduceall(int m,NODE f) |
|
g = nd_separate_head(g,&head); |
g = nd_separate_head(g,&head); |
stat = nd_nf(m,g,nd_ps,1,&dn,&nf); |
stat = nd_nf(m,g,nd_ps,1,&dn,&nf); |
if ( !stat ) |
if ( !stat ) |
nd_reconstruct(m,0,0); |
nd_reconstruct(0,0); |
else { |
else { |
if ( DP_Print ) { printf("."); fflush(stdout); } |
if ( DP_Print ) { printf("."); fflush(stdout); } |
if ( !m ) { |
if ( !m ) { |
Line 2186 void nd_gr(LIST f,LIST v,int m,int f4,struct order_spe |
|
Line 2188 void nd_gr(LIST f,LIST v,int m,int f4,struct order_spe |
|
if ( !m && Demand ) nd_demand = 1; |
if ( !m && Demand ) nd_demand = 1; |
else nd_demand = 0; |
else nd_demand = 0; |
|
|
|
#if 0 |
ndv_alloc = 0; |
ndv_alloc = 0; |
|
#endif |
get_vars((Obj)f,&fv); pltovl(v,&vv); |
get_vars((Obj)f,&fv); pltovl(v,&vv); |
for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ ); |
for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ ); |
switch ( ord->id ) { |
switch ( ord->id ) { |
Line 2224 void nd_gr(LIST f,LIST v,int m,int f4,struct order_spe |
|
Line 2228 void nd_gr(LIST f,LIST v,int m,int f4,struct order_spe |
|
} |
} |
if ( r0 ) NEXT(r) = 0; |
if ( r0 ) NEXT(r) = 0; |
MKLIST(*rp,r0); |
MKLIST(*rp,r0); |
|
#if 0 |
fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc); |
fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc); |
|
#endif |
} |
} |
|
|
void nd_gr_trace(LIST f,LIST v,int trace,int homo,struct order_spec *ord,LIST *rp) |
void nd_gr_trace(LIST f,LIST v,int trace,int homo,struct order_spec *ord,LIST *rp) |
Line 2789 void nd_setup_parameters(int nvar,int max) { |
|
Line 2795 void nd_setup_parameters(int nvar,int max) { |
|
nd_work_vector = (int *)REALLOC(nd_work_vector,nd_nvar*sizeof(int)); |
nd_work_vector = (int *)REALLOC(nd_work_vector,nd_nvar*sizeof(int)); |
} |
} |
|
|
ND_pairs nd_reconstruct(int mod,int trace,ND_pairs d) |
ND_pairs nd_reconstruct(int trace,ND_pairs d) |
{ |
{ |
int i,obpe,oadv,h; |
int i,obpe,oadv,h; |
static NM prev_nm_free_list; |
static NM prev_nm_free_list; |
Line 3196 ND ndv_mul_nm(int mod,NM m0,NDV p) |
|
Line 3202 ND ndv_mul_nm(int mod,NM m0,NDV p) |
|
} |
} |
} |
} |
|
|
ND nd_quo(int mod,ND p,NDV d) |
ND nd_quo(int mod,PGeoBucket bucket,NDV d) |
{ |
{ |
NM mq0,mq; |
NM mq0,mq; |
NMV tm; |
NMV tm; |
Q q; |
Q q; |
int i,nv,sg,c,c1,c2; |
int i,nv,sg,c,c1,c2,hindex; |
ND t,r; |
ND p,t,r; |
|
N tnm; |
|
|
if ( !p ) return 0; |
if ( !p ) return 0; |
else { |
else { |
nv = NV(p); |
nv = NV(d); |
sg = SG(p); |
|
mq0 = 0; |
mq0 = 0; |
tm = (NMV)ALLOCA(nmv_adv); |
tm = (NMV)ALLOCA(nmv_adv); |
while ( p ) { |
while ( 1 ) { |
|
hindex = mod?head_pbucket(mod,bucket):head_pbucket_q(bucket); |
|
if ( hindex < 0 ) break; |
|
p = bucket->body[hindex]; |
NEXTNM(mq0,mq); |
NEXTNM(mq0,mq); |
ndl_sub(HDL(p),HDL(d),DL(mq)); |
ndl_sub(HDL(p),HDL(d),DL(mq)); |
ndl_copy(DL(mq),DL(tm)); |
ndl_copy(DL(mq),DL(tm)); |
Line 3219 ND nd_quo(int mod,ND p,NDV d) |
|
Line 3228 ND nd_quo(int mod,ND p,NDV d) |
|
DMAR(c1,c2,0,mod,c); CM(mq) = c; |
DMAR(c1,c2,0,mod,c); CM(mq) = c; |
CM(tm) = mod-c; |
CM(tm) = mod-c; |
} else { |
} else { |
divq(HCQ(p),HCQ(d),&CQ(mq)); |
divsn(NM(HCQ(p)),NM(HCQ(d)),&tnm); |
|
NTOQ(tnm,SGN(HCQ(p))*SGN(HCQ(d)),CQ(mq)); |
chsgnq(CQ(mq),&CQ(tm)); |
chsgnq(CQ(mq),&CQ(tm)); |
} |
} |
t = ndv_mul_nmv_trunc(mod,tm,d,HDL(d)); |
t = ndv_mul_nmv_trunc(mod,tm,d,HDL(d)); |
p = nd_add(mod,p,t); |
bucket->body[hindex] = nd_remove_head(p); |
|
t = nd_remove_head(t); |
|
add_pbucket(mod,bucket,t); |
} |
} |
NEXT(mq) = 0; |
if ( !mq0 ) |
for ( i = 0, mq = mq0; mq; mq = NEXT(mq), i++ ); |
r = 0; |
MKND(nv,mq0,i,r); |
else { |
/* XXX */ |
NEXT(mq) = 0; |
SG(r) = sg-SG(d); |
for ( i = 0, mq = mq0; mq; mq = NEXT(mq), i++ ); |
|
MKND(nv,mq0,i,r); |
|
/* XXX */ |
|
SG(r) = HTD(r); |
|
} |
return r; |
return r; |
} |
} |
} |
} |
Line 3456 NDV ndtondv(int mod,ND p) |
|
Line 3472 NDV ndtondv(int mod,ND p) |
|
m0 = m = (NMV)GC_malloc_atomic_ignore_off_page(len*nmv_adv); |
m0 = m = (NMV)GC_malloc_atomic_ignore_off_page(len*nmv_adv); |
else |
else |
m0 = m = MALLOC(len*nmv_adv); |
m0 = m = MALLOC(len*nmv_adv); |
|
#if 0 |
ndv_alloc += nmv_adv*len; |
ndv_alloc += nmv_adv*len; |
|
#endif |
for ( t = BDY(p), i = 0; t; t = NEXT(t), i++, NMV_ADV(m) ) { |
for ( t = BDY(p), i = 0; t; t = NEXT(t), i++, NMV_ADV(m) ) { |
ndl_copy(DL(t),DL(m)); |
ndl_copy(DL(t),DL(m)); |
CQ(m) = CQ(t); |
CQ(m) = CQ(t); |
Line 3727 void nd_nf_p(P f,LIST g,LIST v,int m,struct order_spec |
|
Line 3745 void nd_nf_p(P f,LIST g,LIST v,int m,struct order_spec |
|
stat = nd_nf(m,nd,nd_ps,1,0,&nf); |
stat = nd_nf(m,nd,nd_ps,1,0,&nf); |
if ( !stat ) { |
if ( !stat ) { |
nd_psn++; |
nd_psn++; |
nd_reconstruct(m,0,0); |
nd_reconstruct(0,0); |
nd_psn--; |
nd_psn--; |
} else |
} else |
break; |
break; |
Line 3964 NDV vect_to_ndv(UINT *vect,int spcol,int col,int *rhea |
|
Line 3982 NDV vect_to_ndv(UINT *vect,int spcol,int col,int *rhea |
|
if ( !len ) return 0; |
if ( !len ) return 0; |
else { |
else { |
mr0 = (NMV)GC_malloc_atomic_ignore_off_page(nmv_adv*len); |
mr0 = (NMV)GC_malloc_atomic_ignore_off_page(nmv_adv*len); |
|
#if 0 |
ndv_alloc += nmv_adv*len; |
ndv_alloc += nmv_adv*len; |
|
#endif |
mr = mr0; |
mr = mr0; |
p = s0vect; |
p = s0vect; |
for ( j = k = 0; j < col; j++, p += nd_wpd ) |
for ( j = k = 0; j < col; j++, p += nd_wpd ) |
Line 4059 NODE nd_f4(int m) |
|
Line 4079 NODE nd_f4(int m) |
|
|
|
if ( !m ) |
if ( !m ) |
error("nd_f4 : not implemented"); |
error("nd_f4 : not implemented"); |
|
#if 0 |
ndv_alloc = 0; |
ndv_alloc = 0; |
|
#endif |
g = 0; d = 0; |
g = 0; d = 0; |
for ( i = 0; i < nd_psn; i++ ) { |
for ( i = 0; i < nd_psn; i++ ) { |
d = update_pairs(d,g,i); |
d = update_pairs(d,g,i); |
Line 4074 NODE nd_f4(int m) |
|
Line 4096 NODE nd_f4(int m) |
|
if ( !stat ) { |
if ( !stat ) { |
for ( t = l; NEXT(t); t = NEXT(t) ); |
for ( t = l; NEXT(t); t = NEXT(t) ); |
NEXT(t) = d; d = l; |
NEXT(t) = d; d = l; |
d = nd_reconstruct(m,0,d); |
d = nd_reconstruct(0,d); |
continue; |
continue; |
} |
} |
if ( bucket->m < 0 ) continue; |
if ( bucket->m < 0 ) continue; |
Line 4082 NODE nd_f4(int m) |
|
Line 4104 NODE nd_f4(int m) |
|
if ( !col ) { |
if ( !col ) { |
for ( t = l; NEXT(t); t = NEXT(t) ); |
for ( t = l; NEXT(t); t = NEXT(t) ); |
NEXT(t) = d; d = l; |
NEXT(t) = d; d = l; |
d = nd_reconstruct(m,0,d); |
d = nd_reconstruct(0,d); |
continue; |
continue; |
} |
} |
get_eg(&eg1); init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg1); |
get_eg(&eg1); init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg1); |
Line 4103 NODE nd_f4(int m) |
|
Line 4125 NODE nd_f4(int m) |
|
} |
} |
} |
} |
for ( r = g; r; r = NEXT(r) ) BDY(r) = (pointer)nd_ps[(int)BDY(r)]; |
for ( r = g; r; r = NEXT(r) ) BDY(r) = (pointer)nd_ps[(int)BDY(r)]; |
|
#if 0 |
fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc); |
fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc); |
|
#endif |
return g; |
return g; |
} |
} |
|
|
Line 4257 NDV nd_recv_ndv() |
|
Line 4281 NDV nd_recv_ndv() |
|
if ( !len ) return 0; |
if ( !len ) return 0; |
else { |
else { |
m0 = m = (NMV)GC_malloc_atomic_ignore_off_page(nmv_adv*len); |
m0 = m = (NMV)GC_malloc_atomic_ignore_off_page(nmv_adv*len); |
|
#if 0 |
ndv_alloc += len*nmv_adv; |
ndv_alloc += len*nmv_adv; |
|
#endif |
for ( i = 0; i < len; i++, NMV_ADV(m) ) { |
for ( i = 0; i < len; i++, NMV_ADV(m) ) { |
CM(m) = nd_recv_int(); |
CM(m) = nd_recv_int(); |
nd_recv_intarray(DL(m),nd_wpd); |
nd_recv_intarray(DL(m),nd_wpd); |
Line 4695 void nd_det(int mod,MAT f,P *rp) |
|
Line 4721 void nd_det(int mod,MAT f,P *rp) |
|
if ( mod ) ndv_mod(mod,d); |
if ( mod ) ndv_mod(mod,d); |
chsgnq(ONE,&mone); |
chsgnq(ONE,&mone); |
for ( j = 0, sgn = 1; j < n; j++ ) { |
for ( j = 0, sgn = 1; j < n; j++ ) { |
|
if ( DP_Print ) fprintf(stderr,"j=%d\n",j); |
for ( i = j; i < n && !dm[i][j]; i++ ); |
for ( i = j; i < n && !dm[i][j]; i++ ); |
if ( i == n ) { |
if ( i == n ) { |
*rp = 0; |
*rp = 0; |
Line 4717 void nd_det(int mod,MAT f,P *rp) |
|
Line 4744 void nd_det(int mod,MAT f,P *rp) |
|
sgn = -sgn; |
sgn = -sgn; |
} |
} |
for ( i = j+1, mj = dm[j], mjj = mj[j]; i < n; i++ ) { |
for ( i = j+1, mj = dm[j], mjj = mj[j]; i < n; i++ ) { |
|
if ( DP_Print ) fprintf(stderr," i=%d\n ",i); |
mi = dm[i]; mij = mi[j]; |
mi = dm[i]; mij = mi[j]; |
if ( mod ) |
if ( mod ) |
ndv_mul_c(mod,mij,mod-1); |
ndv_mul_c(mod,mij,mod-1); |
else |
else |
ndv_mul_c_q(mij,mone); |
ndv_mul_c_q(mij,mone); |
for ( k = j+1; k < n; k++ ) { |
for ( k = j+1; k < n; k++ ) { |
|
if ( DP_Print ) fprintf(stderr,"k=%d ",k); |
bucket = create_pbucket(); |
bucket = create_pbucket(); |
if ( mi[k] ) |
if ( mi[k] ) { |
nmv = BDY(mjj); len = LEN(mjj); |
nmv = BDY(mjj); len = LEN(mjj); |
for ( a = 0; a < len; a++, NMV_ADV(nmv) ) { |
for ( a = 0; a < len; a++, NMV_ADV(nmv) ) { |
u = ndv_mul_nmv_trunc(mod,nmv,mi[k],DL(BDY(d))); |
u = ndv_mul_nmv_trunc(mod,nmv,mi[k],DL(BDY(d))); |
add_pbucket(mod,bucket,u); |
add_pbucket(mod,bucket,u); |
} |
} |
|
} |
if ( mj[k] && mij ) { |
if ( mj[k] && mij ) { |
nmv = BDY(mij); len = LEN(mij); |
nmv = BDY(mij); len = LEN(mij); |
for ( a = 0; a < len; a++, NMV_ADV(nmv) ) { |
for ( a = 0; a < len; a++, NMV_ADV(nmv) ) { |
Line 4737 void nd_det(int mod,MAT f,P *rp) |
|
Line 4767 void nd_det(int mod,MAT f,P *rp) |
|
add_pbucket(mod,bucket,u); |
add_pbucket(mod,bucket,u); |
} |
} |
} |
} |
u = normalize_pbucket(mod,bucket); |
u = nd_quo(mod,bucket,d); |
u = nd_quo(mod,u,d); |
|
mi[k] = ndtondv(mod,u); |
mi[k] = ndtondv(mod,u); |
} |
} |
|
if ( DP_Print ) fprintf(stderr,"\n",k); |
} |
} |
d = mjj; |
d = mjj; |
} |
} |
Line 4776 ND ndv_mul_nmv_trunc(int mod,NMV m0,NDV p,UINT *d) |
|
Line 4806 ND ndv_mul_nmv_trunc(int mod,NMV m0,NDV p,UINT *d) |
|
if ( ndl_reducible(DL(tnm),d) ) { |
if ( ndl_reducible(DL(tnm),d) ) { |
NEXTNM(mr0,mr); |
NEXTNM(mr0,mr); |
c1 = CM(m); DMAR(c1,c,0,mod,c2); CM(mr) = c2; |
c1 = CM(m); DMAR(c1,c,0,mod,c2); CM(mr) = c2; |
ndl_add(DL(m),d0,DL(mr)); |
ndl_copy(DL(tnm),DL(mr)); |
} |
} |
} |
} |
} else { |
} else { |
Line 4786 ND ndv_mul_nmv_trunc(int mod,NMV m0,NDV p,UINT *d) |
|
Line 4816 ND ndv_mul_nmv_trunc(int mod,NMV m0,NDV p,UINT *d) |
|
if ( ndl_reducible(DL(tnm),d) ) { |
if ( ndl_reducible(DL(tnm),d) ) { |
NEXTNM(mr0,mr); |
NEXTNM(mr0,mr); |
mulq(CQ(m),q,&CQ(mr)); |
mulq(CQ(m),q,&CQ(mr)); |
ndl_add(DL(m),d0,DL(mr)); |
ndl_copy(DL(tnm),DL(mr)); |
} |
} |
} |
} |
} |
} |