version 1.11, 2003/01/13 12:03:12 |
version 1.15, 2003/03/30 08:05:22 |
|
|
/* -*- mode: C -*- */ |
/* -*- mode: C -*- */ |
/* $OpenXM: OpenXM/src/ox_toolkit/ox_toolkit.h,v 1.10 2003/01/11 11:42:31 ohara Exp $ */ |
/* $OpenXM: OpenXM/src/ox_toolkit/ox_toolkit.h,v 1.14 2003/03/23 20:17:35 ohara Exp $ */ |
|
|
#ifndef _OX_TOOLKIT_H_ |
#ifndef _OX_TOOLKIT_H_ |
|
|
#define _OX_TOOLKIT_H_ |
#define _OX_TOOLKIT_H_ |
|
|
#include <stdio.h> |
#include <stdio.h> |
|
#if defined(WITH_GMP) |
#include <gmp.h> |
#include <gmp.h> |
|
#else |
|
#include "gmp_fake.h" |
|
#endif /* WITH_GMP */ |
#include <ox/cmotag.h> |
#include <ox/cmotag.h> |
#include <ox/oxMessageTag.h> |
#include <ox/oxMessageTag.h> |
#include <ox/smCommand.h> |
#include <ox/smCommand.h> |
Line 102 typedef struct { |
|
Line 106 typedef struct { |
|
cmo *den; /* Bunbo (cmo_zz) */ |
cmo *den; /* Bunbo (cmo_zz) */ |
} cmo_qq; |
} cmo_qq; |
|
|
|
typedef struct { |
|
int tag; |
|
double d; /* machine dependent */ |
|
} cmo_double; |
|
|
/* The following is a derived class from cmo_list. |
/* The following is a derived class from cmo_list. |
that is, list_append can be used. */ |
that is, list_append can be used. */ |
typedef struct { |
typedef struct { |
Line 139 cmo_zz* new_cmo_zz_set_mpz(mpz_ptr z); |
|
Line 148 cmo_zz* new_cmo_zz_set_mpz(mpz_ptr z); |
|
cmo_zz* new_cmo_zz_noinit(); |
cmo_zz* new_cmo_zz_noinit(); |
cmo_zz* new_cmo_zz_set_string(char* s); |
cmo_zz* new_cmo_zz_set_string(char* s); |
cmo_zero* new_cmo_zero(); |
cmo_zero* new_cmo_zero(); |
|
cmo_double* new_cmo_double(double d); |
cmo_distributed_polynomial* new_cmo_distributed_polynomial(); |
cmo_distributed_polynomial* new_cmo_distributed_polynomial(); |
cmo_dms_generic* new_cmo_dms_generic(); |
cmo_dms_generic* new_cmo_dms_generic(); |
cmo_ring_by_name* new_cmo_ring_by_name(cmo* ob); |
cmo_ring_by_name* new_cmo_ring_by_name(cmo* ob); |
Line 218 symbol_t lookup_by_symbol(char *key); |
|
Line 228 symbol_t lookup_by_symbol(char *key); |
|
symbol_t lookup_by_token(int tok); |
symbol_t lookup_by_token(int tok); |
symbol_t lookup_by_tag(int tag); |
symbol_t lookup_by_tag(int tag); |
symbol_t lookup(int i); |
symbol_t lookup(int i); |
char *symbol_get_key(symbol_t sp); |
char* get_symbol_by_tag(int tag); |
|
|
/* for mathcap database */ |
/* for mathcap database */ |
mathcap *new_mathcap(); |
mathcap *new_mathcap(); |