version 1.22, 2001/11/19 00:57:10 |
version 1.23, 2001/11/19 01:40:04 |
|
|
* 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.21 2001/10/09 01:36:05 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/dp.c,v 1.22 2001/11/19 00:57:10 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "base.h" |
#include "base.h" |
Line 119 struct ftab dp_tab[] = { |
|
Line 119 struct ftab dp_tab[] = { |
|
{"dp_gr_main",Pdp_gr_main,5}, |
{"dp_gr_main",Pdp_gr_main,5}, |
{"dp_gr_mod_main",Pdp_gr_mod_main,5}, |
{"dp_gr_mod_main",Pdp_gr_mod_main,5}, |
{"dp_gr_f_main",Pdp_gr_f_main,4}, |
{"dp_gr_f_main",Pdp_gr_f_main,4}, |
{"dp_gr_checklist",Pdp_gr_checklist,1}, |
{"dp_gr_checklist",Pdp_gr_checklist,2}, |
|
|
/* F4 algorithm */ |
/* F4 algorithm */ |
{"dp_f4_main",Pdp_f4_main,3}, |
{"dp_f4_main",Pdp_f4_main,3}, |
|
|
VECT g; |
VECT g; |
LIST dp; |
LIST dp; |
NODE r; |
NODE r; |
|
int n; |
|
|
do_weyl = 0; |
do_weyl = 0; |
asir_assert(ARG0(arg),O_LIST,"dp_gr_checklist"); |
asir_assert(ARG0(arg),O_LIST,"dp_gr_checklist"); |
gbcheck_list(BDY((LIST)ARG0(arg)),&g,&dp); |
asir_assert(ARG1(arg),O_N,"dp_gr_checklist"); |
|
n = QTOS((Q)ARG1(arg)); |
|
gbcheck_list(BDY((LIST)ARG0(arg)),n,&g,&dp); |
r = mknode(2,g,dp); |
r = mknode(2,g,dp); |
MKLIST(*rp,r); |
MKLIST(*rp,r); |
} |
} |