=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/fctr.c,v retrieving revision 1.9 retrieving revision 1.14 diff -u -p -r1.9 -r1.14 --- OpenXM_contrib2/asir2000/builtin/fctr.c 2001/10/09 01:36:05 1.9 +++ OpenXM_contrib2/asir2000/builtin/fctr.c 2002/09/30 06:15:51 1.14 @@ -45,7 +45,7 @@ * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. * - * $OpenXM: OpenXM_contrib2/asir2000/builtin/fctr.c,v 1.8 2001/06/26 03:00:40 noro Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/builtin/fctr.c,v 1.13 2002/09/27 08:40:48 noro Exp $ */ #include "ca.h" #include "parse.h" @@ -54,9 +54,11 @@ void Pfctr(), Pgcd(), Pgcdz(), Plcm(), Psqfr(), Pufctr void Pptozp(), Pcont(); void Pafctr(), Pagcd(); void Pmodsqfr(),Pmodfctr(),Pddd(),Pnewddd(),Pddd_tab(); -void Psffctr(),Psfbfctr(); +void Psfsqfr(),Psfbfctr(),Psfufctr(),Psfmintdeg(),Psfgcd(); void Pirred_check(), Pnfctr_mod(); +void sfmintdeg(VL vl,P fx,int dy,int c,P *fr); + struct ftab fctr_tab[] = { {"fctr",Pfctr,-2}, {"gcd",Pgcd,-3}, @@ -70,8 +72,11 @@ struct ftab fctr_tab[] = { {"agcd",Pagcd,3}, {"modsqfr",Pmodsqfr,2}, {"modfctr",Pmodfctr,2}, - {"sffctr",Psffctr,1}, - {"sfbfctr",Psfbfctr,3}, + {"sfsqfr",Psfsqfr,1}, + {"sfufctr",Psfufctr,1}, + {"sfbfctr",Psfbfctr,-4}, + {"sfmintdeg",Psfmintdeg,5}, + {"sfgcd",Psfgcd,2}, #if 0 {"ddd",Pddd,2}, {"newddd",Pnewddd,2}, @@ -320,16 +325,34 @@ LIST *rp; dcptolist(dc,rp); } -void Psffctr(arg,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); - if ( !dc ) { - NEWDC(dc); COEF(dc) = 0; DEG(dc) = ONE; NEXT(dc) = 0; - } dcptolist(dc,rp); } @@ -342,18 +365,44 @@ LIST *rp; 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,&dc); + 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)