| 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); |
| } |
} |
| |
|