version 1.34, 2004/04/22 07:52:38 |
version 1.36, 2004/05/14 09:20:56 |
|
|
* 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.33 2004/04/15 08:44:15 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/dp-supp.c,v 1.35 2004/05/14 06:02:54 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "base.h" |
#include "base.h" |
Line 1565 int create_composite_order_spec(VL vl,LIST order,struc |
|
Line 1565 int create_composite_order_spec(VL vl,LIST order,struc |
|
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; |
} |
} |
if ( 1 ) print_composite_order_spec(spec); |
|
} |
} |
|
|
|
/* module order spec */ |
|
|
|
void create_modorder_spec(int id,LIST shift,struct modorder_spec **s) |
|
{ |
|
struct modorder_spec *spec; |
|
NODE n,t; |
|
LIST list; |
|
int *ds; |
|
int i,l; |
|
Q q; |
|
|
|
*s = spec = (struct modorder_spec *)MALLOC(sizeof(struct modorder_spec)); |
|
spec->id = id; |
|
if ( shift ) { |
|
n = BDY(shift); |
|
spec->len = l = length(n); |
|
spec->degree_shift = ds = (int *)MALLOC_ATOMIC(l*sizeof(int)); |
|
for ( t = n, i = 0; t; t = NEXT(t), i++ ) |
|
ds[i] = QTOS((Q)BDY(t)); |
|
} else { |
|
spec->len = 0; |
|
spec->degree_shift = 0; |
|
} |
|
STOQ(id,q); |
|
n = mknode(2,q,shift); |
|
MKLIST(list,n); |
|
spec->obj = (Obj)list; |
|
} |
|
|
/* |
/* |
* converters |
* converters |
* |
* |
Line 1867 void dp_hm(DP p,DP *rp) |
|
Line 1895 void dp_hm(DP p,DP *rp) |
|
} |
} |
} |
} |
|
|
|
void dp_ht(DP p,DP *rp) |
|
{ |
|
MP m,mr; |
|
|
|
if ( !p ) |
|
*rp = 0; |
|
else { |
|
m = BDY(p); |
|
NEWMP(mr); mr->dl = m->dl; mr->c = (P)ONE; NEXT(mr) = 0; |
|
MKDP(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; |
Line 2149 LIST dp_order(LIST f,struct order_spec *ord) |
|
Line 2190 LIST dp_order(LIST f,struct order_spec *ord) |
|
} |
} |
default: |
default: |
error("dp_initial_term : unsupported order"); |
error("dp_initial_term : unsupported order"); |
|
} |
|
} |
|
|
|
int dpv_ht(DPV p,DP *h) |
|
{ |
|
int len,max,maxi,i,t; |
|
DP *e; |
|
MP m,mr; |
|
|
|
len = p->len; |
|
e = p->body; |
|
max = -1; |
|
maxi = -1; |
|
for ( i = 0; i < len; i++ ) |
|
if ( e[i] && (t = BDY(e[i])->dl->td) > max ) { |
|
max = t; |
|
maxi = i; |
|
} |
|
if ( max < 0 ) { |
|
*h = 0; |
|
return -1; |
|
} else { |
|
m = BDY(e[maxi]); |
|
NEWMP(mr); mr->dl = m->dl; mr->c = (P)ONE; NEXT(mr) = 0; |
|
MKDP(e[maxi]->nv,mr,*h); (*h)->sugar = mr->dl->td; /* XXX */ |
|
return maxi; |
} |
} |
} |
} |