version 1.7, 2001/03/14 06:04:52 |
version 1.10, 2001/05/09 01:41:41 |
|
|
* 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/poly.c,v 1.6 2001/03/13 01:10:24 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/poly.c,v 1.9 2001/05/02 09:03:52 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 100 void Pis_irred_gf2(); |
|
Line 100 void Pis_irred_gf2(); |
|
void Pis_irred_ddd_gf2(); |
void Pis_irred_ddd_gf2(); |
void Pget_next_fft_prime(); |
void Pget_next_fft_prime(); |
void Puadj_coef(); |
void Puadj_coef(); |
|
void Preorder(); |
|
void Phomogeneous_part(); |
|
void Phomogeneous_deg(); |
void simp_ff(Obj,Obj *); |
void simp_ff(Obj,Obj *); |
void ranp(int,UP *); |
void ranp(int,UP *); |
void field_order_ff(N *); |
void field_order_ff(N *); |
Line 111 extern int lm_lazy; |
|
Line 114 extern int lm_lazy; |
|
int current_ff; |
int current_ff; |
|
|
struct ftab poly_tab[] = { |
struct ftab poly_tab[] = { |
|
{"homogeneous_deg",Phomogeneous_deg,-2}, |
|
{"homogeneous_part",Phomogeneous_part,-3}, |
|
{"reorder",Preorder,3}, |
{"uadj_coef",Puadj_coef,3}, |
{"uadj_coef",Puadj_coef,3}, |
{"ranp",Pranp,2}, |
{"ranp",Pranp,2}, |
{"p_mag",Pp_mag,1}, |
{"p_mag",Pp_mag,1}, |
Line 215 struct ftab poly_tab[] = { |
|
Line 221 struct ftab poly_tab[] = { |
|
|
|
extern V up_var; |
extern V up_var; |
|
|
|
void Phomogeneous_part(arg,rp) |
|
NODE arg; |
|
P *rp; |
|
{ |
|
if ( argc(arg) == 2 ) |
|
exthp(CO,(P)ARG0(arg),QTOS((Q)ARG1(arg)),rp); |
|
else |
|
exthpc_generic(CO,(P)ARG0(arg),QTOS((Q)ARG2(arg)), |
|
VR((P)ARG1(arg)),rp); |
|
} |
|
|
|
void Phomogeneous_deg(arg,rp) |
|
NODE arg; |
|
Q *rp; |
|
{ |
|
int d; |
|
|
|
if ( argc(arg) == 1 ) |
|
d = homdeg((P)ARG0(arg)); |
|
else |
|
d = getchomdeg(VR((P)ARG1(arg)),(P)ARG0(arg)); |
|
STOQ(d,*rp); |
|
} |
|
|
|
/* |
|
p1 = reorder(p,ovl,nvl) => p1 is 'sorted accoding to nvl. |
|
*/ |
|
|
|
void Preorder(arg,rp) |
|
NODE arg; |
|
P *rp; |
|
{ |
|
VL ovl,nvl,tvl; |
|
NODE n; |
|
|
|
for ( ovl = 0, n = BDY((LIST)ARG1(arg)); n; n = NEXT(n) ) { |
|
if ( !ovl ) { |
|
NEWVL(ovl); tvl = ovl; |
|
} else { |
|
NEWVL(NEXT(tvl)); tvl = NEXT(tvl); |
|
} |
|
VR(tvl) = VR((P)BDY(n)); |
|
} |
|
for ( nvl = 0, n = BDY((LIST)ARG2(arg)); n; n = NEXT(n) ) { |
|
if ( !nvl ) { |
|
NEWVL(nvl); tvl = nvl; |
|
} else { |
|
NEWVL(NEXT(tvl)); tvl = NEXT(tvl); |
|
} |
|
VR(tvl) = VR((P)BDY(n)); |
|
} |
|
reorderp(nvl,ovl,(P)ARG0(arg),rp); |
|
} |
|
|
/* |
/* |
uadj_coef(F,M,M2) |
uadj_coef(F,M,M2) |
if ( F is a non-negative integer ) |
if ( F is a non-negative integer ) |
|
|
getmod_gf2n(&up2); d = degup2(up2); STOQ(d,*rp); break; |
getmod_gf2n(&up2); d = degup2(up2); STOQ(d,*rp); break; |
case FF_GFPN: |
case FF_GFPN: |
getmod_gfpn(&up); STOQ(up->d,*rp); break; |
getmod_gfpn(&up); STOQ(up->d,*rp); break; |
|
case FF_GFS: |
|
if ( !current_gfs_ext ) |
|
*rp = ONE; |
|
else |
|
*rp = DEG(DC(current_gfs_ext)); |
|
break; |
default: |
default: |
error("extdeg_ff : current_ff is not set"); |
error("extdeg_ff : current_ff is not set"); |
} |
} |
|
|
getmod_lm(&lm); NTOQ(lm,1,*rp); break; |
getmod_lm(&lm); NTOQ(lm,1,*rp); break; |
case FF_GF2N: |
case FF_GF2N: |
STOQ(2,*rp); break; |
STOQ(2,*rp); break; |
|
case FF_GFS: |
|
STOQ(current_gfs_p,*rp); break; |
default: |
default: |
error("characteristic_ff : current_ff is not set"); |
error("characteristic_ff : current_ff is not set"); |
} |
} |
|
|
case FF_GFPN: |
case FF_GFPN: |
getmod_lm(&m); |
getmod_lm(&m); |
getmod_gfpn(&up); pwrn(m,up->d,order); break; |
getmod_gfpn(&up); pwrn(m,up->d,order); break; |
|
case FF_GFS: |
|
STON(current_gfs_q,*order); break; |
default: |
default: |
error("field_order_ff : current_ff is not set"); |
error("field_order_ff : current_ff is not set"); |
} |
} |
|
|
ntogfpn((Obj)p,&rpn); simpgfpn((GFPN)rpn,&spn); *rp = (Obj)spn; |
ntogfpn((Obj)p,&rpn); simpgfpn((GFPN)rpn,&spn); *rp = (Obj)spn; |
break; |
break; |
case FF_GFS: |
case FF_GFS: |
ptomp(current_gfs_q,(P)p,&t); mqtogfs(t,&rs); |
if ( NID((Num)p) == N_GFS ) |
*rp = (Obj)rs; |
*rp = p; |
|
else { |
|
ptomp(current_gfs_p,(P)p,&t); mqtogfs(t,&rs); |
|
*rp = (Obj)rs; |
|
} |
break; |
break; |
default: |
default: |
*rp = (Obj)p; |
*rp = (Obj)p; |
|
|
case FF_GF2N: |
case FF_GF2N: |
powermodup_gf2n(p1,&p2); break; |
powermodup_gf2n(p1,&p2); break; |
case FF_GFPN: |
case FF_GFPN: |
|
case FF_GFS: |
powermodup(p1,&p2); break; |
powermodup(p1,&p2); break; |
default: |
default: |
error("pwrmod_ff : current_ff is not set"); |
error("pwrmod_ff : current_ff is not set"); |
|
|
case FF_GF2N: |
case FF_GF2N: |
generic_powermodup_gf2n(g,f,(Q)ARG2(arg),&r); break; |
generic_powermodup_gf2n(g,f,(Q)ARG2(arg),&r); break; |
case FF_GFPN: |
case FF_GFPN: |
|
case FF_GFS: |
generic_powermodup(g,f,(Q)ARG2(arg),&r); break; |
generic_powermodup(g,f,(Q)ARG2(arg),&r); break; |
default: |
default: |
error("generic_pwrmod_ff : current_ff is not set"); |
error("generic_pwrmod_ff : current_ff is not set"); |
|
|
case FF_GF2N: |
case FF_GF2N: |
powertabup_gf2n(f,xp,tab); break; |
powertabup_gf2n(f,xp,tab); break; |
case FF_GFPN: |
case FF_GFPN: |
|
case FF_GFS: |
powertabup(f,xp,tab); break; |
powertabup(f,xp,tab); break; |
default: |
default: |
error("pwrtab_ff : current_ff is not set"); |
error("pwrtab_ff : current_ff is not set"); |