| version 1.7, 1999/11/04 06:21:58 |
version 1.8, 1999/11/04 18:13:47 |
|
|
| /* -*- mode: C; coding: euc-japan -*- */ |
/* -*- mode: C; coding: euc-japan -*- */ |
| /* $OpenXM: OpenXM/src/ox_math/ox.c,v 1.6 1999/11/04 03:05:50 ohara Exp $ */ |
/* $OpenXM: OpenXM/src/ox_math/ox.c,v 1.7 1999/11/04 06:21:58 ohara Exp $ */ |
| |
|
| /* |
/* |
| 関数の名前付け規約(その2): |
関数の名前付け規約(その2): |
| Line 87 static int send_cmo_error2(int fd, cmo_error2 |
|
| Line 87 static int send_cmo_error2(int fd, cmo_error2 |
|
| static int send_mpz(int fd, mpz_ptr mpz); |
static int send_mpz(int fd, mpz_ptr mpz); |
| static int send_cmo_distributed_polynomial(int fd, cmo_distributed_polynomial* c); |
static int send_cmo_distributed_polynomial(int fd, cmo_distributed_polynomial* c); |
| |
|
| |
|
| /* エラーハンドリングのため */ |
/* エラーハンドリングのため */ |
| static int current_received_serial = 0; |
static int current_received_serial = 0; |
| |
|
| Line 143 int send_ox_tag(int fd, int tag) |
|
| Line 142 int send_ox_tag(int fd, int tag) |
|
| return send_int32(fd, next_serial()); |
return send_int32(fd, next_serial()); |
| } |
} |
| |
|
| |
|
| /* CMO_LIST 関係の関数群 */ |
/* CMO_LIST 関係の関数群 */ |
| cell* new_cell(cmo* newcmo) |
cell* new_cell() |
| { |
{ |
| cell* h = malloc(sizeof(cell)); |
cell* h = malloc(sizeof(cell)); |
| h->next = NULL; |
h->next = NULL; |
| h->cmo = newcmo; |
h->cmo = NULL; |
| return h; |
return h; |
| } |
} |
| |
|
| Line 158 cell* next_cell(cell* this) |
|
| Line 156 cell* next_cell(cell* this) |
|
| return this->next; |
return this->next; |
| } |
} |
| |
|
| static cell* *tailp(cmo_list* this) { |
static cell *tail(cmo_list* this) { |
| cell **cp = &this->head; |
cell *cp = this->head; |
| while (*cp != NULL) { |
while (cp->next != NULL) { |
| cp = &((*cp)->next); |
cp = cp->next; |
| } |
} |
| return cp; |
return cp; |
| } |
} |
| |
|
| int length_cmo_list(cmo_list* this) |
|
| { |
|
| return this->length; |
|
| } |
|
| |
|
| int append_cmo_list(cmo_list* this, cmo* newcmo) |
int append_cmo_list(cmo_list* this, cmo* newcmo) |
| { |
{ |
| /* リストの最後尾のNULLを保持している変数へのポインタ */ |
cell *cp = tail(this); |
| cell **cp = tailp(this); |
cp->cmo = newcmo; |
| *cp = new_cell(newcmo); |
cp->next = new_cell(); |
| this->length++; |
this->length++; |
| return 0; |
return 0; |
| } |
} |
| |
|
| |
int length_cmo_list(cmo_list* this) |
| |
{ |
| |
return this->length; |
| |
} |
| |
|
| /** receive_cmo_XXX 関数群 **/ |
/** receive_cmo_XXX 関数群 **/ |
| static cmo_null* receive_cmo_null(int fd) |
static cmo_null* receive_cmo_null(int fd) |
| { |
{ |
| Line 397 cmo_list* new_cmo_list() |
|
| Line 395 cmo_list* new_cmo_list() |
|
| cmo_list* c = malloc(sizeof(cmo_list)); |
cmo_list* c = malloc(sizeof(cmo_list)); |
| c->tag = CMO_LIST; |
c->tag = CMO_LIST; |
| c->length = 0; |
c->length = 0; |
| c->head = NULL; |
c->head->next = NULL; |
| return c; |
return c; |
| } |
} |
| |
|
| Line 489 cmo_distributed_polynomial* new_cmo_distributed_polyno |
|
| Line 487 cmo_distributed_polynomial* new_cmo_distributed_polyno |
|
| cmo_distributed_polynomial* c = malloc(sizeof(cmo_distributed_polynomial)); |
cmo_distributed_polynomial* c = malloc(sizeof(cmo_distributed_polynomial)); |
| c->tag = CMO_DISTRIBUTED_POLYNOMIAL; |
c->tag = CMO_DISTRIBUTED_POLYNOMIAL; |
| c->length = 0; |
c->length = 0; |
| c->head = NULL; |
c->head->next = NULL; |
| c->ringdef = NULL; |
c->ringdef = NULL; |
| return c; |
return c; |
| } |
} |
| Line 565 void ox_close(ox_file_t sv) |
|
| Line 563 void ox_close(ox_file_t sv) |
|
| send_ox_command(sv->control, SM_control_kill); |
send_ox_command(sv->control, SM_control_kill); |
| #if DEBUG |
#if DEBUG |
| sleep(2); /* OpenXM server の終了を待つ. あまり意味はない. */ |
sleep(2); /* OpenXM server の終了を待つ. あまり意味はない. */ |
| fprintf(stderr, "I have closed an Open XM server.\n"); |
fprintf(stderr, "I have closed the connection to an Open XM server.\n"); |
| #endif |
#endif |
| } |
} |
| |
|
| Line 731 static int cmolen_cmo_mathcap(cmo_mathcap* c) |
|
| Line 729 static int cmolen_cmo_mathcap(cmo_mathcap* c) |
|
| |
|
| static int cmolen_cmo_list(cmo_list* c) |
static int cmolen_cmo_list(cmo_list* c) |
| { |
{ |
| int size = sizeof(c->head); |
int size = sizeof(int); |
| cell* cp = c->head; |
cell* cp = c->head; |
| |
|
| while(cp != NULL) { |
while(cp->next != NULL) { |
| size += cmolen_cmo(cp->cmo); |
size += cmolen_cmo(cp->cmo); |
| cp = cp->next; |
cp = cp->next; |
| } |
} |
| Line 777 int cmolen_cmo(cmo* c) |
|
| Line 775 int cmolen_cmo(cmo* c) |
|
| break; |
break; |
| case CMO_MATHCAP: |
case CMO_MATHCAP: |
| case CMO_RING_BY_NAME: |
case CMO_RING_BY_NAME: |
| |
case CMO_INDETERMINATE: |
| case CMO_ERROR2: |
case CMO_ERROR2: |
| size += cmolen_cmo_mathcap((cmo_mathcap *)c); |
size += cmolen_cmo_mathcap((cmo_mathcap *)c); |
| break; |
break; |
| Line 834 static int dump_cmo_list(cmo_list* m) |
|
| Line 833 static int dump_cmo_list(cmo_list* m) |
|
| int len = length_cmo_list(m); |
int len = length_cmo_list(m); |
| dump_integer(len); |
dump_integer(len); |
| |
|
| while(cp != NULL) { |
while(cp->next != NULL) { |
| dump_cmo(cp->cmo); |
dump_cmo(cp->cmo); |
| cp = cp->next; |
cp = cp->next; |
| } |
} |
| Line 886 int dump_cmo(cmo* m) |
|
| Line 885 int dump_cmo(cmo* m) |
|
| break; |
break; |
| case CMO_MATHCAP: |
case CMO_MATHCAP: |
| case CMO_RING_BY_NAME: |
case CMO_RING_BY_NAME: |
| |
case CMO_INDETERMINATE: |
| case CMO_ERROR2: |
case CMO_ERROR2: |
| dump_cmo_mathcap((cmo_mathcap *)m); |
dump_cmo_mathcap((cmo_mathcap *)m); |
| break; |
break; |
| Line 1001 static int send_cmo_list(int fd, cmo_list* c) |
|
| Line 1001 static int send_cmo_list(int fd, cmo_list* c) |
|
| int len = length_cmo_list(c); |
int len = length_cmo_list(c); |
| send_int32(fd, len); |
send_int32(fd, len); |
| |
|
| while(cp != NULL) { |
while(cp->next != NULL) { |
| send_cmo(fd, cp->cmo); |
send_cmo(fd, cp->cmo); |
| cp = cp->next; |
cp = cp->next; |
| } |
} |
| Line 1015 static int send_cmo_distributed_polynomial(int fd, cmo |
|
| Line 1015 static int send_cmo_distributed_polynomial(int fd, cmo |
|
| send_int32(fd, len); |
send_int32(fd, len); |
| send_cmo(fd, c->ringdef); |
send_cmo(fd, c->ringdef); |
| |
|
| while(cp != NULL) { |
while(cp->next != NULL) { |
| send_cmo(fd, cp->cmo); |
send_cmo(fd, cp->cmo); |
| cp = cp->next; |
cp = cp->next; |
| } |
} |
| Line 1180 void setCmotypeDisable(int type) |
|
| Line 1180 void setCmotypeDisable(int type) |
|
| int i = funcs(type); |
int i = funcs(type); |
| known_types[i] = -1; |
known_types[i] = -1; |
| } |
} |
| |
|
| #if 0 |
#if 0 |
| cmo* (*received_funcs[])(int fd) = { |
cmo* (*received_funcs[])(int fd) = { |
| NULL, /* gate keeper */ |
NULL, /* gate keeper */ |