version 1.16, 2001/09/04 08:48:18 |
version 1.19, 2001/10/01 01:58:02 |
|
|
* 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.15 2001/01/11 08:43:21 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/dp.c,v 1.18 2001/09/19 09:28:16 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "base.h" |
#include "base.h" |
Line 122 struct ftab dp_tab[] = { |
|
Line 122 struct ftab dp_tab[] = { |
|
/* F4 algorithm */ |
/* F4 algorithm */ |
{"dp_f4_main",Pdp_f4_main,3}, |
{"dp_f4_main",Pdp_f4_main,3}, |
{"dp_f4_mod_main",Pdp_f4_mod_main,4}, |
{"dp_f4_mod_main",Pdp_f4_mod_main,4}, |
{"dp_f4_f_main",Pdp_f4_f_main,3}, |
|
|
|
/* weyl algebra */ |
/* weyl algebra */ |
/* multiplication */ |
/* multiplication */ |
Line 148 struct ftab dp_tab[] = { |
|
Line 147 struct ftab dp_tab[] = { |
|
/* F4 algorithm */ |
/* F4 algorithm */ |
{"dp_weyl_f4_main",Pdp_weyl_f4_main,3}, |
{"dp_weyl_f4_main",Pdp_weyl_f4_main,3}, |
{"dp_weyl_f4_mod_main",Pdp_weyl_f4_mod_main,4}, |
{"dp_weyl_f4_mod_main",Pdp_weyl_f4_mod_main,4}, |
{"dp_weyl_f4_f_main",Pdp_weyl_f4_f_main,3}, |
|
|
|
/* misc */ |
/* misc */ |
{"dp_weyl_set_weight",Pdp_weyl_set_weight,-1}, |
{"dp_weyl_set_weight",Pdp_weyl_set_weight,-1}, |
|
|
asir_assert(ARG1(arg),O_LIST,"dp_f4_main"); |
asir_assert(ARG1(arg),O_LIST,"dp_f4_main"); |
f = (LIST)ARG0(arg); v = (LIST)ARG1(arg); |
f = (LIST)ARG0(arg); v = (LIST)ARG1(arg); |
create_order_spec(ARG2(arg),&ord); |
create_order_spec(ARG2(arg),&ord); |
dp_f4_main(f,v,0,&ord,rp); |
dp_f4_main(f,v,&ord,rp); |
} |
} |
|
|
void Pdp_f4_f_main(arg,rp) |
|
NODE arg; |
|
LIST *rp; |
|
{ |
|
LIST f,v; |
|
struct order_spec ord; |
|
|
|
do_weyl = 0; |
|
asir_assert(ARG0(arg),O_LIST,"dp_f4_f_main"); |
|
asir_assert(ARG1(arg),O_LIST,"dp_f4_f_main"); |
|
f = (LIST)ARG0(arg); v = (LIST)ARG1(arg); |
|
create_order_spec(ARG2(arg),&ord); |
|
dp_f4_main(f,v,1,&ord,rp); |
|
} |
|
|
|
void Pdp_f4_mod_main(arg,rp) |
void Pdp_f4_mod_main(arg,rp) |
NODE arg; |
NODE arg; |
LIST *rp; |
LIST *rp; |
|
|
struct order_spec ord; |
struct order_spec ord; |
|
|
do_weyl = 0; |
do_weyl = 0; |
asir_assert(ARG0(arg),O_LIST,"dp_f4_main"); |
asir_assert(ARG0(arg),O_LIST,"dp_f4_mod_main"); |
asir_assert(ARG1(arg),O_LIST,"dp_f4_main"); |
asir_assert(ARG1(arg),O_LIST,"dp_f4_mod_main"); |
asir_assert(ARG2(arg),O_N,"dp_f4_main"); |
asir_assert(ARG2(arg),O_N,"dp_f4_mod_main"); |
f = (LIST)ARG0(arg); v = (LIST)ARG1(arg); m = QTOS((Q)ARG2(arg)); |
f = (LIST)ARG0(arg); v = (LIST)ARG1(arg); m = QTOS((Q)ARG2(arg)); |
create_order_spec(ARG3(arg),&ord); |
create_order_spec(ARG3(arg),&ord); |
dp_f4_mod_main(f,v,m,&ord,rp); |
dp_f4_mod_main(f,v,m,&ord,rp); |
|
|
f = (LIST)ARG0(arg); v = (LIST)ARG1(arg); |
f = (LIST)ARG0(arg); v = (LIST)ARG1(arg); |
create_order_spec(ARG2(arg),&ord); |
create_order_spec(ARG2(arg),&ord); |
do_weyl = 1; |
do_weyl = 1; |
dp_f4_main(f,v,0,&ord,rp); |
dp_f4_main(f,v,&ord,rp); |
do_weyl = 0; |
|
} |
|
|
|
void Pdp_weyl_f4_f_main(arg,rp) |
|
NODE arg; |
|
LIST *rp; |
|
{ |
|
LIST f,v; |
|
struct order_spec ord; |
|
|
|
asir_assert(ARG0(arg),O_LIST,"dp_weyl_f4_main"); |
|
asir_assert(ARG1(arg),O_LIST,"dp_weyl_f4_main"); |
|
f = (LIST)ARG0(arg); v = (LIST)ARG1(arg); |
|
create_order_spec(ARG2(arg),&ord); |
|
do_weyl = 1; |
|
dp_f4_main(f,v,1,&ord,rp); |
|
do_weyl = 0; |
do_weyl = 0; |
} |
} |
|
|