version 1.13, 2001/04/20 02:34:22 |
version 1.26, 2001/09/17 07:16:59 |
|
|
* 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/include/ca.h,v 1.12 2001/03/13 01:10:26 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/include/ca.h,v 1.25 2001/09/13 03:04:28 noro Exp $ |
*/ |
*/ |
#include <stdio.h> |
#include <stdio.h> |
|
|
Line 121 typedef void * pointer; |
|
Line 121 typedef void * pointer; |
|
#define N_GF2N 7 |
#define N_GF2N 7 |
#define N_GFPN 8 |
#define N_GFPN 8 |
#define N_GFS 9 |
#define N_GFS 9 |
|
#define N_GFSN 10 |
|
|
#define ORD_REVGRADLEX 0 |
#define ORD_REVGRADLEX 0 |
#define ORD_GRADLEX 1 |
#define ORD_GRADLEX 1 |
Line 246 typedef struct oGFS { |
|
Line 247 typedef struct oGFS { |
|
int cont; |
int cont; |
} *GFS; |
} *GFS; |
|
|
|
typedef struct oGFSN { |
|
short id; |
|
char nid; |
|
char pad; |
|
struct oUM *body; |
|
} *GFSN; |
|
|
typedef struct oP { |
typedef struct oP { |
short id; |
short id; |
Line 360 typedef struct oDL { |
|
Line 367 typedef struct oDL { |
|
int d[1]; |
int d[1]; |
} *DL; |
} *DL; |
|
|
|
/* |
|
* compressed DP |
|
*/ |
|
|
|
typedef struct oCDP { |
|
int len; |
|
int psindex; |
|
unsigned short *body; |
|
} *CDP; |
|
|
|
typedef struct oCM { |
|
int index; |
|
int c; |
|
} *CM; |
|
|
|
/* bucket list for DL */ |
|
|
|
typedef struct oDLBUCKET { |
|
int td; |
|
struct oNODE *body; |
|
struct oDLBUCKET *next; |
|
} *DLBUCKET; |
|
|
typedef struct oVL { |
typedef struct oVL { |
V v; |
V v; |
struct oVL *next; |
struct oVL *next; |
Line 370 typedef struct oNODE { |
|
Line 400 typedef struct oNODE { |
|
struct oNODE *next; |
struct oNODE *next; |
} *NODE; |
} *NODE; |
|
|
|
/* univariate poly over small finite field; dense */ |
typedef struct oUM { |
typedef struct oUM { |
int d; |
int d; |
int c[1]; |
int c[1]; |
} *UM; |
} *UM; |
|
|
|
/* univariate poly with padic coeff */ |
typedef struct oLUM { |
typedef struct oLUM { |
int d; |
int d; |
int *c[1]; |
int *c[1]; |
} *LUM; |
} *LUM; |
|
|
|
/* bivariate poly over small finite field; dense */ |
|
|
|
typedef struct oBM { |
|
int d; |
|
UM c[1]; |
|
} *BM; |
|
|
typedef struct oML { |
typedef struct oML { |
int n; |
int n; |
int mod; |
int mod; |
|
|
#define FF_GF2N 2 |
#define FF_GF2N 2 |
#define FF_GFPN 3 |
#define FF_GFPN 3 |
#define FF_GFS 4 |
#define FF_GFS 4 |
|
#define FF_GFSN 5 |
|
|
/* include interval.h */ |
/* include interval.h */ |
#include "interval.h" |
#include "interval.h" |
Line 529 bzero((char *)(p),(int)(((n)+1)*sizeof(type)))) |
|
Line 569 bzero((char *)(p),(int)(((n)+1)*sizeof(type)))) |
|
(p) = ___q___;\ |
(p) = ___q___;\ |
} |
} |
|
|
|
#define W_BMALLOC(dx,dy,p)\ |
|
{\ |
|
BM ___q___;\ |
|
int ___i___;\ |
|
UM *___c___;\ |
|
(___q___) = (BM)ALLOCA(TRUESIZE(oBM,(dy),UM));\ |
|
DEG(___q___) = dy;\ |
|
___c___ = (UM *)COEF(___q___);\ |
|
for ( ___i___ = 0; ___i___ <= dy; ___i___++ ) {\ |
|
___c___[___i___] = W_UMALLOC(dx);\ |
|
clearum(___c___[___i___],dx);\ |
|
}\ |
|
(p) = ___q___;\ |
|
} |
|
|
#define NEWUP2(q,w)\ |
#define NEWUP2(q,w)\ |
((q)=(UP2)MALLOC_ATOMIC(TRUESIZE(oUP2,(w)-1,unsigned int)),\ |
((q)=(UP2)MALLOC_ATOMIC(TRUESIZE(oUP2,(w)-1,unsigned int)),\ |
bzero((char *)(q)->b,(w)*sizeof(unsigned int))) |
bzero((char *)(q)->b,(w)*sizeof(unsigned int))) |
Line 542 bzero((char *)(q)->b,(w)*sizeof(unsigned int))) |
|
Line 597 bzero((char *)(q)->b,(w)*sizeof(unsigned int))) |
|
#define NEWQ(q) ((q)=(Q)MALLOC(sizeof(struct oQ)),OID(q)=O_N,NID(q)=N_Q) |
#define NEWQ(q) ((q)=(Q)MALLOC(sizeof(struct oQ)),OID(q)=O_N,NID(q)=N_Q) |
#define NEWMQ(q) ((q)=(MQ)MALLOC_ATOMIC(sizeof(struct oMQ)),OID(q)=O_N,NID(q)=N_M) |
#define NEWMQ(q) ((q)=(MQ)MALLOC_ATOMIC(sizeof(struct oMQ)),OID(q)=O_N,NID(q)=N_M) |
#define NEWGFS(q) ((q)=(GFS)MALLOC_ATOMIC(sizeof(struct oGFS)),OID(q)=O_N,NID(q)=N_GFS) |
#define NEWGFS(q) ((q)=(GFS)MALLOC_ATOMIC(sizeof(struct oGFS)),OID(q)=O_N,NID(q)=N_GFS) |
|
#define NEWGFSN(q) ((q)=(GFSN)MALLOC(sizeof(struct oGFSN)),OID(q)=O_N,NID(q)=N_GFSN) |
#define NEWP(p) ((p)=(P)MALLOC(sizeof(struct oP)),OID(p)=O_P) |
#define NEWP(p) ((p)=(P)MALLOC(sizeof(struct oP)),OID(p)=O_P) |
#define NEWR(r) ((r)=(R)MALLOC(sizeof(struct oR)),OID(r)=O_R,(r)->reduced=0) |
#define NEWR(r) ((r)=(R)MALLOC(sizeof(struct oR)),OID(r)=O_R,(r)->reduced=0) |
#define NEWLIST(l) ((l)=(LIST)MALLOC(sizeof(struct oLIST)),OID(l)=O_LIST) |
#define NEWLIST(l) ((l)=(LIST)MALLOC(sizeof(struct oLIST)),OID(l)=O_LIST) |
Line 560 bzero((char *)(q)->b,(w)*sizeof(unsigned int))) |
|
Line 616 bzero((char *)(q)->b,(w)*sizeof(unsigned int))) |
|
#define NEWV(v) ((v)=(V)MALLOC(sizeof(struct oV))) |
#define NEWV(v) ((v)=(V)MALLOC(sizeof(struct oV))) |
#define NEWVL(vl) ((vl)=(VL)MALLOC(sizeof(struct oVL))) |
#define NEWVL(vl) ((vl)=(VL)MALLOC(sizeof(struct oVL))) |
#define NEWMP(m) ((m)=(MP)MALLOC(sizeof(struct oMP))) |
#define NEWMP(m) ((m)=(MP)MALLOC(sizeof(struct oMP))) |
|
#define NEWDLBUCKET(a) ((a)=(DLBUCKET)MALLOC(sizeof(struct oDLBUCKET))) |
|
|
#define NEWMAT(l) ((l)=(MAT)MALLOC(sizeof(struct oMAT)),OID(l)=O_MAT) |
#define NEWMAT(l) ((l)=(MAT)MALLOC(sizeof(struct oMAT)),OID(l)=O_MAT) |
#define NEWGF2MAT(l) ((l)=(GF2MAT)MALLOC(sizeof(struct oGF2MAT)),OID(l)=O_GF2MAT) |
#define NEWGF2MAT(l) ((l)=(GF2MAT)MALLOC(sizeof(struct oGF2MAT)),OID(l)=O_GF2MAT) |
Line 615 if(!(r)){NEWNODE(r);(c)=(r);}else{NEWNODE(NEXT(c));(c) |
|
Line 672 if(!(r)){NEWNODE(r);(c)=(r);}else{NEWNODE(NEXT(c));(c) |
|
if(!(r)){NEWMP(r);(c)=(r);}else{NEWMP(NEXT(c));(c)=NEXT(c);} |
if(!(r)){NEWMP(r);(c)=(r);}else{NEWMP(NEXT(c));(c)=NEXT(c);} |
#define NEXTMP2(r,c,s) \ |
#define NEXTMP2(r,c,s) \ |
if(!(r)){(c)=(r)=(s);}else{NEXT(c)=(s);(c)=(s);} |
if(!(r)){(c)=(r)=(s);}else{NEXT(c)=(s);(c)=(s);} |
|
#define NEXTDLBUCKET(r,c) \ |
|
if(!(r)){NEWDLBUCKET(r);(c)=(r);}else{NEWDLBUCKET(NEXT(c));(c)=NEXT(c);} |
|
|
/* convertors */ |
/* convertors */ |
#define NTOQ(n,s,q) \ |
#define NTOQ(n,s,q) \ |
Line 631 PL(NM(q))=1,BD(NM(q))[0]=ABS(n),DN(q)=0,(q))) |
|
Line 690 PL(NM(q))=1,BD(NM(q))[0]=ABS(n),DN(q)=0,(q))) |
|
((a)?(NEWMQ(b),CONT(b)=(unsigned int)(a),(b)):((b)=0)) |
((a)?(NEWMQ(b),CONT(b)=(unsigned int)(a),(b)):((b)=0)) |
#define MKGFS(a,b) \ |
#define MKGFS(a,b) \ |
((NEWGFS(b),CONT(b)=(a),(b))) |
((NEWGFS(b),CONT(b)=(a),(b))) |
|
#define MKGFSN(a,b) \ |
|
((DEG(a)>=0)?(NEWGFSN(b),BDY(b)=(a),(b)):((b)=0)) |
#define STOMQ(a,b) \ |
#define STOMQ(a,b) \ |
((a)?(NEWMQ(b),CONT(b)=(a),(b)):((b)=0)) |
((a)?(NEWMQ(b),CONT(b)=(a),(b)):((b)=0)) |
#define UTON(u,n) \ |
#define UTON(u,n) \ |
Line 658 PL(NM(q))=1,BD(NM(q))[0]=(unsigned int)(n),DN(q)=0,(q) |
|
Line 719 PL(NM(q))=1,BD(NM(q))[0]=(unsigned int)(n),DN(q)=0,(q) |
|
/* predicates */ |
/* predicates */ |
#define NUM(p) (OID(p)==O_N) |
#define NUM(p) (OID(p)==O_N) |
#define RAT(p) (OID(p)==O_R) |
#define RAT(p) (OID(p)==O_R) |
#define INT(q) (!DN((Q)q)) |
|
#define RATN(a) (NID(a)==N_Q) |
#define RATN(a) (NID(a)==N_Q) |
|
#define INT(q) (!(q)||(NUM(q)&&RATN((Num)q)&&!DN((Q)q))) |
#define REAL(a) (NID(a)==N_R) |
#define REAL(a) (NID(a)==N_R) |
#define BIGFLOAT(a) (NID(a)==N_B) |
#define BIGFLOAT(a) (NID(a)==N_B) |
#define SFF(a) (NID(a)==N_M) |
#define SFF(a) (NID(a)==N_M) |
Line 677 PL(NM(q))=1,BD(NM(q))[0]=(unsigned int)(n),DN(q)=0,(q) |
|
Line 738 PL(NM(q))=1,BD(NM(q))[0]=(unsigned int)(n),DN(q)=0,(q) |
|
#define ITOS(p) (((unsigned int)(p))&0x7fffffff) |
#define ITOS(p) (((unsigned int)(p))&0x7fffffff) |
#define STOI(i) ((P)((unsigned int)(i)|0x80000000)) |
#define STOI(i) ((P)((unsigned int)(i)|0x80000000)) |
|
|
|
/* immediate GFS representation */ |
|
|
|
#define IFTOF(p) ((int)(((unsigned int)(p))&0x7fffffff)) |
|
#define FTOIF(i) ((int)(((unsigned int)(i)|0x80000000))) |
|
|
struct cdl { |
struct cdl { |
P c; |
P c; |
DL d; |
DL d; |
Line 734 extern UP2 ONEUP2; |
|
Line 800 extern UP2 ONEUP2; |
|
extern FILE *asir_out; |
extern FILE *asir_out; |
#if defined(__GNUC__) |
#if defined(__GNUC__) |
extern const int sprime[]; |
extern const int sprime[]; |
extern const int lprime[]; |
|
#else |
#else |
extern int sprime[]; |
extern int sprime[]; |
extern int lprime[]; |
|
#endif |
#endif |
|
|
|
extern int lprime_size; |
|
extern int *lprime; |
|
|
extern void (*addnumt[])(); |
extern void (*addnumt[])(); |
extern void (*subnumt[])(); |
extern void (*subnumt[])(); |
extern void (*mulnumt[])(); |
extern void (*mulnumt[])(); |
Line 1089 int int_bits(int); |
|
Line 1156 int int_bits(int); |
|
|
|
|
|
LUM LUMALLOC(int, int); |
LUM LUMALLOC(int, int); |
|
BM BMALLOC(int, int); |
Obj ToAlg(Num); |
Obj ToAlg(Num); |
UM *berlemain(register int, UM, UM *); |
UM *berlemain(register int, UM, UM *); |
void *Risa_GC_malloc(size_t); |
void *Risa_GC_malloc(size_t); |
Line 1185 void chsgngfs(GFS,GFS *); |
|
Line 1253 void chsgngfs(GFS,GFS *); |
|
void pwrgfs(GFS,Q, GFS *); |
void pwrgfs(GFS,Q, GFS *); |
int cmpgfs(GFS,GFS); |
int cmpgfs(GFS,GFS); |
|
|
|
void addgfsn(GFSN,GFSN,GFSN *); |
|
void subgfsn(GFSN,GFSN,GFSN *); |
|
void mulgfsn(GFSN,GFSN,GFSN *); |
|
void divgfsn(GFSN,GFSN,GFSN *); |
|
void chsgngfsn(GFSN,GFSN *); |
|
void pwrgfsn(GFSN,Q, GFSN *); |
|
int cmpgfsn(GFSN,GFSN); |
|
|
void addalg(Num,Num,Num *); |
void addalg(Num,Num,Num *); |
void addbf(Num,Num,Num *); |
void addbf(Num,Num,Num *); |
void addcplx(Num,Num,Num *); |
void addcplx(Num,Num,Num *); |
Line 1209 void addlm(LM,LM,LM *); |
|
Line 1285 void addlm(LM,LM,LM *); |
|
void addstr(VL,STRING,STRING,STRING *); |
void addstr(VL,STRING,STRING,STRING *); |
void addum(int,UM,UM,UM); |
void addum(int,UM,UM,UM); |
void addvect(VL,VECT,VECT,VECT *); |
void addvect(VL,VECT,VECT,VECT *); |
|
void addquote(VL,QUOTE,QUOTE,QUOTE *); |
void adjc(VL,P,P,P,Q,P *,P *); |
void adjc(VL,P,P,P,Q,P *,P *); |
void afctr(VL,P,P,DCP *); |
void afctr(VL,P,P,DCP *); |
void afctrmain(VL,P,P,int,DCP *); |
void afctrmain(VL,P,P,int,DCP *); |
Line 1232 void chsgnreal(Num,Num *); |
|
Line 1309 void chsgnreal(Num,Num *); |
|
void chsgnmi(MQ,MQ *); |
void chsgnmi(MQ,MQ *); |
void chsgnlm(LM,LM *); |
void chsgnlm(LM,LM *); |
void chsgnvect(VECT,VECT *); |
void chsgnvect(VECT,VECT *); |
|
void chsgnquote(QUOTE,QUOTE *); |
void clctv(VL,P,VL *); |
void clctv(VL,P,VL *); |
void clctvr(VL,Obj,VL *); |
void clctvr(VL,Obj,VL *); |
void cm2p(Q,Q,P,P *); |
void cm2p(Q,Q,P,P *); |
Line 1273 void divsrdcp(VL,P,P,P *,P *); |
|
Line 1351 void divsrdcp(VL,P,P,P *,P *); |
|
void divsrmp(VL,int,P,P,P *,P *); |
void divsrmp(VL,int,P,P,P *,P *); |
void divsrp(VL,P,P,P *,P *); |
void divsrp(VL,P,P,P *,P *); |
void divvect(VL,Obj,Obj,Obj *); |
void divvect(VL,Obj,Obj,Obj *); |
|
void divquote(VL,QUOTE,QUOTE,QUOTE *); |
void dtest(P,ML,int,DCP *); |
void dtest(P,ML,int,DCP *); |
void dtestroot(int,int,P,LUM,struct oDUM *,DCP *); |
void dtestroot(int,int,P,LUM,struct oDUM *,DCP *); |
void dtestroot1(int,int,P,LUM,P *); |
void dtestroot1(int,int,P,LUM,P *); |
Line 1368 void mulsgn(VN,VN,int,VN); |
|
Line 1447 void mulsgn(VN,VN,int,VN); |
|
void mulsum(register int,UM,register int,UM); |
void mulsum(register int,UM,register int,UM); |
void mulum(register int,UM,UM,UM); |
void mulum(register int,UM,UM,UM); |
void mulvect(VL,Obj,Obj,Obj *); |
void mulvect(VL,Obj,Obj,Obj *); |
|
void mulquote(VL,QUOTE,QUOTE,QUOTE *); |
void mulvectmat(VL,VECT,MAT,VECT *); |
void mulvectmat(VL,VECT,MAT,VECT *); |
void next(VN); |
void next(VN); |
void nezgcdnp_sqfr_primitive(VL,P,P *,int,P *); |
void nezgcdnp_sqfr_primitive(VL,P,P *,int,P *); |
Line 1413 void pwrnum(VL,Num,Num,Num *); |
|
Line 1493 void pwrnum(VL,Num,Num,Num *); |
|
void pwrp(VL,P,Q,P *); |
void pwrp(VL,P,Q,P *); |
void pwrq(Q,Q,Q *); |
void pwrq(Q,Q,Q *); |
void pwrr(VL,Obj,Obj,Obj *); |
void pwrr(VL,Obj,Obj,Obj *); |
|
void pwrquote(VL,QUOTE,QUOTE,QUOTE *); |
void pwrreal(Num,Num,Real *); |
void pwrreal(Num,Num,Real *); |
void pwrmi(MQ,Q,MQ *); |
void pwrmi(MQ,Q,MQ *); |
void pwrlm(LM,Q,LM *); |
void pwrlm(LM,Q,LM *); |
Line 1471 void substp(VL,P,V,P,P *); |
|
Line 1552 void substp(VL,P,V,P,P *); |
|
void substvp(VL,P,VN,P *); |
void substvp(VL,P,VN,P *); |
void subum(int,UM,UM,UM); |
void subum(int,UM,UM,UM); |
void subvect(VL,VECT,VECT,VECT *); |
void subvect(VL,VECT,VECT,VECT *); |
|
void subquote(VL,QUOTE,QUOTE,QUOTE *); |
void toreim(Num,Num *,Num *); |
void toreim(Num,Num *,Num *); |
void ucsump(P,Q *); |
void ucsump(P,Q *); |
void udivpwm(Q,P,P,P *,P *); |
void udivpwm(Q,P,P,P *,P *); |