version 1.91, 2015/08/06 10:01:52 |
version 1.99, 2017/02/07 08:30:31 |
|
|
* 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.90 2015/08/06 00:43:21 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/include/ca.h,v 1.98 2017/01/08 03:05:40 noro Exp $ |
*/ |
*/ |
#include <stdio.h> |
#include <stdio.h> |
#include <stdlib.h> |
#include <stdlib.h> |
#include <gmp.h> |
#include <gmp.h> |
#include <mpfr.h> |
#include <mpc.h> |
|
#include <limits.h> |
|
|
/* from mpfr-impl.h */ |
/* from mpfr-impl.h */ |
#define MPFR_PREC(x) ((x)->_mpfr_prec) |
#define MPFR_PREC(x) ((x)->_mpfr_prec) |
|
|
#define MPFR_LAST_LIMB(x) ((MPFR_PREC (x) - 1) / GMP_NUMB_BITS) |
#define MPFR_LAST_LIMB(x) ((MPFR_PREC (x) - 1) / GMP_NUMB_BITS) |
#define MPFR_LIMB_SIZE(x) (MPFR_LAST_LIMB (x) + 1) |
#define MPFR_LIMB_SIZE(x) (MPFR_LAST_LIMB (x) + 1) |
|
|
|
#define RAT_CEIL(nm,dn) (((nm)+(dn)-1)/((dn))) |
|
#define MPFR_LIMB_SIZE_REAL(x) (RAT_CEIL(MPFR_PREC((x)),sizeof(mp_limb_t)*CHAR_BIT) * (sizeof(mp_limb_t)/sizeof(int)) ) |
|
#define MPFR_LIMB_SIZE_BODY(x) (RAT_CEIL(MPFR_PREC((x)),sizeof(unsigned int)*CHAR_BIT)) |
|
|
#if defined(hpux) |
#if defined(hpux) |
#include <netinet/in.h> |
#include <netinet/in.h> |
# define setbuffer(FP,buf,siz) setvbuf(FP,buf,_IOFBF,siz) |
# define setbuffer(FP,buf,siz) setvbuf(FP,buf,_IOFBF,siz) |
#endif |
#endif |
|
|
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
#include <unistd.h> |
#include <unistd.h> |
#include <sys/param.h> |
#include <sys/param.h> |
#endif |
#endif |
|
|
#define alloca(x) __builtin_alloca(x) |
#define alloca(x) __builtin_alloca(x) |
#endif |
#endif |
|
|
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
#if defined(VISUAL) || defined(__MINGW32__) |
#include <limits.h> |
#include <limits.h> |
#include <malloc.h> |
#include <malloc.h> |
#endif |
#endif |
Line 94 typedef void * pointer; |
|
Line 99 typedef void * pointer; |
|
#include <strings.h> |
#include <strings.h> |
#else |
#else |
#include <string.h> |
#include <string.h> |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
#if defined(VISUAL) || defined(__MINGW32__) |
#define index(s,c) strchr(s,c) |
#define index(s,c) strchr(s,c) |
#define bzero(s,len) memset(s,0,len) |
#define bzero(s,len) memset(s,0,len) |
#define bcopy(x,y,len) memcpy(y,x,len) |
#define bcopy(x,y,len) memcpy(y,x,len) |
Line 663 struct order_spec { |
|
Line 668 struct order_spec { |
|
int nv; |
int nv; |
int ispot; /* 1 means Position over Term (Pos then Term) */ |
int ispot; /* 1 means Position over Term (Pos then Term) */ |
int pot_nelim; /* size of positions for pot-elimination order */ |
int pot_nelim; /* size of positions for pot-elimination order */ |
|
int *top_weight; |
|
int module_rank; |
|
int *module_top_weight; |
union { |
union { |
int simple; |
int simple; |
struct { |
struct { |
Line 772 typedef unsigned int ModNum; |
|
Line 780 typedef unsigned int ModNum; |
|
#define GCFREE(p) Risa_GC_free(p) |
#define GCFREE(p) Risa_GC_free(p) |
#define CALLOC(d,e) MALLOC((d)*(e)) |
#define CALLOC(d,e) MALLOC((d)*(e)) |
|
|
#if !defined(__CYGWIN__) && (defined(__GNUC__) || defined(vax) || defined(apollo) || defined(alloca) || defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__)) |
#if !defined(__CYGWIN__) && (defined(__GNUC__) || defined(vax) || defined(apollo) || defined(alloca) || defined(VISUAL) || defined(__MINGW32__)) |
#define ALLOCA(d) alloca(d) |
#define ALLOCA(d) alloca(d) |
#else |
#else |
#define ALLOCA(d) MALLOC(d) |
#define ALLOCA(d) MALLOC(d) |
#endif |
#endif |
|
|
|
/* for handling signals */ |
|
#if defined(HAVE_SIGACTION) /* POSIX */ |
|
void (*set_signal(int sig, void (*handler)(int)))(int); |
|
#define set_signal_for_restart(x,y) (0) |
|
#else |
|
#define set_signal(x,y) (signal(x,y)) |
|
#define set_signal_for_restart(x,y) (signal(x,y)) |
|
#endif |
|
|
/* for setjmp/longjmp compatibility */ |
/* for setjmp/longjmp compatibility */ |
#if defined(__CYGWIN__) || defined(__x86_64) |
#if defined(__CYGWIN__) || defined(HAVE_SIGACTION) || (defined(__x86_64) && !defined(__MINGW32__)) |
#define JMP_BUF sigjmp_buf |
#define JMP_BUF sigjmp_buf |
#define SETJMP(x) sigsetjmp(x,~0) |
#define SETJMP(x) sigsetjmp(x,~0) |
#define LONGJMP(x,y) siglongjmp(x,y) |
#define LONGJMP(x,y) siglongjmp(x,y) |
Line 1000 PL(NM(q))=1,BD(NM(q))[0]=(unsigned int)(n),DN(q)=0,(q) |
|
Line 1017 PL(NM(q))=1,BD(NM(q))[0]=(unsigned int)(n),DN(q)=0,(q) |
|
#define UNIMQ(q) ((q)&&NUM(q)&&SFF(q)&&(CONT((MQ)q)==1)) |
#define UNIMQ(q) ((q)&&NUM(q)&&SFF(q)&&(CONT((MQ)q)==1)) |
#define MUNIQ(q) ((q)&&NUM(q)&&RATN(q)&&(SGN((Q)q)==-1)&&UNIN(NM((Q)q))&&(!DN((Q)q))) |
#define MUNIQ(q) ((q)&&NUM(q)&&RATN(q)&&(SGN((Q)q)==-1)&&UNIN(NM((Q)q))&&(!DN((Q)q))) |
#define MUNIMQ(q) ((q)&&NUM(q)&&SFF(q)&&(CONT((MQ)q)==-1)) |
#define MUNIMQ(q) ((q)&&NUM(q)&&SFF(q)&&(CONT((MQ)q)==-1)) |
|
#define UNILM(n) ((n)&&UNIN(BDY(n))) |
#define UNIN(n) ((n)&&(PL(n)==1)&&(BD(n)[0]==1)) |
#define UNIN(n) ((n)&&(PL(n)==1)&&(BD(n)[0]==1)) |
#define EVENN(n) ((!(n))||(!(BD(n)[0]%2))) |
#define EVENN(n) ((!(n))||(!(BD(n)[0]%2))) |
|
|
Line 1257 void rtime_init(void); |
|
Line 1275 void rtime_init(void); |
|
void setmod_gf2n(P); |
void setmod_gf2n(P); |
void mt_sgenrand(unsigned long); |
void mt_sgenrand(unsigned long); |
unsigned long mt_genrand(void); |
unsigned long mt_genrand(void); |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
#if defined(VISUAL) || defined(__MINGW32__) |
void srandom(unsigned int); |
void srandom(unsigned int); |
unsigned int random(void); |
unsigned int random(void); |
#endif |
#endif |
Line 1813 void pwrreal(Num,Num,Real *); |
|
Line 1831 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 *); |
void pwrum(int,UM,int,UM); |
void pwrum(int,UM,int,UM); |
void reallocarray(char **,int *,int *,int); |
void asir_reallocarray(char **,int *,int *,int); |
void reductr(VL,Obj,Obj *); |
void reductr(VL,Obj,Obj *); |
void reimtocplx(Num,Num,Num *); |
void reimtocplx(Num,Num,Num *); |
void rem2q(Q,Q,Q,Q *); |
void rem2q(Q,Q,Q,Q *); |
Line 2668 void mkwcz(int k,int l,Z *t); |
|
Line 2686 void mkwcz(int k,int l,Z *t); |
|
int remzi(Z n,int m); |
int remzi(Z n,int m); |
|
|
|
|
#if 0 && !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if 0 && !defined(VISUAL) && !defined(__MINGW32__) |
void bzero(const void *,int); |
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); |