File: [local] / OpenXM_contrib2 / asir2000 / engine / gfpn.c (download)
Revision 1.1.1.1 (vendor branch), Fri Dec 3 07:39:08 1999 UTC (24 years, 9 months ago) by noro
Branch: NORO
CVS Tags: RELEASE_20000124, RELEASE_1_1_2, ASIR2000 Changes since 1.1: +0 -0
lines
Imported asir2000 as OpenXM_contrib2/asir2000.
|
/* $OpenXM: OpenXM_contrib2/asir2000/engine/gfpn.c,v 1.1.1.1 1999/12/03 07:39:08 noro Exp $ */
#include "ca.h"
#include "base.h"
void chsgngfpn(GFPN,GFPN *);
UP current_mod_gfpn;
void setmod_gfpn(p)
P p;
{
UP t;
ptoup(p,&t); uptolmup(t,¤t_mod_gfpn);
}
void getmod_gfpn(up)
UP *up;
{
*up = current_mod_gfpn;
}
void ptogfpn(q,l)
Obj q;
GFPN *l;
{
UP q1,q2;
if ( !q || (OID(q)==O_N && NID(q)==N_GFPN) ) {
*l = (GFPN)q;
} else if ( (OID(q)==O_N && NID(q)==N_Q) || OID(q)==O_P ) {
ptoup((P)q,&q1); uptolmup(q1,&q2);
MKGFPN(q2,*l);
} else
error("ptogfpn : invalid argument");
}
void gfpntop(q,l)
GFPN q;
P *l;
{
if ( !q )
*l = 0;
else if ( NID(q) == N_GFPN )
uptop(q->body,l);
else
*l = (P)q;
}
void simpgfpn(n,r)
GFPN n;
GFPN *r;
{
UP rem,t;
if ( !n )
*r = 0;
else if ( NID(n) != N_GFPN )
*r = n;
else {
simpup(n->body,&t);
remup(t,current_mod_gfpn,&rem);
MKGFPN(rem,*r);
}
}
#define NZGFPN(a) ((a)&&(OID(a)==O_N)&&(NID(a)==N_GFPN))
void ntogfpn(a,b)
Obj a;
GFPN *b;
{
UP t;
LM lm;
if ( !a || (OID(a)==O_N && NID(a) == N_GFPN) )
*b = (GFPN)a;
else if ( OID(a) == O_N && (NID(a) == N_LM || NID(a) == N_Q) ) {
qtolm((Q)a,&lm);
if ( !lm )
*b = 0;
else {
t = UPALLOC(0); t->d = 0; t->c[0] = (Num)lm;
MKGFPN(t,*b);
}
} else
error("ntogfpn : invalid argument");
}
void addgfpn(a,b,c)
GFPN a,b;
GFPN *c;
{
UP t,t1,t2;
GFPN z;
ntogfpn((Obj)a,&z); a = z; ntogfpn((Obj)b,&z); b = z;
if ( !a )
*c = b;
else if ( !b )
*c = a;
else {
addup(a->body,b->body,&t);
simpup(t,&t1);
remup(t1,current_mod_gfpn,&t2);
MKGFPN(t2,*c);
}
}
void subgfpn(a,b,c)
GFPN a,b;
GFPN *c;
{
UP t,t1,t2;
GFPN z;
ntogfpn((Obj)a,&z); a = z; ntogfpn((Obj)b,&z); b = z;
if ( !a )
chsgngfpn(b,c);
else if ( !b )
*c = a;
else {
subup(a->body,b->body,&t);
simpup(t,&t1);
remup(t1,current_mod_gfpn,&t2);
MKGFPN(t2,*c);
}
}
extern int up_lazy;
void mulgfpn(a,b,c)
GFPN a,b;
GFPN *c;
{
UP t,t1,t2;
GFPN z;
ntogfpn((Obj)a,&z); a = z; ntogfpn((Obj)b,&z); b = z;
if ( !a || !b )
*c = 0;
else {
up_lazy=1;
mulup(a->body,b->body,&t);
up_lazy=0;
simpup(t,&t1);
remup(t1,current_mod_gfpn,&t2);
MKGFPN(t2,*c);
}
}
void squaregfpn(a,c)
GFPN a;
GFPN *c;
{
UP t,t1,t2;
GFPN z;
ntogfpn((Obj)a,&z); a = z;
if ( !a )
*c = 0;
else {
squareup(a->body,&t);
simpup(t,&t1);
remup(t1,current_mod_gfpn,&t2);
MKGFPN(t2,*c);
}
}
void divgfpn(a,b,c)
GFPN a,b;
GFPN *c;
{
UP t,t1,i,s;
GFPN z;
ntogfpn((Obj)a,&z); a = z; ntogfpn((Obj)b,&z); b = z;
if ( !b )
error("divgfpn: division by 0");
else if ( !a )
*c = 0;
else {
extended_gcdup(b->body,current_mod_gfpn,&i);
mulup(a->body,i,&t);
simpup(t,&t1);
remup(t1,current_mod_gfpn,&s);
MKGFPN(s,*c);
}
}
void invgfpn(b,c)
GFPN b;
GFPN *c;
{
UP i,t;
GFPN z;
ntogfpn((Obj)b,&z); b = z;
if ( !b )
error("divgfpn: division by 0");
else {
simpup(b->body,&t);
extended_gcdup(t,current_mod_gfpn,&i);
MKGFPN(i,*c);
}
}
void chsgngfpn(a,c)
GFPN a,*c;
{
GFPN z;
UP t,t1;
ntogfpn((Obj)a,&z); a = z;
if ( !a )
*c = 0;
else {
simpup(a->body,&t);
chsgnup(t,&t1);
MKGFPN(t1,*c);
}
}
void pwrgfpn(a,b,c)
GFPN a;
Q b;
GFPN *c;
{
UP t,s;
GFPN r;
Q b0;
if ( !b ) {
t = UPALLOC(0); t->d = 0; t->c[0] = (Num)ONELM; MKGFPN(t,*c);
} else if ( !a )
*c = 0;
else {
DUPQ(b,b0); SGN(b0)=1;
simpup(a->body,&s);
hybrid_generic_powermodup(s,current_mod_gfpn,b0,&t);
MKGFPN(t,r);
if ( SGN(b) < 0 )
invgfpn(r,c);
else
*c = r;
}
}
int cmpgfpn(a,b)
GFPN a,b;
{
GFPN z;
ntogfpn((Obj)a,&z); a = z; ntogfpn((Obj)b,&z); b = z;
if ( !a )
if ( !b )
return 0;
else
return -1;
else if ( !b )
return 1;
else
return compup(a->body,b->body);
}
void randomgfpn(r)
GFPN *r;
{
int i,d;
LM *tb;
UP t;
if ( !current_mod_gfpn )
error("randomgfpn : current_mod_gfpn is not set");
d = current_mod_gfpn->d;
t = UPALLOC(d-1);
for ( i = 0, tb = (LM *)t->c; i < d; i++ )
random_lm(&tb[i]);
for ( i = d-1; i >= 0 && !tb[i]; i-- );
if ( i < 0 )
*r = 0;
else {
t->d = i; MKGFPN(t,*r);
}
}