| version 1.5, 2001/05/09 01:41:41 |
version 1.7, 2001/06/25 04:11:41 |
|
|
| * 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.6 2001/06/25 01:35:20 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,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}, |
| }; |
}; |
| |
|
|
|
| v = VR(f); |
v = VR(f); |
| 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; |
| |
} |
| |
*rp = top; |
| |
} |
| |
|
| |
void Psfuhensel(arg,rp) |
| |
NODE arg; |
| |
LIST *rp; |
| |
{ |
| |
P f; |
| |
V x,y; |
| |
NODE r; |
| |
|
| |
f = (P)ARG0(arg); |
| |
x = VR((P)ARG1(arg)); |
| |
y = VR((P)ARG2(arg)); |
| |
sfuhensel(f,x,y,&r); |
| |
MKLIST(*rp,r); |
| |
} |
| |
|
| |
void sfuhensel(f,x,y,rp) |
| |
P f; |
| |
V x,y; |
| |
NODE *rp; |
| |
{ |
| |
ML lift; |
| |
int i; |
| |
P s; |
| |
NODE t,top; |
| |
|
| |
sfhensel(5,f,x,&lift); |
| |
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; |
MKNODE(t,s,top); top = t; |
| } |
} |
| *rp = top; |
*rp = top; |