| version 1.15, 2019/04/20 06:04:18 |
version 1.16, 2019/08/21 00:37:47 |
|
|
| /* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.14 2019/03/03 05:21:17 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.15 2019/04/20 06:04:18 noro Exp $ */ |
| |
|
| #include "nd.h" |
#include "nd.h" |
| |
|
| Line 88 void parse_nd_option(NODE opt); |
|
| Line 88 void parse_nd_option(NODE opt); |
|
| void dltondl(int n,DL dl,UINT *r); |
void dltondl(int n,DL dl,UINT *r); |
| DP ndvtodp(int mod,NDV p); |
DP ndvtodp(int mod,NDV p); |
| DP ndtodp(int mod,ND p); |
DP ndtodp(int mod,ND p); |
| |
DPM ndvtodpm(int mod,NDV p); |
| |
NDV dpmtondv(int mod,DPM p); |
| |
int dpm_getdeg(DPM p,int *rank); |
| |
void dpm_ptozp(DPM p,Z *cont,DPM *r); |
| |
int compdmm(int nv,DMM a,DMM b); |
| |
|
| void Pdp_set_weight(NODE,VECT *); |
void Pdp_set_weight(NODE,VECT *); |
| void Pox_cmo_rpc(NODE,Obj *); |
void Pox_cmo_rpc(NODE,Obj *); |
| Line 3269 void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int |
|
| Line 3274 void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int |
|
| for ( t = BDY(f), max = 1; t; t = NEXT(t) ) |
for ( t = BDY(f), max = 1; t; t = NEXT(t) ) |
| for ( tv = vv; tv; tv = NEXT(tv) ) { |
for ( tv = vv; tv; tv = NEXT(tv) ) { |
| if ( nd_module ) { |
if ( nd_module ) { |
| s = BDY((LIST)BDY(t)); |
if ( OID(BDY(t)) == O_DPM ) { |
| trank = length(s); |
e = dpm_getdeg((DPM)BDY(t),&trank); |
| mrank = MAX(mrank,trank); |
max = MAX(e,max); |
| for ( ; s; s = NEXT(s) ) { |
mrank = MAX(mrank,trank); |
| e = getdeg(tv->v,(P)BDY(s)); |
} else { |
| max = MAX(e,max); |
s = BDY((LIST)BDY(t)); |
| |
trank = length(s); |
| |
mrank = MAX(mrank,trank); |
| |
for ( ; s; s = NEXT(s) ) { |
| |
e = getdeg(tv->v,(P)BDY(s)); |
| |
max = MAX(e,max); |
| |
} |
| } |
} |
| } else { |
} else { |
| e = getdeg(tv->v,(P)BDY(t)); |
e = getdeg(tv->v,(P)BDY(t)); |
| Line 3286 void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int |
|
| Line 3297 void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int |
|
| ishomo = 1; |
ishomo = 1; |
| for ( fd0 = 0, t = BDY(f); t; t = NEXT(t) ) { |
for ( fd0 = 0, t = BDY(f); t; t = NEXT(t) ) { |
| if ( nd_module ) { |
if ( nd_module ) { |
| if ( !m && !nd_gentrace ) pltozpl((LIST)BDY(t),&dmy,&zpl); |
if ( OID(BDY(t)) == O_DPM ) { |
| else zpl = (LIST)BDY(t); |
Z cont; |
| |
DPM zdpm; |
| |
|
| |
if ( !m && !nd_gentrace ) dpm_ptozp((DPM)BDY(t),&cont,&zdpm); |
| |
else zdpm = (DPM)BDY(t); |
| |
b = (pointer)dpmtondv(m,zdpm); |
| |
} else { |
| |
if ( !m && !nd_gentrace ) pltozpl((LIST)BDY(t),&dmy,&zpl); |
| |
else zpl = (LIST)BDY(t); |
| b = (pointer)pltondv(CO,vv,zpl); |
b = (pointer)pltondv(CO,vv,zpl); |
| |
} |
| } else { |
} else { |
| if ( !m && !nd_gentrace ) ptozp((P)BDY(t),1,&dmy,&zp); |
if ( !m && !nd_gentrace ) ptozp((P)BDY(t),1,&dmy,&zp); |
| else zp = (P)BDY(t); |
else zp = (P)BDY(t); |
| Line 3374 void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int |
|
| Line 3394 void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int |
|
| nd_setup_parameters(nd_nvar,0); |
nd_setup_parameters(nd_nvar,0); |
| FINAL: |
FINAL: |
| for ( r0 = 0, t = x; t; t = NEXT(t) ) { |
for ( r0 = 0, t = x; t; t = NEXT(t) ) { |
| NEXTNODE(r0,r); |
NEXTNODE(r0,r); |
| if ( nd_module ) BDY(r) = ndvtopl(m,CO,vv,BDY(t),mrank); |
if ( nd_module ) { |
| else if ( retdp ) BDY(r) = ndvtodp(m,BDY(t)); |
if ( retdp ) BDY(r) = ndvtodpm(m,BDY(t)); |
| else BDY(r) = ndvtop(m,CO,vv,BDY(t)); |
else BDY(r) = ndvtopl(m,CO,vv,BDY(t),mrank); |
| |
} else if ( retdp ) BDY(r) = ndvtodp(m,BDY(t)); |
| |
else BDY(r) = ndvtop(m,CO,vv,BDY(t)); |
| } |
} |
| if ( r0 ) NEXT(r) = 0; |
if ( r0 ) NEXT(r) = 0; |
| if ( !m && nd_nalg ) |
if ( !m && nd_nalg ) |
| Line 3651 void nd_gr_recompute_trace(LIST f,LIST v,int m,struct |
|
| Line 3673 void nd_gr_recompute_trace(LIST f,LIST v,int m,struct |
|
| if ( DP_Print ) fprintf(asir_out,"\n"); |
if ( DP_Print ) fprintf(asir_out,"\n"); |
| } |
} |
| |
|
| void nd_gr_trace(LIST f,LIST v,int trace,int homo,int f4,struct order_spec *ord,LIST *rp) |
void nd_gr_trace(LIST f,LIST v,int trace,int homo,int retdp,int f4,struct order_spec *ord,LIST *rp) |
| { |
{ |
| VL tv,fv,vv,vc,av; |
VL tv,fv,vv,vc,av; |
| NODE fd,fd0,in0,in,r,r0,t,s,cand,alist; |
NODE fd,fd0,in0,in,r,r0,t,s,cand,alist; |
| Line 3729 void nd_gr_trace(LIST f,LIST v,int trace,int homo,int |
|
| Line 3751 void nd_gr_trace(LIST f,LIST v,int trace,int homo,int |
|
| for ( t = BDY(f), max = 1; t; t = NEXT(t) ) |
for ( t = BDY(f), max = 1; t; t = NEXT(t) ) |
| for ( tv = vv; tv; tv = NEXT(tv) ) { |
for ( tv = vv; tv; tv = NEXT(tv) ) { |
| if ( nd_module ) { |
if ( nd_module ) { |
| |
if ( OID(BDY(t)) == O_DPM ) { |
| |
e = dpm_getdeg((DPM)BDY(t),&trank); |
| |
max = MAX(e,max); |
| |
mrank = MAX(mrank,trank); |
| |
} else { |
| s = BDY((LIST)BDY(t)); |
s = BDY((LIST)BDY(t)); |
| trank = length(s); |
trank = length(s); |
| mrank = MAX(mrank,trank); |
mrank = MAX(mrank,trank); |
| Line 3736 void nd_gr_trace(LIST f,LIST v,int trace,int homo,int |
|
| Line 3763 void nd_gr_trace(LIST f,LIST v,int trace,int homo,int |
|
| e = getdeg(tv->v,(P)BDY(s)); |
e = getdeg(tv->v,(P)BDY(s)); |
| max = MAX(e,max); |
max = MAX(e,max); |
| } |
} |
| |
} |
| } else { |
} else { |
| e = getdeg(tv->v,(P)BDY(t)); |
e = getdeg(tv->v,(P)BDY(t)); |
| max = MAX(e,max); |
max = MAX(e,max); |
| Line 3746 void nd_gr_trace(LIST f,LIST v,int trace,int homo,int |
|
| Line 3774 void nd_gr_trace(LIST f,LIST v,int trace,int homo,int |
|
| ishomo = 1; |
ishomo = 1; |
| for ( in0 = 0, fd0 = 0, t = BDY(f); t; t = NEXT(t) ) { |
for ( in0 = 0, fd0 = 0, t = BDY(f); t; t = NEXT(t) ) { |
| if ( nd_module ) { |
if ( nd_module ) { |
| if ( !nd_gentrace ) pltozpl((LIST)BDY(t),&dmy,&zpl); |
if ( OID(BDY(t)) == O_DPM ) { |
| else zpl = (LIST)BDY(t); |
Z cont; |
| |
DPM zdpm; |
| |
|
| |
if ( !m && !nd_gentrace ) dpm_ptozp((DPM)BDY(t),&cont,&zdpm); |
| |
else zdpm = (DPM)BDY(t); |
| |
c = (pointer)dpmtondv(m,zdpm); |
| |
} else { |
| |
if ( !nd_gentrace ) pltozpl((LIST)BDY(t),&dmy,&zpl); |
| |
else zpl = (LIST)BDY(t); |
| c = (pointer)pltondv(CO,vv,zpl); |
c = (pointer)pltondv(CO,vv,zpl); |
| |
} |
| } else { |
} else { |
| if ( !nd_gentrace ) ptozp((P)BDY(t),1,&dmy,&zp); |
if ( !nd_gentrace ) ptozp((P)BDY(t),1,&dmy,&zp); |
| else zp = (P)BDY(t); |
else zp = (P)BDY(t); |
| c = (pointer)ptondv(CO,vv,zp); |
c = (pointer)ptondv(CO,vv,zp); |
| } |
} |
| if ( ishomo ) |
if ( ishomo ) |
| ishomo = ishomo && ndv_ishomo(c); |
ishomo = ishomo && ndv_ishomo(c); |
| Line 3849 void nd_gr_trace(LIST f,LIST v,int trace,int homo,int |
|
| Line 3886 void nd_gr_trace(LIST f,LIST v,int trace,int homo,int |
|
| nd_bpe = cbpe; |
nd_bpe = cbpe; |
| nd_setup_parameters(nd_nvar,0); |
nd_setup_parameters(nd_nvar,0); |
| for ( r = cand; r; r = NEXT(r) ) { |
for ( r = cand; r; r = NEXT(r) ) { |
| if ( nd_module ) BDY(r) = ndvtopl(0,CO,vv,BDY(r),mrank); |
if ( nd_module ) { |
| else BDY(r) = (pointer)ndvtop(0,CO,vv,BDY(r)); |
if ( retdp ) BDY(r) = ndvtodpm(0,BDY(t)); |
| |
else BDY(r) = ndvtopl(0,CO,vv,BDY(r),mrank); |
| |
} else if ( retdp ) BDY(r) = ndvtodp(0,BDY(t)); |
| |
else BDY(r) = (pointer)ndvtop(0,CO,vv,BDY(t)); |
| } |
} |
| if ( nd_nalg ) |
if ( nd_nalg ) |
| cand = postprocess_algcoef(av,alist,cand); |
cand = postprocess_algcoef(av,alist,cand); |
| Line 5220 NDV ptondv(VL vl,VL dvl,P p) |
|
| Line 5260 NDV ptondv(VL vl,VL dvl,P p) |
|
| |
|
| void pltozpl(LIST l,Q *cont,LIST *pp) |
void pltozpl(LIST l,Q *cont,LIST *pp) |
| { |
{ |
| NODE nd,nd1; |
NODE nd,nd1; |
| int n; |
int n; |
| P *pl; |
P *pl; |
| Q *cl; |
Q *cl; |
| int i; |
int i; |
| P dmy; |
P dmy; |
| Z dvr; |
Z dvr,inv; |
| LIST r; |
LIST r; |
| |
|
| nd = BDY(l); n = length(nd); |
nd = BDY(l); n = length(nd); |
| pl = (P *)MALLOC(n*sizeof(P)); |
pl = (P *)MALLOC(n*sizeof(P)); |
| cl = (Q *)MALLOC(n*sizeof(P)); |
cl = (Q *)MALLOC(n*sizeof(Q)); |
| for ( i = 0; i < n; i++, nd = NEXT(nd) ) |
for ( i = 0; i < n; i++, nd = NEXT(nd) ) { |
| ptozp((P)BDY(nd),1,&cl[i],&dmy); |
ptozp((P)BDY(nd),1,&cl[i],&dmy); |
| qltozl(cl,n,&dvr); |
} |
| nd = BDY(l); |
qltozl(cl,n,&dvr); |
| for ( i = 0; i < n; i++, nd = NEXT(nd) ) { |
divz(ONE,dvr,&inv); |
| divsp(CO,(P)BDY(nd),(P)dvr,&pl[i]); |
nd = BDY(l); |
| } |
for ( i = 0; i < n; i++, nd = NEXT(nd) ) |
| nd = 0; |
divsp(CO,(P)BDY(nd),(P)dvr,&pl[i]); |
| for ( i = n-1; i >= 0; i-- ) { |
nd = 0; |
| MKNODE(nd1,pl[i],nd); nd = nd1; |
for ( i = n-1; i >= 0; i-- ) { |
| } |
MKNODE(nd1,pl[i],nd); nd = nd1; |
| MKLIST(r,nd); |
} |
| *pp = r; |
MKLIST(r,nd); |
| |
*pp = r; |
| } |
} |
| |
|
| /* (a1,a2,...,an) -> a1*e(1)+...+an*e(n) */ |
/* (a1,a2,...,an) -> a1*e(1)+...+an*e(n) */ |
| Line 5433 NDV ndtondv(int mod,ND p) |
|
| Line 5474 NDV ndtondv(int mod,ND p) |
|
| return d; |
return d; |
| } |
} |
| |
|
| |
static int dmm_comp_nv; |
| |
|
| |
int dmm_comp(DMM *a,DMM *b) |
| |
{ |
| |
return -compdmm(dmm_comp_nv,*a,*b); |
| |
} |
| |
|
| |
void dmm_sort_by_ord(DMM *a,int len,int nv) |
| |
{ |
| |
dmm_comp_nv = nv; |
| |
qsort(a,len,sizeof(DMM),(int (*)(const void *,const void *))dmm_comp); |
| |
} |
| |
|
| |
void dpm_sort(DPM p,DPM *rp) |
| |
{ |
| |
DMM t,t1; |
| |
int len,i,n; |
| |
DMM *a; |
| |
DPM d; |
| |
|
| |
if ( !p ) *rp = 0; |
| |
for ( t = BDY(p), len = 0; t; t = NEXT(t), len++ ); |
| |
a = (DMM *)MALLOC(len*sizeof(DMM)); |
| |
for ( i = 0, t = BDY(p); i < len; i++, t = NEXT(t) ) a[i] = t; |
| |
n = p->nv; |
| |
dmm_sort_by_ord(a,len,n); |
| |
t = 0; |
| |
for ( i = len-1; i >= 0; i-- ) { |
| |
NEWDMM(t1); |
| |
t1->c = a[i]->c; |
| |
t1->dl = a[i]->dl; |
| |
t1->pos = a[i]->pos; |
| |
t1->next = t; |
| |
t = t1; |
| |
} |
| |
MKDPM(n,t,d); |
| |
SG(d) = SG(p); |
| |
*rp = d; |
| |
} |
| |
|
| |
NDV dpmtondv(int mod,DPM p) |
| |
{ |
| |
NDV d; |
| |
NMV m,m0; |
| |
DMM t; |
| |
DMM *a; |
| |
int i,len,n; |
| |
|
| |
if ( !p ) return 0; |
| |
for ( t = BDY(p), len = 0; t; t = NEXT(t), len++ ); |
| |
a = (DMM *)MALLOC(len*sizeof(DMM)); |
| |
for ( i = 0, t = BDY(p); i < len; i++, t = NEXT(t) ) a[i] = t; |
| |
n = p->nv; |
| |
dmm_sort_by_ord(a,len,n); |
| |
if ( mod > 0 || mod == -1 ) |
| |
m0 = m = (NMV)MALLOC_ATOMIC_IGNORE_OFF_PAGE(len*nmv_adv); |
| |
else |
| |
m0 = m = MALLOC(len*nmv_adv); |
| |
#if 0 |
| |
ndv_alloc += nmv_adv*len; |
| |
#endif |
| |
for ( i = 0; i < len; i++, NMV_ADV(m) ) { |
| |
dltondl(n,a[i]->dl,DL(m)); |
| |
MPOS(DL(m)) = a[i]->pos; |
| |
CZ(m) = (Z)a[i]->c; |
| |
} |
| |
MKNDV(NV(p),m0,len,d); |
| |
SG(d) = SG(p); |
| |
return d; |
| |
} |
| |
|
| ND ndvtond(int mod,NDV p) |
ND ndvtond(int mod,NDV p) |
| { |
{ |
| ND d; |
ND d; |
| Line 5475 DP ndvtodp(int mod,NDV p) |
|
| Line 5587 DP ndvtodp(int mod,NDV p) |
|
| return d; |
return d; |
| } |
} |
| |
|
| |
DPM ndvtodpm(int mod,NDV p) |
| |
{ |
| |
DMM m,m0; |
| |
DPM d; |
| |
NMV t; |
| |
int i,len; |
| |
|
| |
if ( !p ) return 0; |
| |
m0 = 0; |
| |
len = p->len; |
| |
for ( t = BDY(p), i = 0; i < len; NMV_ADV(t), i++ ) { |
| |
NEXTDMM(m0,m); |
| |
m->dl = ndltodl(nd_nvar,DL(t)); |
| |
m->c = (Obj)ndctop(mod,t->c); |
| |
m->pos = MPOS(DL(t)); |
| |
} |
| |
NEXT(m) = 0; |
| |
MKDPM(nd_nvar,m0,d); |
| |
SG(d) = SG(p); |
| |
return d; |
| |
} |
| |
|
| |
|
| DP ndtodp(int mod,ND p) |
DP ndtodp(int mod,ND p) |
| { |
{ |
| MP m,m0; |
MP m,m0; |
| Line 5562 NODE ndv_reducebase(NODE x,int *perm) |
|
| Line 5697 NODE ndv_reducebase(NODE x,int *perm) |
|
| |
|
| /* XXX incomplete */ |
/* XXX incomplete */ |
| |
|
| |
extern int dpm_ordtype; |
| |
|
| void nd_init_ord(struct order_spec *ord) |
void nd_init_ord(struct order_spec *ord) |
| { |
{ |
| nd_module = (ord->id >= 256); |
nd_module = (ord->id >= 256); |
| Line 5573 void nd_init_ord(struct order_spec *ord) |
|
| Line 5710 void nd_init_ord(struct order_spec *ord) |
|
| nd_poly_weight = ord->top_weight; |
nd_poly_weight = ord->top_weight; |
| nd_module_rank = ord->module_rank; |
nd_module_rank = ord->module_rank; |
| nd_module_weight = ord->module_top_weight; |
nd_module_weight = ord->module_top_weight; |
| |
dpm_ordtype = ord->ispot; |
| } |
} |
| nd_matrix = 0; |
nd_matrix = 0; |
| nd_matrix_len = 0; |
nd_matrix_len = 0; |