version 1.5, 2001/05/09 01:41: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.4 2000/08/22 05:03:57 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 74 void pwr_mod(P,P,V,P,int,N,P *); |
|
Line 74 void pwr_mod(P,P,V,P,int,N,P *); |
|
void rem_mod(P,P,V,P,int,P *); |
void rem_mod(P,P,V,P,int,P *); |
|
|
void Pnullspace(),Pgcda_mod(),Pftest(),Presfmain(),Ppwr_mod(),Puhensel(); |
void Pnullspace(),Pgcda_mod(),Pftest(),Presfmain(),Ppwr_mod(),Puhensel(); |
|
void Psfuhensel(); |
|
|
void Pnullspace_ff(); |
void Pnullspace_ff(); |
|
|
Line 83 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,GFS *,NODE *); |
|
|
extern int current_ff; |
extern int current_ff; |
|
|
Line 95 struct ftab gf_tab[] = { |
|
Line 97 struct ftab gf_tab[] = { |
|
{"resfmain",Presfmain,4}, |
{"resfmain",Presfmain,4}, |
{"pwr_mod",Ppwr_mod,6}, |
{"pwr_mod",Ppwr_mod,6}, |
{"uhensel",Puhensel,4}, |
{"uhensel",Puhensel,4}, |
|
{"sfuhensel",Psfuhensel,3}, |
{0,0,0}, |
{0,0,0}, |
}; |
}; |
|
|
|
|
for ( i = nf-1, top = 0; i >= 0; i-- ) { |
for ( i = nf-1, top = 0; i >= 0; i-- ) { |
lumtop(v,mod,bound,rlist->c[i],&s); |
lumtop(v,mod,bound,rlist->c[i],&s); |
MKNODE(t,s,top); top = t; |
MKNODE(t,s,top); top = t; |
|
} |
|
*rp = top; |
|
} |
|
|
|
void Psfuhensel(arg,rp) |
|
NODE arg; |
|
LIST *rp; |
|
{ |
|
P f; |
|
V x,y; |
|
NODE n,r; |
|
GFS ev; |
|
|
|
f = (P)ARG0(arg); |
|
x = VR((P)ARG1(arg)); |
|
y = VR((P)ARG2(arg)); |
|
sfuhensel(f,x,y,&ev,&r); |
|
MKNODE(n,ev,r); |
|
MKLIST(*rp,n); |
|
} |
|
|
|
void sfuhensel(f,x,y,evp,rp) |
|
P f; |
|
V x,y; |
|
GFS *evp; |
|
NODE *rp; |
|
{ |
|
ML lift; |
|
int i; |
|
P s,u,sf; |
|
NODE t,top; |
|
struct oVL vl1,vl; |
|
|
|
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(lift->bound,lift->c[i],x,y,&s); |
|
reorderp(CO,&vl,s,&u); |
|
MKNODE(t,u,top); top = t; |
} |
} |
*rp = top; |
*rp = top; |
} |
} |