version 1.68, 2007/09/06 02:23:40 |
version 1.69, 2007/09/07 00:45: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.c,v 1.67 2007/08/21 23:53:00 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/dp.c,v 1.68 2007/09/06 02:23:40 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "base.h" |
#include "base.h" |
|
|
DP *ps,*hps; |
DP *ps,*hps; |
DP g; |
DP g; |
DP nm; |
DP nm; |
|
Q cont; |
P dn; |
P dn; |
int full; |
int full; |
|
|
|
|
b = BDY((LIST)ARG0(arg)); |
b = BDY((LIST)ARG0(arg)); |
ps = (DP *)BDY((VECT)ARG2(arg)); |
ps = (DP *)BDY((VECT)ARG2(arg)); |
hps = (DP *)BDY((VECT)ARG3(arg)); |
hps = (DP *)BDY((VECT)ARG3(arg)); |
dp_true_nf_marked(b,g,ps,hps,&nm,&dn); |
dp_true_nf_marked(b,g,ps,hps,&nm,&cont,&dn); |
} |
} |
NEWNODE(n); BDY(n) = (pointer)nm; |
n = mknode(3,nm,cont,dn); |
NEWNODE(NEXT(n)); BDY(NEXT(n)) = (pointer)dn; |
MKLIST(*rp,n); |
NEXT(NEXT(n)) = 0; MKLIST(*rp,n); |
|
} |
} |
|
|
void Pdp_weyl_nf_mod(arg,rp) |
void Pdp_weyl_nf_mod(arg,rp) |