version 1.4, 2001/03/29 09:49:56 |
version 1.14, 2002/09/30 06:15:51 |
|
|
* 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/fctr.c,v 1.3 2000/08/22 05:03:57 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/fctr.c,v 1.13 2002/09/27 08:40:48 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 54 void Pfctr(), Pgcd(), Pgcdz(), Plcm(), Psqfr(), Pufctr |
|
Line 54 void Pfctr(), Pgcd(), Pgcdz(), Plcm(), Psqfr(), Pufctr |
|
void Pptozp(), Pcont(); |
void Pptozp(), Pcont(); |
void Pafctr(), Pagcd(); |
void Pafctr(), Pagcd(); |
void Pmodsqfr(),Pmodfctr(),Pddd(),Pnewddd(),Pddd_tab(); |
void Pmodsqfr(),Pmodfctr(),Pddd(),Pnewddd(),Pddd_tab(); |
|
void Psfsqfr(),Psfbfctr(),Psfufctr(),Psfmintdeg(),Psfgcd(); |
void Pirred_check(), Pnfctr_mod(); |
void Pirred_check(), Pnfctr_mod(); |
|
|
|
void sfmintdeg(VL vl,P fx,int dy,int c,P *fr); |
|
|
struct ftab fctr_tab[] = { |
struct ftab fctr_tab[] = { |
{"fctr",Pfctr,1}, |
{"fctr",Pfctr,-2}, |
{"gcd",Pgcd,-3}, |
{"gcd",Pgcd,-3}, |
{"gcdz",Pgcdz,2}, |
{"gcdz",Pgcdz,2}, |
{"lcm",Plcm,2}, |
{"lcm",Plcm,2}, |
Line 69 struct ftab fctr_tab[] = { |
|
Line 72 struct ftab fctr_tab[] = { |
|
{"agcd",Pagcd,3}, |
{"agcd",Pagcd,3}, |
{"modsqfr",Pmodsqfr,2}, |
{"modsqfr",Pmodsqfr,2}, |
{"modfctr",Pmodfctr,2}, |
{"modfctr",Pmodfctr,2}, |
|
{"sfsqfr",Psfsqfr,1}, |
|
{"sfufctr",Psfufctr,1}, |
|
{"sfbfctr",Psfbfctr,-4}, |
|
{"sfmintdeg",Psfmintdeg,5}, |
|
{"sfgcd",Psfgcd,2}, |
#if 0 |
#if 0 |
{"ddd",Pddd,2}, |
{"ddd",Pddd,2}, |
{"newddd",Pnewddd,2}, |
{"newddd",Pnewddd,2}, |
|
|
DCP dc; |
DCP dc; |
|
|
asir_assert(ARG0(arg),O_P,"fctr"); |
asir_assert(ARG0(arg),O_P,"fctr"); |
fctrp(CO,(P)ARG0(arg),&dc); |
if ( argc(arg) == 1 ) |
|
fctrp(CO,(P)ARG0(arg),&dc); |
|
else { |
|
asir_assert(ARG1(arg),O_P,"fctr"); |
|
fctr_wrt_v_p(CO,(P)ARG0(arg),VR((P)ARG1(arg)),&dc); |
|
} |
dcptolist(dc,rp); |
dcptolist(dc,rp); |
} |
} |
|
|
|
|
dcptolist(dc,rp); |
dcptolist(dc,rp); |
} |
} |
|
|
|
void Psfgcd(arg,rp) |
|
NODE arg; |
|
LIST *rp; |
|
{ |
|
P ps[2]; |
|
|
|
ps[0] = (P)ARG0(arg); |
|
ps[1] = (P)ARG1(arg); |
|
gcdsf(CO,ps,2,rp); |
|
} |
|
|
|
void Psfsqfr(arg,rp) |
|
NODE arg; |
|
LIST *rp; |
|
{ |
|
DCP dc; |
|
|
|
sqfrsf(CO,ARG0(arg),&dc); |
|
dcptolist(dc,rp); |
|
} |
|
|
|
void Psfufctr(arg,rp) |
|
NODE arg; |
|
LIST *rp; |
|
{ |
|
DCP dc; |
|
|
|
fctrsf(ARG0(arg),&dc); |
|
dcptolist(dc,rp); |
|
} |
|
|
|
void Psfbfctr(arg,rp) |
|
NODE arg; |
|
LIST *rp; |
|
{ |
|
V x,y; |
|
DCP dc,dct; |
|
P t; |
|
struct oVL vl1,vl2; |
|
VL vl; |
|
int degbound; |
|
|
|
x = VR((P)ARG1(arg)); |
|
y = VR((P)ARG2(arg)); |
|
vl1.v = x; vl1.next = &vl2; |
|
vl2.v = y; vl2.next = 0; |
|
vl = &vl1; |
|
if ( argc(arg) == 4 ) |
|
degbound = QTOS((Q)ARG3(arg)); |
|
else |
|
degbound = -1; |
|
|
|
sfbfctr((P)ARG0(arg),x,y,degbound,&dc); |
|
for ( dct = dc; dct; dct = NEXT(dct) ) { |
|
reorderp(CO,vl,COEF(dct),&t); COEF(dct) = t; |
|
} |
|
dcptolist(dc,rp); |
|
} |
|
|
|
void Psfmintdeg(arg,rp) |
|
NODE arg; |
|
P *rp; |
|
{ |
|
V x,y; |
|
P r; |
|
struct oVL vl1,vl2; |
|
VL vl; |
|
int dy,c; |
|
|
|
x = VR((P)ARG1(arg)); |
|
y = VR((P)ARG2(arg)); |
|
vl1.v = x; vl1.next = &vl2; |
|
vl2.v = y; vl2.next = 0; |
|
vl = &vl1; |
|
dy = QTOS((Q)ARG3(arg)); |
|
c = QTOS((Q)ARG4(arg)); |
|
sfmintdeg(vl,(P)ARG0(arg),dy,c,&r); |
|
reorderp(CO,vl,r,rp); |
|
} |
|
|
void Pmodsqfr(arg,rp) |
void Pmodsqfr(arg,rp) |
NODE arg; |
NODE arg; |
LIST *rp; |
LIST *rp; |
{ |
{ |
DCP dc; |
DCP dc; |
|
|
if ( !dc ) { |
if ( !ARG0(arg) ) { |
NEWDC(dc); COEF(dc) = 0; DEG(dc) = ONE; NEXT(dc) = 0; |
NEWDC(dc); COEF(dc) = 0; DEG(dc) = ONE; NEXT(dc) = 0; |
} |
} else |
modfctrp(ARG0(arg),QTOS((Q)ARG1(arg)),SQFR,&dc); |
modfctrp(ARG0(arg),QTOS((Q)ARG1(arg)),SQFR,&dc); |
dcptolist(dc,rp); |
dcptolist(dc,rp); |
} |
} |
|
|
|
|
{ |
{ |
DCP dc; |
DCP dc; |
|
|
if ( !dc ) { |
if ( !ARG0(arg) ) { |
NEWDC(dc); COEF(dc) = 0; DEG(dc) = ONE; NEXT(dc) = 0; |
NEWDC(dc); COEF(dc) = 0; DEG(dc) = ONE; NEXT(dc) = 0; |
} |
} else |
modfctrp(ARG0(arg),QTOS((Q)ARG1(arg)),DDD,&dc); |
modfctrp(ARG0(arg),QTOS((Q)ARG1(arg)),DDD,&dc); |
dcptolist(dc,rp); |
dcptolist(dc,rp); |
} |
} |
|
|
Line 342 void Pnewddd(arg,rp) |
|
Line 435 void Pnewddd(arg,rp) |
|
NODE arg; |
NODE arg; |
LIST *rp; |
LIST *rp; |
{ |
{ |
DCP dc; |
DCP dc=0; |
|
|
if ( !dc ) { |
if ( !ARG0(arg) ) { |
NEWDC(dc); COEF(dc) = 0; DEG(dc) = ONE; NEXT(dc) = 0; |
NEWDC(dc); COEF(dc) = 0; DEG(dc) = ONE; NEXT(dc) = 0; |
} |
} else |
modfctrp(ARG0(arg),QTOS((Q)ARG1(arg)),NEWDDD,&dc); |
modfctrp(ARG0(arg),QTOS((Q)ARG1(arg)),NEWDDD,&dc); |
dcptolist(dc,rp); |
dcptolist(dc,rp); |
} |
} |
|
|