version 1.11, 2000/12/22 10:03:29 |
version 1.23, 2001/09/07 08:54:58 |
|
|
* 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.10 2000/12/11 02:00:42 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/include/ca.h,v 1.22 2001/09/04 08:48:20 noro Exp $ |
*/ |
*/ |
#include <stdio.h> |
#include <stdio.h> |
|
|
Line 108 typedef void * pointer; |
|
Line 108 typedef void * pointer; |
|
#define O_F 14 |
#define O_F 14 |
#define O_GFMMAT 15 |
#define O_GFMMAT 15 |
#define O_BYTEARRAY 16 |
#define O_BYTEARRAY 16 |
|
#define O_QUOTE 17 |
#define O_VOID -1 |
#define O_VOID -1 |
|
|
#define N_Q 0 |
#define N_Q 0 |
Line 119 typedef void * pointer; |
|
Line 120 typedef void * pointer; |
|
#define N_LM 6 |
#define N_LM 6 |
#define N_GF2N 7 |
#define N_GF2N 7 |
#define N_GFPN 8 |
#define N_GFPN 8 |
|
#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 237 typedef struct oMQ { |
|
Line 240 typedef struct oMQ { |
|
int cont; |
int cont; |
} *MQ; |
} *MQ; |
|
|
|
typedef struct oGFS { |
|
short id; |
|
char nid; |
|
char pad; |
|
int cont; |
|
} *GFS; |
|
|
|
typedef struct oGFSN { |
|
short id; |
|
char nid; |
|
char pad; |
|
struct oUM *body; |
|
} *GFSN; |
|
|
typedef struct oP { |
typedef struct oP { |
short id; |
short id; |
short pad; |
short pad; |
Line 322 typedef struct oBYTEARRAY { |
|
Line 339 typedef struct oBYTEARRAY { |
|
unsigned char *body; |
unsigned char *body; |
} *BYTEARRAY; |
} *BYTEARRAY; |
|
|
|
typedef struct oQUOTE { |
|
short id; |
|
short pad; |
|
pointer body; |
|
} *QUOTE; |
|
|
typedef struct oObj { |
typedef struct oObj { |
short id; |
short id; |
short pad; |
short pad; |
Line 344 typedef struct oDL { |
|
Line 367 typedef struct oDL { |
|
int d[1]; |
int d[1]; |
} *DL; |
} *DL; |
|
|
|
/* |
|
* compressed DP |
|
*/ |
|
|
|
typedef struct oCDP { |
|
int len; |
|
struct oCMP *body; |
|
} *CDP; |
|
|
|
typedef struct oCMP { |
|
int index; |
|
int c; |
|
} *CMP; |
|
|
typedef struct oVL { |
typedef struct oVL { |
V v; |
V v; |
struct oVL *next; |
struct oVL *next; |
Line 354 typedef struct oNODE { |
|
Line 391 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_GFP 1 |
#define FF_GFP 1 |
#define FF_GF2N 2 |
#define FF_GF2N 2 |
#define FF_GFPN 3 |
#define FF_GFPN 3 |
|
#define FF_GFS 4 |
|
#define FF_GFSN 5 |
|
|
/* include interval.h */ |
/* include interval.h */ |
#include "interval.h" |
#include "interval.h" |
Line 512 bzero((char *)(p),(int)(((n)+1)*sizeof(type)))) |
|
Line 560 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 524 bzero((char *)(q)->b,(w)*sizeof(unsigned int))) |
|
Line 587 bzero((char *)(q)->b,(w)*sizeof(unsigned int))) |
|
/* cell allocators */ |
/* cell allocators */ |
#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 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 535 bzero((char *)(q)->b,(w)*sizeof(unsigned int))) |
|
Line 600 bzero((char *)(q)->b,(w)*sizeof(unsigned int))) |
|
#define NEWERR(e) ((e)=(ERR)MALLOC(sizeof(struct oERR)),OID(e)=O_ERR) |
#define NEWERR(e) ((e)=(ERR)MALLOC(sizeof(struct oERR)),OID(e)=O_ERR) |
#define NEWMATHCAP(e) ((e)=(MATHCAP)MALLOC(sizeof(struct oMATHCAP)),OID(e)=O_MATHCAP) |
#define NEWMATHCAP(e) ((e)=(MATHCAP)MALLOC(sizeof(struct oMATHCAP)),OID(e)=O_MATHCAP) |
#define NEWBYTEARRAY(e) ((e)=(BYTEARRAY)MALLOC(sizeof(struct oBYTEARRAY)),OID(e)=O_BYTEARRAY) |
#define NEWBYTEARRAY(e) ((e)=(BYTEARRAY)MALLOC(sizeof(struct oBYTEARRAY)),OID(e)=O_BYTEARRAY) |
|
#define NEWQUOTE(e) ((e)=(QUOTE)MALLOC(sizeof(struct oQUOTE)),OID(e)=O_QUOTE) |
|
|
#define NEWNODE(a) ((a)=(NODE)MALLOC(sizeof(struct oNODE))) |
#define NEWNODE(a) ((a)=(NODE)MALLOC(sizeof(struct oNODE))) |
#define NEWDC(dc) ((dc)=(DCP)MALLOC(sizeof(struct oDCP))) |
#define NEWDC(dc) ((dc)=(DCP)MALLOC(sizeof(struct oDCP))) |
Line 586 DEG(DC(p))=ONE,COEF(DC(p))=(P)ONEM,NEXT(DC(p))=0) |
|
Line 652 DEG(DC(p))=ONE,COEF(DC(p))=(P)ONEM,NEXT(DC(p))=0) |
|
#define MKMATHCAP(e,b) (NEWMATHCAP(e),(e)->body=(LIST)(b)) |
#define MKMATHCAP(e,b) (NEWMATHCAP(e),(e)->body=(LIST)(b)) |
#define MKBYTEARRAY(m,l) \ |
#define MKBYTEARRAY(m,l) \ |
(NEWBYTEARRAY(m),(m)->len=(l),(m)->body=(char *)MALLOC_ATOMIC((l)),bzero((m)->body,(l))) |
(NEWBYTEARRAY(m),(m)->len=(l),(m)->body=(char *)MALLOC_ATOMIC((l)),bzero((m)->body,(l))) |
|
#define MKQUOTE(q,b) (NEWQUOTE(q),(q)->body=(pointer)(b)) |
|
|
#define NEXTDC(r,c) \ |
#define NEXTDC(r,c) \ |
if(!(r)){NEWDC(r);(c)=(r);}else{NEWDC(NEXT(c));(c)=NEXT(c);} |
if(!(r)){NEWDC(r);(c)=(r);}else{NEWDC(NEXT(c));(c)=NEXT(c);} |
Line 609 SGN(q)=((n)>0?1:-1),NM(q)=NALLOC(1),\ |
|
Line 676 SGN(q)=((n)>0?1:-1),NM(q)=NALLOC(1),\ |
|
PL(NM(q))=1,BD(NM(q))[0]=ABS(n),DN(q)=0,(q))) |
PL(NM(q))=1,BD(NM(q))[0]=ABS(n),DN(q)=0,(q))) |
#define UTOMQ(a,b) \ |
#define UTOMQ(a,b) \ |
((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) \ |
|
((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 636 PL(NM(q))=1,BD(NM(q))[0]=(unsigned int)(n),DN(q)=0,(q) |
|
Line 707 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 655 PL(NM(q))=1,BD(NM(q))[0]=(unsigned int)(n),DN(q)=0,(q) |
|
Line 726 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 712 extern UP2 ONEUP2; |
|
Line 788 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 1067 int int_bits(int); |
|
Line 1144 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 1155 void chsgngfpn(GFPN,GFPN *); |
|
Line 1233 void chsgngfpn(GFPN,GFPN *); |
|
void pwrgfpn(GFPN,Q, GFPN *); |
void pwrgfpn(GFPN,Q, GFPN *); |
int cmpgfpn(GFPN,GFPN); |
int cmpgfpn(GFPN,GFPN); |
|
|
|
void addgfs(GFS,GFS,GFS *); |
|
void subgfs(GFS,GFS,GFS *); |
|
void mulgfs(GFS,GFS,GFS *); |
|
void divgfs(GFS,GFS,GFS *); |
|
void chsgngfs(GFS,GFS *); |
|
void pwrgfs(GFS,Q, 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 1179 void addlm(LM,LM,LM *); |
|
Line 1273 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 1202 void chsgnreal(Num,Num *); |
|
Line 1297 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 1243 void divsrdcp(VL,P,P,P *,P *); |
|
Line 1339 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 1338 void mulsgn(VN,VN,int,VN); |
|
Line 1435 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 1383 void pwrnum(VL,Num,Num,Num *); |
|
Line 1481 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 1441 void substp(VL,P,V,P,P *); |
|
Line 1540 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 *); |