version 1.14, 2002/09/30 06:15:51 |
version 1.16, 2002/10/31 03:59:50 |
|
|
* 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.13 2002/09/27 08:40:48 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/fctr.c,v 1.15 2002/10/23 07:54:57 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 Psfsqfr(),Psffctr(),Psfbfctr(),Psfufctr(),Psfmintdeg(),Psfgcd(); |
void Pirred_check(), Pnfctr_mod(); |
void Pirred_check(), Pnfctr_mod(); |
|
void Pbivariate_hensel_special(); |
|
|
void sfmintdeg(VL vl,P fx,int dy,int c,P *fr); |
void sfmintdeg(VL vl,P fx,int dy,int c,P *fr); |
|
|
struct ftab fctr_tab[] = { |
struct ftab fctr_tab[] = { |
|
{"bivariate_hensel_special",Pbivariate_hensel_special,6}, |
{"fctr",Pfctr,-2}, |
{"fctr",Pfctr,-2}, |
{"gcd",Pgcd,-3}, |
{"gcd",Pgcd,-3}, |
{"gcdz",Pgcdz,2}, |
{"gcdz",Pgcdz,2}, |
Line 73 struct ftab fctr_tab[] = { |
|
Line 75 struct ftab fctr_tab[] = { |
|
{"modsqfr",Pmodsqfr,2}, |
{"modsqfr",Pmodsqfr,2}, |
{"modfctr",Pmodfctr,2}, |
{"modfctr",Pmodfctr,2}, |
{"sfsqfr",Psfsqfr,1}, |
{"sfsqfr",Psfsqfr,1}, |
|
{"sffctr",Psffctr,1}, |
{"sfufctr",Psfufctr,1}, |
{"sfufctr",Psfufctr,1}, |
{"sfbfctr",Psfbfctr,-4}, |
{"sfbfctr",Psfbfctr,-4}, |
{"sfmintdeg",Psfmintdeg,5}, |
{"sfmintdeg",Psfmintdeg,5}, |
Line 87 struct ftab fctr_tab[] = { |
|
Line 90 struct ftab fctr_tab[] = { |
|
{0,0,0}, |
{0,0,0}, |
}; |
}; |
|
|
|
/* bivariate_hensel_special(f(x,y):monic in x,g0(x),h0(y),x,y,d) */ |
|
|
|
void Pbivariate_hensel_special(arg,rp) |
|
NODE arg; |
|
LIST *rp; |
|
{ |
|
DCP dc; |
|
struct oVN vn[2]; |
|
P f,g0,h0,ak,bk,gk,hk; |
|
V vx,vy; |
|
VL nvl; |
|
Q qk,cbd,bb; |
|
int d; |
|
NODE n; |
|
|
|
f = (P)ARG0(arg); |
|
g0 = (P)ARG1(arg); |
|
h0 = (P)ARG2(arg); |
|
vx = VR((P)ARG3(arg)); |
|
vy = VR((P)ARG4(arg)); |
|
d = QTOS((Q)ARG5(arg)); |
|
NEWVL(nvl); nvl->v = vx; |
|
NEWVL(NEXT(nvl)); NEXT(nvl)->v = vy; |
|
NEXT(NEXT(nvl)) = 0; |
|
vn[0].v = vy; vn[0].n = 0; |
|
vn[1].v = 0; vn[1].n = 0; |
|
cbound(nvl,f,&cbd); |
|
addq(cbd,cbd,&bb); |
|
henzq1(g0,h0,bb,&bk,&ak,&qk); |
|
henmv(nvl,vn,f,g0,h0,ak,bk,(P)ONE,(P)ONE,(P)ONE,(P)ONE,qk,d,&gk,&hk); |
|
n = mknode(2,gk,hk); |
|
MKLIST(*rp,n); |
|
} |
|
|
void Pfctr(arg,rp) |
void Pfctr(arg,rp) |
NODE arg; |
NODE arg; |
LIST *rp; |
LIST *rp; |
|
|
gcdsf(CO,ps,2,rp); |
gcdsf(CO,ps,2,rp); |
} |
} |
|
|
|
void Psffctr(arg,rp) |
|
NODE arg; |
|
LIST *rp; |
|
{ |
|
DCP dc; |
|
|
|
mfctrsf(CO,ARG0(arg),&dc); |
|
dcptolist(dc,rp); |
|
} |
|
|
void Psfsqfr(arg,rp) |
void Psfsqfr(arg,rp) |
NODE arg; |
NODE arg; |
LIST *rp; |
LIST *rp; |
|
|
{ |
{ |
DCP dc; |
DCP dc; |
|
|
fctrsf(ARG0(arg),&dc); |
ufctrsf(ARG0(arg),&dc); |
dcptolist(dc,rp); |
dcptolist(dc,rp); |
} |
} |
|
|