=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/gf.c,v retrieving revision 1.7 retrieving revision 1.8 diff -u -p -r1.7 -r1.8 --- OpenXM_contrib2/asir2000/builtin/gf.c 2001/06/25 04:11:41 1.7 +++ OpenXM_contrib2/asir2000/builtin/gf.c 2001/06/25 10:01:27 1.8 @@ -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/gf.c,v 1.6 2001/06/25 01:35:20 noro Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/builtin/gf.c,v 1.7 2001/06/25 04:11:41 noro Exp $ */ #include "ca.h" #include "parse.h" @@ -84,7 +84,7 @@ void Plinear_form_to_vect(),Pvect_to_linear_form(); void solve_linear_equation_gf2n(GF2N **,int,int,int *); void linear_form_to_array(P,VL,int,Num *); void array_to_linear_form(Num *,VL,int,P *); -void sfuhensel(P,V,V,NODE *); +void sfuhensel(P,V,V,GFS *,NODE *); extern int current_ff; @@ -188,29 +188,38 @@ LIST *rp; { P f; V x,y; - NODE r; + NODE n,r; + GFS ev; f = (P)ARG0(arg); x = VR((P)ARG1(arg)); y = VR((P)ARG2(arg)); - sfuhensel(f,x,y,&r); - MKLIST(*rp,r); + sfuhensel(f,x,y,&ev,&r); + MKNODE(n,ev,r); + MKLIST(*rp,n); } -void sfuhensel(f,x,y,rp) +void sfuhensel(f,x,y,evp,rp) P f; V x,y; +GFS *evp; NODE *rp; { ML lift; int i; - P s; + P s,u,sf; NODE t,top; + struct oVL vl1,vl; - sfhensel(5,f,x,&lift); + sfhensel(5,f,x,evp,&sf,&lift); + + vl1.v = y; vl1.next = 0; + vl.v = x; vl.next = &vl1; + for ( i = lift->n-1, top = 0; i >= 0; i-- ) { - sfbmtop(CO,lift->bound,lift->c[i],x,y,&s); - MKNODE(t,s,top); top = t; + sfbmtop(lift->bound,lift->c[i],x,y,&s); + reorderp(CO,&vl,s,&u); + MKNODE(t,u,top); top = t; } *rp = top; }