version 1.7, 2001/06/25 04:11:41 |
version 1.8, 2001/06/25 10:01:27 |
|
|
* 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/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 "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 84 void Plinear_form_to_vect(),Pvect_to_linear_form(); |
|
Line 84 void Plinear_form_to_vect(),Pvect_to_linear_form(); |
|
void solve_linear_equation_gf2n(GF2N **,int,int,int *); |
void solve_linear_equation_gf2n(GF2N **,int,int,int *); |
void linear_form_to_array(P,VL,int,Num *); |
void linear_form_to_array(P,VL,int,Num *); |
void array_to_linear_form(Num *,VL,int,P *); |
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; |
extern int current_ff; |
|
|
|
|
{ |
{ |
P f; |
P f; |
V x,y; |
V x,y; |
NODE r; |
NODE n,r; |
|
GFS ev; |
|
|
f = (P)ARG0(arg); |
f = (P)ARG0(arg); |
x = VR((P)ARG1(arg)); |
x = VR((P)ARG1(arg)); |
y = VR((P)ARG2(arg)); |
y = VR((P)ARG2(arg)); |
sfuhensel(f,x,y,&r); |
sfuhensel(f,x,y,&ev,&r); |
MKLIST(*rp,r); |
MKNODE(n,ev,r); |
|
MKLIST(*rp,n); |
} |
} |
|
|
void sfuhensel(f,x,y,rp) |
void sfuhensel(f,x,y,evp,rp) |
P f; |
P f; |
V x,y; |
V x,y; |
|
GFS *evp; |
NODE *rp; |
NODE *rp; |
{ |
{ |
ML lift; |
ML lift; |
int i; |
int i; |
P s; |
P s,u,sf; |
NODE t,top; |
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-- ) { |
for ( i = lift->n-1, top = 0; i >= 0; i-- ) { |
sfbmtop(CO,lift->bound,lift->c[i],x,y,&s); |
sfbmtop(lift->bound,lift->c[i],x,y,&s); |
MKNODE(t,s,top); top = t; |
reorderp(CO,&vl,s,&u); |
|
MKNODE(t,u,top); top = t; |
} |
} |
*rp = top; |
*rp = top; |
} |
} |