version 1.11, 2003/01/13 12:03:12 |
version 1.14, 2003/03/23 20:17:35 |
|
|
/* -*- 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.13 2003/02/03 23:13:23 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> |
|
#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> |
|
|
cmo *coef; |
cmo *coef; |
} cmo_monomial32; |
} cmo_monomial32; |
|
|
|
#if defined(WITH_GMP) |
typedef struct { |
typedef struct { |
int tag; |
int tag; |
mpz_t mpz; |
mpz_t mpz; |
Line 101 typedef struct { |
|
Line 104 typedef struct { |
|
cmo *num; /* Bunshi (cmo_zz) */ |
cmo *num; /* Bunshi (cmo_zz) */ |
cmo *den; /* Bunbo (cmo_zz) */ |
cmo *den; /* Bunbo (cmo_zz) */ |
} cmo_qq; |
} cmo_qq; |
|
#endif /* WITH_GMP */ |
|
|
|
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 132 cmo_mathcap* new_cmo_mathcap(cmo* ob); |
|
Line 141 cmo_mathcap* new_cmo_mathcap(cmo* ob); |
|
cmo_list* new_cmo_list(); |
cmo_list* new_cmo_list(); |
cmo_monomial32* new_cmo_monomial32(); |
cmo_monomial32* new_cmo_monomial32(); |
cmo_monomial32* new_cmo_monomial32_size(int size); |
cmo_monomial32* new_cmo_monomial32_size(int size); |
|
#if defined(WITH_GMP) |
cmo_zz* new_cmo_zz(); |
cmo_zz* new_cmo_zz(); |
cmo_zz* new_cmo_zz_size(int size); |
cmo_zz* new_cmo_zz_size(int size); |
cmo_zz* new_cmo_zz_set_si(int integer); |
cmo_zz* new_cmo_zz_set_si(int integer); |
cmo_zz* new_cmo_zz_set_mpz(mpz_ptr z); |
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); |
|
#endif /* WITH_GMP */ |
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 197 void dump_ox_command(ox_command* m); |
|
Line 209 void dump_ox_command(ox_command* m); |
|
void dump_ox_data(ox_data* m); |
void dump_ox_data(ox_data* m); |
|
|
void print_cmo(cmo* c); |
void print_cmo(cmo* c); |
|
#if defined(WITH_GMP) |
void resize_mpz(mpz_ptr mpz, int size); |
void resize_mpz(mpz_ptr mpz, int size); |
|
#endif /* WITH_GMP */ |
|
|
typedef cmo *(*hook_t)(OXFILE *, cmo *); |
typedef cmo *(*hook_t)(OXFILE *, cmo *); |
|
|
Line 218 symbol_t lookup_by_symbol(char *key); |
|
Line 232 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(); |