| version 1.9, 2018/10/19 23:27:38 |
version 1.10, 2018/12/10 22:24:42 |
|
|
| /* $OpenXM: OpenXM_contrib2/asir2018/engine/Q.c,v 1.8 2018/10/02 09:06:15 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2018/engine/Q.c,v 1.9 2018/10/19 23:27:38 noro Exp $ */ |
| #include "ca.h" |
#include "ca.h" |
| #include "gmp.h" |
#include "gmp.h" |
| #include "base.h" |
#include "base.h" |
| Line 30 void gc_free(void *p,size_t size) |
|
| Line 30 void gc_free(void *p,size_t size) |
|
| |
|
| void init_gmpq() |
void init_gmpq() |
| { |
{ |
| mp_set_memory_functions(Risa_GC_malloc_atomic,gc_realloc,gc_free); |
mp_set_memory_functions(Risa_GC_malloc,gc_realloc,gc_free); |
| |
|
| mpz_init(ONEMPZ); mpz_set_ui(ONEMPZ,1); MPZTOZ(ONEMPZ,ONE); |
mpz_init(ONEMPZ); mpz_set_ui(ONEMPZ,1); MPZTOZ(ONEMPZ,ONE); |
| gmp_randinit_default(GMP_RAND); |
gmp_randinit_default(GMP_RAND); |