| 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) |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to dp.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / builtin