version 1.6, 2000/11/24 05:49:26 |
version 1.14, 2003/03/23 20:17:35 |
|
|
/* -*- mode: C -*- */ |
/* -*- mode: C -*- */ |
/* $OpenXM: OpenXM/src/ox_toolkit/ox_toolkit.h,v 1.5 2000/11/18 04:49:55 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> |
|
|
#define __inline__ |
#define __inline__ |
#endif |
#endif |
|
|
/* Open Xm File Descripter */ |
/* Mathcap Local Database */ |
|
typedef struct { |
|
int tag; |
|
int flag; |
|
} table; |
|
|
|
typedef struct mathcap { |
|
table *cmotbl; |
|
table *smtbl; |
|
} mathcap; |
|
|
|
/* OpenXM File Descripter */ |
typedef struct OXFILE{ |
typedef struct OXFILE{ |
int fd; |
int fd; |
int (*send_int32)(struct OXFILE *oxfp, int int32); |
int (*send_int32)(struct OXFILE *oxfp, int int32); |
int (*receive_int32)(struct OXFILE *oxfp); |
int (*receive_int32)(struct OXFILE *oxfp); |
int serial_number; |
int serial_number; |
|
int received_serial_number; |
struct OXFILE *control; /* pointer to his control server. */ |
struct OXFILE *control; /* pointer to his control server. */ |
struct mathcap *mathcap; |
struct mathcap *mathcap; |
int error; |
int error; |
|
|
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 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 120 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 185 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 206 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(); |
Line 233 void oxf_setopt(OXFILE *oxfp, int mode); |
|
Line 259 void oxf_setopt(OXFILE *oxfp, int mode); |
|
void oxf_determine_byteorder_client(OXFILE *oxfp); |
void oxf_determine_byteorder_client(OXFILE *oxfp); |
void oxf_determine_byteorder_server(OXFILE *oxfp); |
void oxf_determine_byteorder_server(OXFILE *oxfp); |
OXFILE *oxf_execute_cmd(OXFILE *oxfp, char *cmd); |
OXFILE *oxf_execute_cmd(OXFILE *oxfp, char *cmd); |
|
cmo_mathcap *oxf_cmo_mathcap(OXFILE *oxfp); |
void oxf_mathcap_update(OXFILE *oxfp, cmo_mathcap *ob); |
void oxf_mathcap_update(OXFILE *oxfp, cmo_mathcap *ob); |
|
|
/* example: which("xterm", getenv("PATH")); */ |
/* example: which("xterm", getenv("PATH")); */ |
char *which(char *exe, const char *env); |
char *which(char *exe, const char *env); |
char *generate_otp(); |
char *generate_otp(); |
|
|
|
int ox_stderr_init(FILE *fp); |
|
int ox_printf(char *format, ...); |
#endif /* _OX_TOOLKIT_H_ */ |
#endif /* _OX_TOOLKIT_H_ */ |