version 1.15, 2003/03/30 08:05:22 |
version 1.26, 2003/09/18 12:46:08 |
|
|
/* -*- mode: C -*- */ |
/* -*- mode: C -*- */ |
/* $OpenXM: OpenXM/src/ox_toolkit/ox_toolkit.h,v 1.14 2003/03/23 20:17:35 ohara Exp $ */ |
/* $OpenXM: OpenXM/src/ox_toolkit/ox_toolkit.h,v 1.25 2003/09/15 09:31:41 ohara Exp $ */ |
|
|
#ifndef _OX_TOOLKIT_H_ |
#ifndef _OX_TOOLKIT_H_ |
|
|
#define _OX_TOOLKIT_H_ |
#define _OX_TOOLKIT_H_ |
|
|
|
#ifdef __cplusplus |
|
extern "C" { |
|
#endif |
|
|
#include <stdio.h> |
#include <stdio.h> |
#if defined(WITH_GMP) |
#if defined(WITH_GMP) |
#include <gmp.h> |
#include <gmp.h> |
|
|
#include <ox/cmotag.h> |
#include <ox/cmotag.h> |
#include <ox/oxMessageTag.h> |
#include <ox/oxMessageTag.h> |
#include <ox/smCommand.h> |
#include <ox/smCommand.h> |
|
#include <gc/gc.h> |
|
|
|
#define MALLOC(x) GC_MALLOC((x)) |
|
#define MALLOC_ATOMIC(x) GC_MALLOC_ATOMIC((x)) |
|
#define ALLOCA(x) alloca((x)) |
|
/* #define FREE(x) free((x)) */ |
|
#define FREE(x) |
|
|
#if !defined(__GNUC__) && !defined(__inline__) |
#if !defined(__GNUC__) && !defined(__inline__) |
#define __inline__ |
#define __inline__ |
#endif |
#endif |
Line 40 typedef struct OXFILE{ |
|
Line 51 typedef struct OXFILE{ |
|
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; |
|
char *wbuf; |
|
int wbuf_size; |
|
int wbuf_count; |
} OXFILE; |
} OXFILE; |
|
|
typedef struct { |
typedef struct cmo { |
int tag; |
int tag; |
} cmo; |
} cmo; |
|
|
Line 77 typedef cmo_mathcap cmo_indeterminate; |
|
Line 91 typedef cmo_mathcap cmo_indeterminate; |
|
|
|
/* a double linked list */ |
/* a double linked list */ |
typedef struct cell { |
typedef struct cell { |
cmo *cmo; |
struct cmo *cmo; |
struct cell *next; |
struct cell *next; |
struct cell *prev; |
struct cell *prev; |
|
int exp; |
} cell; |
} cell; |
|
|
typedef struct { |
typedef struct { |
Line 120 typedef struct { |
|
Line 135 typedef struct { |
|
cmo *ringdef; |
cmo *ringdef; |
} cmo_distributed_polynomial; |
} cmo_distributed_polynomial; |
|
|
|
/* The following is a derived class from cmo_list. |
|
that is, list_append can be used. */ |
|
typedef struct { |
|
int tag; |
|
int length; /* number of monomials */ |
|
cell head[1]; /* list of monomials */ |
|
int var; /* name of the main variable */ |
|
} cmo_polynomial_in_one_variable; |
|
|
|
typedef struct { |
|
int tag; |
|
cmo_list *ringdef; /* list of variables */ |
|
cmo *coef; /* ZZ, QQ, int32, Poly_in_1var, Tree, Zero, DPoly */ |
|
} cmo_recursive_polynomial; |
|
|
|
typedef struct { |
|
int tag; |
|
cmo_string *name; |
|
cmo_list *attributes; |
|
cmo_list *leaves; |
|
} cmo_tree; |
|
|
|
typedef struct { |
|
int tag; |
|
cmo_list *args; |
|
cmo_tree *body; |
|
} cmo_lambda; |
|
|
typedef cmo ox; |
typedef cmo ox; |
|
|
typedef ox ox_sync_ball; |
typedef ox ox_sync_ball; |
Line 131 typedef struct { |
|
Line 174 typedef struct { |
|
|
|
typedef struct { |
typedef struct { |
int tag; |
int tag; |
cmo *cmo; |
struct cmo *cmo; |
} ox_data; |
} ox_data; |
|
|
cmo_null* new_cmo_null(); |
cmo_null* new_cmo_null(); |
Line 153 cmo_distributed_polynomial* new_cmo_distributed_polyno |
|
Line 196 cmo_distributed_polynomial* new_cmo_distributed_polyno |
|
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); |
cmo_indeterminate* new_cmo_indeterminate(cmo* ob); |
cmo_indeterminate* new_cmo_indeterminate(cmo* ob); |
|
cmo_polynomial_in_one_variable* new_cmo_polynomial_in_one_variable(int var); |
|
cmo_recursive_polynomial* new_cmo_recursive_polynomial(cmo_list* ringdef, cmo* coef); |
|
cmo_tree* new_cmo_tree(cmo_string* name, cmo_list *attributes, cmo_list *leaves); |
|
cmo_lambda* new_cmo_lambda(cmo_list* args, cmo_tree* body); |
cmo_error2* new_cmo_error2(cmo* ob); |
cmo_error2* new_cmo_error2(cmo* ob); |
|
|
ox_data* new_ox_data(cmo* c); |
ox_data* new_ox_data(cmo* c); |
Line 165 cmo_error2* make_error_object(int err_code, cmo |
|
Line 212 cmo_error2* make_error_object(int err_code, cmo |
|
|
|
/* Low level API */ |
/* Low level API */ |
cmo* receive_cmo(OXFILE *fp); |
cmo* receive_cmo(OXFILE *fp); |
|
cmo* receive_cmo_tag(OXFILE *fp, int tag); |
int receive_int32(OXFILE *fp); |
int receive_int32(OXFILE *fp); |
int receive_ox_tag(OXFILE *fp); |
int receive_ox_tag(OXFILE *fp); |
|
|
Line 192 void ox_push_cmd(OXFILE *sv, int sm_code |
|
Line 240 void ox_push_cmd(OXFILE *sv, int sm_code |
|
void ox_cmo_rpc(OXFILE *sv, char *function, int argc, cmo *argv[]); |
void ox_cmo_rpc(OXFILE *sv, char *function, int argc, cmo *argv[]); |
int ox_flush(OXFILE *sv); |
int ox_flush(OXFILE *sv); |
|
|
cell* list_first(cmo_list *this); |
cell* list_first(cmo_list *); |
int list_endof(cmo_list *this, cell *el); |
int list_endof(cmo_list *, cell *el); |
cell* list_next(cell *el); |
cell* list_next(cell *el); |
cmo_list* list_append(cmo_list* this, cmo *ob); |
cmo_list* list_append(cmo_list*, cmo *ob); |
cmo_list* list_appendl(cmo_list* this, ...); |
cmo_list* list_append_monomial(cmo_list* , cmo* coef, int exp); |
int list_length(cmo_list* this); |
cmo_list* list_appendl(cmo_list*, ...); |
cmo* list_nth(cmo_list* this, int n); |
int list_length(cmo_list* ); |
|
cmo* list_nth(cmo_list* , int n); |
|
|
int cmolen_cmo(cmo* m); |
int cmolen_cmo(cmo* m); |
void dump_buffer_init(char *s); |
void dump_buffer_init(char *s); |
Line 233 char* get_symbol_by_tag(int tag); |
|
Line 282 char* get_symbol_by_tag(int tag); |
|
/* for mathcap database */ |
/* for mathcap database */ |
mathcap *new_mathcap(); |
mathcap *new_mathcap(); |
void mathcap_init(int ver, char *vstr, char *sysname, int cmos[], int sms[]); |
void mathcap_init(int ver, char *vstr, char *sysname, int cmos[], int sms[]); |
cmo_mathcap* mathcap_get(mathcap *this); |
cmo_mathcap* mathcap_get(mathcap *); |
mathcap *mathcap_update(mathcap *this, cmo_mathcap *mc); |
mathcap *mathcap_update(mathcap *, cmo_mathcap *mc); |
int mathcap_allowQ_cmo(mathcap *this, cmo *ob); |
int mathcap_allowQ_cmo(mathcap *, cmo *ob); |
|
|
int oxf_read(void *buffer, size_t size, size_t num, OXFILE *oxfp); |
int oxf_read(void *buffer, size_t size, size_t num, OXFILE *oxfp); |
int oxf_write(void *buffer, size_t size, size_t num, OXFILE *oxfp); |
int oxf_write(void *buffer, size_t size, size_t num, OXFILE *oxfp); |
|
|
/* for OXFILE */ |
/* for OXFILE */ |
int oxf_listen(short *portp); |
int oxf_listen(int *portp); |
OXFILE *oxf_connect_active(char *hostname, short port); |
OXFILE *oxf_connect_active(char *hostname, short port); |
OXFILE *oxf_connect_passive(int listened); |
OXFILE *oxf_connect_passive(int listened); |
OXFILE *oxf_open(int fd); |
OXFILE *oxf_open(int fd); |
Line 264 char *generate_otp(); |
|
Line 313 char *generate_otp(); |
|
|
|
int ox_stderr_init(FILE *fp); |
int ox_stderr_init(FILE *fp); |
int ox_printf(char *format, ...); |
int ox_printf(char *format, ...); |
|
|
|
#ifdef __cplusplus |
|
} |
|
#endif |
|
|
#endif /* _OX_TOOLKIT_H_ */ |
#endif /* _OX_TOOLKIT_H_ */ |