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