version 1.60, 2005/11/12 08:10:56 |
version 1.81, 2011/06/16 08:17:15 |
|
|
* 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.59 2005/11/06 01:27:28 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/include/ca.h,v 1.80 2011/05/11 06:03:53 ohara Exp $ |
*/ |
*/ |
#include <stdio.h> |
#include <stdio.h> |
#include <stdlib.h> |
#include <stdlib.h> |
|
|
|
|
#if !defined(VISUAL) |
#if !defined(VISUAL) |
#include <unistd.h> |
#include <unistd.h> |
#endif |
|
|
|
#if !defined(VISUAL) |
|
#include <sys/param.h> |
#include <sys/param.h> |
#endif |
#endif |
|
|
Line 93 typedef void * pointer; |
|
Line 90 typedef void * pointer; |
|
#endif |
#endif |
#endif |
#endif |
|
|
|
#define NULLP ((void *)0) |
|
|
|
#define TODO printf("%s: not implemented!\n", __func__) |
|
|
#define COPY(a,b) ((b)=(a)) |
#define COPY(a,b) ((b)=(a)) |
#define FREEN(p) |
#define FREEN(p) |
#define FREEQ(p) |
#define FREEQ(p) |
Line 128 typedef void * pointer; |
|
Line 129 typedef void * pointer; |
|
/* IMAT */ |
/* IMAT */ |
#define O_IMAT 24 |
#define O_IMAT 24 |
/* IMAT */ |
/* IMAT */ |
|
#define O_NBP 25 |
|
|
#define N_Q 0 |
#define N_Q 0 |
#define N_R 1 |
#define N_R 1 |
|
|
A_end=0,A_fnode,A_arf,A_int,A_str,A_internal,A_node,A_notimpl,A_func |
A_end=0,A_fnode,A_arf,A_int,A_str,A_internal,A_node,A_notimpl,A_func |
} farg_type; |
} farg_type; |
|
|
#if defined(LONG_IS_32BIT) |
#if SIZEOF_LONG == 8 |
#if defined(VISUAL) |
typedef long L; |
typedef _int64 L; |
typedef unsigned long UL; |
typedef unsigned _int64 UL; |
#elif defined(HAVE_UNSIGNED_LONG_LONG) |
#else |
|
typedef long long L; |
typedef long long L; |
typedef unsigned long long UL; |
typedef unsigned long long UL; |
|
#elif defined(_MSC_VER) |
|
typedef _int64 L; |
|
typedef unsigned _int64 UL; |
#endif |
#endif |
#else |
|
typedef long L; |
|
typedef unsigned long UL; |
|
#endif |
|
|
|
typedef struct oN { |
typedef struct oN { |
int p; |
int p; |
Line 444 typedef struct oTB { |
|
Line 444 typedef struct oTB { |
|
char **body; |
char **body; |
} *TB; |
} *TB; |
|
|
|
typedef struct oNBP { |
|
short id; |
|
short pad; |
|
struct oNODE *body; |
|
} *NBP; |
|
|
|
/* non-commutative bivariate monomial */ |
|
|
|
typedef struct oNBM { |
|
int d; |
|
P c; |
|
unsigned int *b; |
|
} *NBM; |
|
|
|
#define NEWNBM(p) ((p)=(NBM)MALLOC(sizeof(struct oNBM))) |
|
#define NEWNBMBDY(p,d) \ |
|
((p)->b=(unsigned int *)MALLOC((((d)+31)/32)*sizeof(unsigned int))) |
|
#define NEWNBP(p) ((p)=(NBP)MALLOC(sizeof(struct oNBP)),OID(p)=O_NBP) |
|
#define MKNBP(p,b) (NEWNBP(p),BDY(p)=(b)) |
|
|
|
#define NBM_GET(a,j) (((a)[(j)>>5]&(1<<((j)&31)))?1:0) |
|
#define NBM_SET(a,j) ((a)[(j)>>5]|=(1<<((j)&31))) |
|
#define NBM_CLR(a,j) ((a)[(j)>>5]&=(~(1<<((j)&31)))) |
|
|
typedef struct oObj { |
typedef struct oObj { |
short id; |
short id; |
short pad; |
short pad; |
Line 598 struct order_spec { |
|
Line 622 struct order_spec { |
|
int id; |
int id; |
Obj obj; |
Obj obj; |
int nv; |
int nv; |
|
int ispot; /* 1 means Position over Term (Pos then Term) */ |
|
int pot_nelim; /* size of positions for pot-elimination order */ |
union { |
union { |
int simple; |
int simple; |
struct { |
struct { |
Line 860 DEG(DC(p))=ONE,COEF(DC(p))=(P)ONEM,NEXT(DC(p))=0) |
|
Line 886 DEG(DC(p))=ONE,COEF(DC(p))=(P)ONEM,NEXT(DC(p))=0) |
|
#define MKERR(e,b) (NEWERR(e),(e)->body=(Obj)(b)) |
#define MKERR(e,b) (NEWERR(e),(e)->body=(Obj)(b)) |
#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=(unsigned char *)MALLOC_ATOMIC((l)),bzero((m)->body,(l))) |
#define MKQUOTE(q,b) (NEWQUOTE(q),(q)->body=(pointer)(b)) |
#define MKQUOTE(q,b) (NEWQUOTE(q),(q)->body=(pointer)(b)) |
#define MKQUOTEARG(q,t,b) (NEWQUOTEARG(q),(q)->type=(t),(q)->body=(pointer)(b)) |
#define MKQUOTEARG(q,t,b) (NEWQUOTEARG(q),(q)->type=(t),(q)->body=(pointer)(b)) |
|
|
Line 913 PL(NM(q))=1,BD(NM(q))[0]=(unsigned int)(n),DN(q)=0,(q) |
|
Line 939 PL(NM(q))=1,BD(NM(q))[0]=(unsigned int)(n),DN(q)=0,(q) |
|
#define MKReal(a,b) (!(a)?((b)=0):(NEWReal(b),BDY(b)=(a),(b))) |
#define MKReal(a,b) (!(a)?((b)=0):(NEWReal(b),BDY(b)=(a),(b))) |
#define MKAlg(b,r) \ |
#define MKAlg(b,r) \ |
(!(b)?((r)=0):NUM(b)?((r)=(Alg)(b)):(NEWAlg(r),BDY(r)=(Obj)(b),(r))) |
(!(b)?((r)=0):NUM(b)?((r)=(Alg)(b)):(NEWAlg(r),BDY(r)=(Obj)(b),(r))) |
#define MKDAlg(dp,den,r) (NEWDAlg(r),(r)->nm = (dp),(r)->dn=(den)) |
#define MKDAlg(dp,den,r) (!(dp)?(void *)((r)=0):(void *)(NEWDAlg(r),(r)->nm = (dp),(r)->dn=(den))) |
|
|
#define IMM_MAX 1073741823 |
#define IMM_MAX 1073741823 |
#define IMM_MIN -1073741823 |
#define IMM_MIN -1073741823 |
Line 931 PL(NM(q))=1,BD(NM(q))[0]=(unsigned int)(n),DN(q)=0,(q) |
|
Line 957 PL(NM(q))=1,BD(NM(q))[0]=(unsigned int)(n),DN(q)=0,(q) |
|
#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 RATN(a) (NID(a)==N_Q) |
#define RATN(a) (NID(a)==N_Q) |
|
#define POLY(a) (!(a) ||(OID(a)<=O_P)) |
#define INT(q) (!(q)||(NUM(q)&&RATN((Num)q)&&!DN((Q)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) |
Line 1293 void copyn(N,int,int *); |
|
Line 1320 void copyn(N,int,int *); |
|
void kmulnmain(N,N,N *); |
void kmulnmain(N,N,N *); |
int qcoefp(Obj); |
int qcoefp(Obj); |
int qcoefr(Obj); |
int qcoefr(Obj); |
long get_allocwords(void); |
size_t get_allocwords(void); |
double get_clock(void); |
double get_clock(void); |
void get_eg(struct oEGT *); |
void get_eg(struct oEGT *); |
void printtime(struct oEGT *,struct oEGT *,double); |
void printtime(struct oEGT *,struct oEGT *,double); |
Line 1398 LUM LUMALLOC(int, int); |
|
Line 1425 LUM LUMALLOC(int, int); |
|
BM BMALLOC(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_set_adj(int,int); |
|
void Risa_GC_get_adj(int *,int *); |
void *Risa_GC_malloc(size_t); |
void *Risa_GC_malloc(size_t); |
void *Risa_GC_malloc_atomic(size_t); |
void *Risa_GC_malloc_atomic(size_t); |
void *Risa_GC_realloc(void *,size_t); |
void *Risa_GC_realloc(void *,size_t); |
Line 2447 void resume_timer() ; |
|
Line 2476 void resume_timer() ; |
|
void reset_engine() ; |
void reset_engine() ; |
unsigned int get_asir_version() ; |
unsigned int get_asir_version() ; |
char *get_asir_distribution(); |
char *get_asir_distribution(); |
void create_error(ERR *err,unsigned int serial,char *msg); |
void create_error(ERR *err,unsigned int serial,char *msg,LIST trace); |
void init_lprime(); |
void init_lprime(); |
int get_lprime(int index); |
int get_lprime(int index); |
void create_new_lprimes(int index); |
void create_new_lprimes(int index); |
Line 2607 void bzero(const void *,int); |
|
Line 2636 void bzero(const void *,int); |
|
void bcopy(const void *,void *,int); |
void bcopy(const void *,void *,int); |
char *index(char *,int); |
char *index(char *,int); |
#endif |
#endif |
|
|
|
void chsgnnbp(NBP p,NBP *rp); |
|
void subnbp(VL vl,NBP p1,NBP p2, NBP *rp); |
|
void addnbp(VL vl,NBP p1,NBP p2, NBP *rp); |
|
void mulnbp(VL vl,NBP p1,NBP p2, NBP *rp); |
|
void pwrnbp(VL vl,NBP p1,Q n, NBP *rp); |
|
int compnbp(VL vl,NBP p1,NBP p2); |