| version 1.90, 2015/08/06 00:43:21 |
version 1.95, 2016/03/31 01:40:11 |
|
|
| * 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.89 2015/08/04 06:20:45 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/include/ca.h,v 1.94 2015/08/20 08:42:07 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> |
| |
|
| /* from mpfr-impl.h */ |
/* from mpfr-impl.h */ |
| #define MPFR_PREC(x) ((x)->_mpfr_prec) |
#define MPFR_PREC(x) ((x)->_mpfr_prec) |
|
|
| # 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) |
#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) |
#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 94 typedef void * pointer; |
|
| #include <strings.h> |
#include <strings.h> |
| #else |
#else |
| #include <string.h> |
#include <string.h> |
| #if defined(VISUAL) |
#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 663 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 775 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)) |
#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 setjmp/longjmp compatibility */ |
/* for setjmp/longjmp compatibility */ |
| #if defined(__CYGWIN__) || defined(__x86_64) |
#if defined(__CYGWIN__) || (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 1257 void rtime_init(void); |
|
| Line 1260 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) |
#if defined(VISUAL) || defined(__MINGW32__) |
| void srandom(unsigned int); |
void srandom(unsigned int); |
| unsigned int random(void); |
unsigned int random(void); |
| #endif |
#endif |
| Line 2668 void mkwcz(int k,int l,Z *t); |
|
| Line 2671 void mkwcz(int k,int l,Z *t); |
|
| int remzi(Z n,int m); |
int remzi(Z n,int m); |
| |
|
| |
|
| #if 0 && !defined(VISUAL) |
#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); |