[BACK]Return to ox.c CVS log [TXT][DIR] Up to [local] / OpenXM / src / ox_math

Diff for /OpenXM/src/ox_math/Attic/ox.c between version 1.10 and 1.15

version 1.10, 1999/11/05 12:34:25 version 1.15, 1999/11/18 21:57:56
Line 1 
Line 1 
 /* -*- mode: C; coding: euc-japan -*- */  /* -*- mode: C; coding: euc-japan -*- */
 /* $OpenXM: OpenXM/src/ox_math/ox.c,v 1.9 1999/11/04 19:33:17 ohara Exp $ */  /* $OpenXM: OpenXM/src/ox_math/ox.c,v 1.14 1999/11/12 12:55:47 ohara Exp $ */
   
 /*  /*
 関数の名前付け規約(その2):  関数の名前付け規約(その2):
Line 31  YYY_cmo_XXX 関数が処理する.  cmo の内部に cmo_ZZZ への
Line 31  YYY_cmo_XXX 関数が処理する.  cmo の内部に cmo_ZZZ への
 #include <errno.h>  #include <errno.h>
 #include <fcntl.h>  #include <fcntl.h>
 #include <gmp.h>  #include <gmp.h>
   #include <unistd.h>
   #include <sys/file.h>
   
 #include "mysocket.h"  #include "mysocket.h"
 #include "ox.h"  #include "ox.h"
Line 61  static int          login_with_otp(int fd, char* passw
Line 63  static int          login_with_otp(int fd, char* passw
 static char         *create_otp();  static char         *create_otp();
   
 /* CMO_xxx の値順にならべること(デバッグのため) */  /* CMO_xxx の値順にならべること(デバッグのため) */
 static cmo_null*    receive_cmo_null(int fd);  static cmo_null*         receive_cmo_null(int fd);
 static cmo_int32*   receive_cmo_int32(int fd);  static cmo_int32*        receive_cmo_int32(int fd);
 static cmo_string*  receive_cmo_string(int fd);  static cmo_string*       receive_cmo_string(int fd);
 static cmo_mathcap* receive_cmo_mathcap(int fd);  static cmo_mathcap*      receive_cmo_mathcap(int fd);
 static cmo_list*    receive_cmo_list(int fd);  static cmo_list*         receive_cmo_list(int fd);
 static cmo_monomial32*   receive_cmo_monomial32(int fd);  static cmo_monomial32*   receive_cmo_monomial32(int fd);
 static cmo_zz*      receive_cmo_zz(int fd);  static cmo_zz*           receive_cmo_zz(int fd);
 static cmo_zero*    receive_cmo_zero(int fd);  static cmo_zero*         receive_cmo_zero(int fd);
 static cmo_dms_generic*  receive_cmo_dms_generic(int fd);  static cmo_dms_generic*  receive_cmo_dms_generic(int fd);
 static cmo_ring_by_name* receive_cmo_ring_by_name(int fd);  static cmo_ring_by_name* receive_cmo_ring_by_name(int fd);
 static cmo_distributed_polynomial* receive_cmo_distributed_polynomial(int fd);  static cmo_distributed_polynomial* receive_cmo_distributed_polynomial(int fd);
   
 static cmo_error2*  receive_cmo_error2(int fd);  static cmo_error2*       receive_cmo_error2(int fd);
 static void         receive_mpz(int fd, mpz_ptr mpz);  static void              receive_mpz(int fd, mpz_ptr mpz);
   
 static int          send_cmo_null(int fd, cmo_null* c);  static int          send_cmo_null(int fd, cmo_null* c);
 static int          send_cmo_int32(int fd, cmo_int32* m);  static int          send_cmo_int32(int fd, cmo_int32* m);
Line 90  static int          send_cmo_distributed_polynomial(in
Line 92  static int          send_cmo_distributed_polynomial(in
 /* エラーハンドリングのため */  /* エラーハンドリングのため */
 static int current_received_serial = 0;  static int current_received_serial = 0;
   
 /* エラーを起こしたときはサーバは次のようにすればよい.  */  /* エラーを起こしたときにサーバは次を呼び出す.  */
 cmo_error2* gen_error_object(int err_code)  cmo_error2* make_error_object(int err_code, cmo *ob)
 {  {
     cmo_list* li = new_cmo_list();      cmo_list* li = new_cmo_list();
     append_cmo_list(li, (cmo *)new_cmo_int32(current_received_serial));      append_cmo_list(li, (cmo *)new_cmo_int32(current_received_serial));
     append_cmo_list(li, (cmo *)new_cmo_int32(err_code));      append_cmo_list(li, (cmo *)new_cmo_int32(err_code));
       append_cmo_list(li, ob);
     /* 他の情報を加えるならココ */      /* 他の情報を加えるならココ */
     return new_cmo_error2((cmo *)li);      return new_cmo_error2((cmo *)li);
 }  }
Line 167  static cell *tail(cmo_list* this) {
Line 170  static cell *tail(cmo_list* this) {
 int append_cmo_list(cmo_list* this, cmo* newcmo)  int append_cmo_list(cmo_list* this, cmo* newcmo)
 {  {
     cell *cp = tail(this);      cell *cp = tail(this);
         cp->cmo  = newcmo;      cp->cmo  = newcmo;
     cp->next = new_cell();      cp->next = new_cell();
     this->length++;      this->length++;
     return 0;      return 0;
Line 223  static cmo_list* receive_cmo_list(int fd)
Line 226  static cmo_list* receive_cmo_list(int fd)
   
 static cmo_monomial32* receive_cmo_monomial32(int fd)  static cmo_monomial32* receive_cmo_monomial32(int fd)
 {  {
         int i;      int i;
         int len = receive_int32(fd);      int len = receive_int32(fd);
     cmo_monomial32* c = new_cmo_monomial32(len);      cmo_monomial32* c = new_cmo_monomial32(len);
   
         for(i=0; i<len; i++) {      for(i=0; i<len; i++) {
                 c->exps[i] = receive_int32(fd);          c->exps[i] = receive_int32(fd);
         }      }
         c->coef = receive_cmo(fd);      c->coef = receive_cmo(fd);
     return c;      return c;
 }  }
   
Line 254  static cmo_dms_generic* receive_cmo_dms_generic(int fd
Line 257  static cmo_dms_generic* receive_cmo_dms_generic(int fd
 static cmo_ring_by_name* receive_cmo_ring_by_name(int fd)  static cmo_ring_by_name* receive_cmo_ring_by_name(int fd)
 {  {
     cmo* ob = receive_cmo(fd);      cmo* ob = receive_cmo(fd);
         /* 意味的チェックが必要 */      /* 意味的チェックが必要 */
     return new_cmo_ring_by_name(ob);      return new_cmo_ring_by_name(ob);
 }  }
   
Line 263  static cmo_distributed_polynomial* receive_cmo_distrib
Line 266  static cmo_distributed_polynomial* receive_cmo_distrib
     cmo* ob;      cmo* ob;
     cmo_distributed_polynomial* c = new_cmo_distributed_polynomial();      cmo_distributed_polynomial* c = new_cmo_distributed_polynomial();
     int len = receive_int32(fd);      int len = receive_int32(fd);
         c->ringdef = receive_cmo(fd);      c->ringdef = receive_cmo(fd);
   
     while (len>0) {      while (len>0) {
         ob = receive_cmo(fd);          ob = receive_cmo(fd);
         append_cmo_list(c, ob);          append_cmo_list((cmo_list *)c, ob);
         len--;          len--;
     }      }
     return c;      return c;
Line 315  cmo* receive_cmo(int fd)
Line 318  cmo* receive_cmo(int fd)
         m = (cmo *)receive_cmo_zero(fd);          m = (cmo *)receive_cmo_zero(fd);
         break;          break;
     case CMO_DMS_GENERIC:      case CMO_DMS_GENERIC:
                 m = (cmo *)receive_cmo_dms_generic(fd);          m = (cmo *)receive_cmo_dms_generic(fd);
                 break;          break;
         case CMO_RING_BY_NAME:      case CMO_RING_BY_NAME:
                 m = (cmo *)receive_cmo_ring_by_name(fd);          m = (cmo *)receive_cmo_ring_by_name(fd);
                 break;          break;
         case CMO_DISTRIBUTED_POLYNOMIAL:      case CMO_DISTRIBUTED_POLYNOMIAL:
                 m = (cmo *)receive_cmo_distributed_polynomial(fd);          m = (cmo *)receive_cmo_distributed_polynomial(fd);
                 break;          break;
     case CMO_ERROR2:      case CMO_ERROR2:
         m = (cmo *)receive_cmo_error2(fd);          m = (cmo *)receive_cmo_error2(fd);
         break;          break;
Line 373  cmo_string* new_cmo_string(char* s)
Line 376  cmo_string* new_cmo_string(char* s)
 {  {
     cmo_string* c = malloc(sizeof(cmo_string));      cmo_string* c = malloc(sizeof(cmo_string));
     c->tag = CMO_STRING;      c->tag = CMO_STRING;
         if (s != NULL) {      if (s != NULL) {
                 c->s = malloc(strlen(s)+1);          c->s = malloc(strlen(s)+1);
                 strcpy(c->s, s);          strcpy(c->s, s);
         }else {      }else {
                 c->s = NULL;          c->s = NULL;
         }      }
     return c;      return c;
 }  }
   
Line 409  cmo_monomial32* new_cmo_monomial32()
Line 412  cmo_monomial32* new_cmo_monomial32()
 cmo_monomial32* new_cmo_monomial32_size(int size)  cmo_monomial32* new_cmo_monomial32_size(int size)
 {  {
     cmo_monomial32* c = new_cmo_monomial32();      cmo_monomial32* c = new_cmo_monomial32();
         if (size>0) {      if (size>0) {
                 c->length = size;          c->length = size;
                 c->exps = malloc(sizeof(int)*size);          c->exps = malloc(sizeof(int)*size);
         }      }
     return c;      return c;
 }  }
   
Line 488  cmo_distributed_polynomial* new_cmo_distributed_polyno
Line 491  cmo_distributed_polynomial* new_cmo_distributed_polyno
     c->tag     = CMO_DISTRIBUTED_POLYNOMIAL;      c->tag     = CMO_DISTRIBUTED_POLYNOMIAL;
     c->length  = 0;      c->length  = 0;
     c->head->next = NULL;      c->head->next = NULL;
         c->ringdef = NULL;      c->ringdef = NULL;
     return c;      return c;
 }  }
   
Line 509  void send_ox_command(int fd, int sm_command)
Line 512  void send_ox_command(int fd, int sm_command)
 int print_cmo(cmo* c)  int print_cmo(cmo* c)
 {  {
     int tag = c->tag;      int tag = c->tag;
     fprintf(stderr, "local::tag = (%d): ", tag);  
       symbol* symp = lookup_by_tag(tag);
       if (symp != NULL) {
           fprintf(stderr, "(%s", symp->key);
       }else {
           fprintf(stderr, "(%d", tag);
       }
   
     switch(tag) {      switch(tag) {
     case CMO_LIST:      case CMO_LIST:
         print_cmo_list((cmo_list *)c);          print_cmo_list((cmo_list *)c);
Line 518  int print_cmo(cmo* c)
Line 528  int print_cmo(cmo* c)
         print_cmo_int32((cmo_int32 *)c);          print_cmo_int32((cmo_int32 *)c);
         break;          break;
     case CMO_MATHCAP:      case CMO_MATHCAP:
       case CMO_INDETERMINATE:
       case CMO_RING_BY_NAME:
       case CMO_ERROR2:
         print_cmo_mathcap((cmo_mathcap *)c);          print_cmo_mathcap((cmo_mathcap *)c);
         break;          break;
     case CMO_STRING:      case CMO_STRING:
         print_cmo_string((cmo_string *)c);          print_cmo_string((cmo_string *)c);
         break;          break;
     case CMO_NULL:      case CMO_NULL:
         fprintf(stderr, "\n");      case CMO_ZERO:
       case CMO_DMS_GENERIC:
           fprintf(stderr, ")");
         break;          break;
     default:      default:
         fprintf(stderr, "print_cmo() does not know how to print.\n");          fprintf(stderr, "print_cmo() does not know how to print.\n");
Line 533  int print_cmo(cmo* c)
Line 548  int print_cmo(cmo* c)
   
 int print_cmo_int32(cmo_int32* c)  int print_cmo_int32(cmo_int32* c)
 {  {
     fprintf(stderr, "cmo_int32 = (%d)\n", c->i);      fprintf(stderr, ", %d)", c->i);
 }  }
   
 int print_cmo_list(cmo_list* li)  int print_cmo_list(cmo_list* li)
 {  {
     cell* cp = li->head;      cell* cp = li->head;
     fprintf(stderr, "length = (%d)\nlist:\n", li->length);      while(cp->next != NULL) {
     while(cp != NULL) {                  fprintf(stderr, ", ");
         print_cmo(cp->cmo);          print_cmo(cp->cmo);
         cp=cp->next;          cp=cp->next;
     }      }
     fprintf(stderr, "end of list\n");      fprintf(stderr, ")");
 }  }
   
 int print_cmo_mathcap(cmo_mathcap* c)  int print_cmo_mathcap(cmo_mathcap* c)
 {  {
     fprintf(stderr, "\n");      fprintf(stderr, ", ");
     print_cmo(c->ob);      print_cmo(c->ob);
       fprintf(stderr, ")");
 }  }
   
 int print_cmo_string(cmo_string* c)  int print_cmo_string(cmo_string* c)
 {  {
     fprintf(stderr, "cmo_string = (%s)\n", c->s);      fprintf(stderr, ", \"%s\")", c->s);
 }  }
   
 void ox_close(ox_file_t sv)  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  #ifdef DEBUG
     sleep(2); /* OpenXM server の終了を待つ. あまり意味はない. */      sleep(2); /* OpenXM server の終了を待つ. あまり意味はない. */
     fprintf(stderr, "I have closed the connection to an Open XM server.\n");      fprintf(stderr, "I have closed the connection to an Open XM server.\n");
 #endif  #endif
Line 569  void ox_close(ox_file_t sv)
Line 585  void ox_close(ox_file_t sv)
   
 void ox_executeStringByLocalParser(ox_file_t sv, char* s)  void ox_executeStringByLocalParser(ox_file_t sv, char* s)
 {  {
     /* 文字列ををスタックにプッシュ. */      if (s != NULL) {
     send_ox_cmo(sv->stream, (cmo *)new_cmo_string(s));          /* 文字列ををスタックにプッシュ. */
           send_ox_cmo(sv->stream, (cmo *)new_cmo_string(s));
     /* サーバに実行させる. */          /* サーバに実行させる. */
     send_ox_command(sv->stream, SM_executeStringByLocalParser);          send_ox_command(sv->stream, SM_executeStringByLocalParser);
       }
 }  }
   
 /* ox_mathcap() をコールする.  */  /* ox_mathcap() をコールする.  */
Line 605  cmo* ox_pop_cmo(ox_file_t sv, int fd)
Line 622  cmo* ox_pop_cmo(ox_file_t sv, int fd)
 /* 手抜き. (後で改善しよう...) */  /* 手抜き. (後で改善しよう...) */
 static char *create_otp()  static char *create_otp()
 {  {
         static char otp[] = "otpasswd";      static char otp[] = "otpasswd";
         return otp;      return otp;
 }  }
   
 /* OneTimePassword の処理 */  /* OneTimePassword の処理 */
 static int login_with_otp(int fd, char* passwd)  static int login_with_otp(int fd, char* passwd)
 {  {
     char buff[1024];      int len   = strlen(passwd)+1;
         int len = strlen(passwd)+1;      char *buf = alloca(len);
     int n = read(fd, buff, len);      int n     = read(fd, buf, len);
         if (strcmp(passwd, buff) != 0) {      int ret   = strcmp(passwd, buf);
   
   #ifdef DEBUG
       if (ret != 0) {
         fprintf(stderr, "Socket#%d: Login incorrect.\n", fd);          fprintf(stderr, "Socket#%d: Login incorrect.\n", fd);
         fprintf(stderr, "password = (%s), %d bytes.\n", passwd, len);      }else {
         fprintf(stderr, "received = (%s), %d bytes.\n", buff, n);          fprintf(stderr, "Socket#%d: login!.\n", fd);
                 fflush(stderr);  
                 exit(1);  
     }      }
 #ifdef DEBUG      fprintf(stderr, "password = (%s), %d bytes.\n", passwd, len);
         fprintf(stderr, "Socket#%d: login!.\n", fd);      fprintf(stderr, "received = (%s), %d bytes.\n", buf, n);
         fprintf(stderr, "password = (%s), %d bytes.\n", passwd, len);      fflush(stderr);
         fprintf(stderr, "received = (%s), %d bytes.\n", buff, n);  
         fflush(stderr);  
 #endif  #endif
   
       return ret;
 }  }
   
 /*  static int exists_ox(char *dir, char *prog)
   {
       char *path = alloca(strlen(dir)+strlen(prog)+6);
       sprintf(path, "%s/%s", dir, prog);
       return access(path, X_OK|R_OK);
   }
   
   static char *search_ox(char *prog)
   {
       char *env = getenv("OpenXM_HOME");
       char *dir;
       if (env != NULL) {
           dir = malloc(strlen(env)+5);
           sprintf(dir, "%s/bin", env);
           if (exists_ox(dir, prog) == 0) {
               return dir;
           }
           free(dir);
       }
       dir = "/usr/local/OpenXM/bin";
       if (exists_ox(dir, prog) == 0) {
           return dir;
       }
       dir = ".";
       if (exists_ox(dir, prog) == 0) {
           return dir;
       }
       return NULL;
   }
   
   static int mysocketAccept2(int fd, char *pass)
   {
       fd = mysocketAccept(fd);
       if(login_with_otp(fd, pass)==0) {
           decideByteOrderClient(fd, 0);
           return fd;
       }
       close(fd);
       return -1;
   }
   
   /*
    (-reverse 版の ox_start)     (-reverse 版の ox_start)
    ox_start は クライアントが呼び出すための関数である.     ox_start は クライアントが呼び出すための関数である.
    サーバでは使われない.  ctl_prog は コントロールサーバであり,     サーバでは使われない.  ctl_prog は コントロールサーバであり,
Line 641  static int login_with_otp(int fd, char* passwd)
Line 700  static int login_with_otp(int fd, char* passwd)
   
 ox_file_t ox_start(char* host, char* ctl_prog, char* dat_prog)  ox_file_t ox_start(char* host, char* ctl_prog, char* dat_prog)
 {  {
         char *pass = create_otp();      char *pass;
     char ctl[16], dat[16];      char ctl[16], dat[16];
     short portControl = 0; /* short であることに注意 */      short portControl = 0; /* short であることに注意 */
     short portStream  = 0;      short portStream  = 0;
     ox_file_t sv = malloc(sizeof(__ox_file_struct));      ox_file_t sv = NULL;
       char *dir;
   
       if ((dir = search_ox(ctl_prog)) == NULL) {
           fprintf(stderr, "client:: %s not found.\n", ctl_prog);
           return NULL;
       }
       sv = malloc(sizeof(__ox_file_struct));
     sv->control = mysocketListen(host, &portControl);      sv->control = mysocketListen(host, &portControl);
     sv->stream  = mysocketListen(host, &portStream);      sv->stream  = mysocketListen(host, &portStream);
   
     sprintf(ctl, "%d", portControl);      sprintf(ctl, "%d", portControl);
     sprintf(dat, "%d", portStream);      sprintf(dat, "%d", portStream);
       pass = create_otp();
   
     if (fork() == 0) {      if (fork() == 0) {
         dup2(2, 1);          dup2(2, 1);
         dup2(open(DEFAULT_LOGFILE, O_RDWR|O_CREAT|O_TRUNC, 0644), 2);          dup2(open(DEFAULT_LOGFILE, O_RDWR|O_CREAT|O_TRUNC, 0644), 2);
           chdir(dir);
         execl(ctl_prog, ctl_prog, "-reverse", "-ox", dat_prog,          execl(ctl_prog, ctl_prog, "-reverse", "-ox", dat_prog,
               "-data", dat, "-control", ctl, "-pass", pass,                "-data", dat, "-control", ctl, "-pass", pass,
               "-host", host, NULL);                "-host", host, NULL);
     }      }
   
     sv->control = mysocketAccept(sv->control);      if ((sv->control = mysocketAccept2(sv->control, pass)) == -1) {
         login_with_otp(sv->control, pass);          close(sv->stream);
     decideByteOrderClient(sv->control, 0);          return NULL;
         /* 10マイクロ秒, 時間稼ぎする. */      }
       /* 10マイクロ秒, 時間稼ぎする. */
     usleep(10);      usleep(10);
     sv->stream  = mysocketAccept(sv->stream);      if((sv->stream  = mysocketAccept2(sv->stream, pass)) == -1) {
         login_with_otp(sv->stream, pass);          return NULL;
     decideByteOrderClient(sv->stream, 0);      }
   
     return sv;      return sv;
 }  }
   
 /*  /*
    (-insecure 版の ox_start)  まだ、中身はありません。     (-insecure 版の ox_start)  まだ、中身はありません。
    ox_start_insecure_nonreverse は クライアントが呼び出すための関数である.     ox_start_insecure_nonreverse は クライアントが呼び出すための関数である.
    接続時には, sv->control を先にオープンする.     接続時には, sv->control を先にオープンする.
Line 685  ox_file_t ox_start_insecure_nonreverse(char* host, sho
Line 753  ox_file_t ox_start_insecure_nonreverse(char* host, sho
 {  {
     ox_file_t sv = malloc(sizeof(__ox_file_struct));      ox_file_t sv = malloc(sizeof(__ox_file_struct));
   
         sv->control = mysocketOpen(host, portControl);      sv->control = mysocketOpen(host, portControl);
 #if 0  #if 0
         /* ox は insecure のとき byte order の決定が正しくできないようだ... */      /* ox は insecure のとき byte order の決定が正しくできないようだ... */
     decideByteOrderClient(sv->control, 0);      decideByteOrderClient(sv->control, 0);
 #endif  #endif
         /* 10マイクロ秒, 時間稼ぎする. */      /* 10マイクロ秒, 時間稼ぎする. */
         usleep(10);      usleep(10);
         sv->stream  = mysocketOpen(host, portStream);      sv->stream  = mysocketOpen(host, portStream);
     decideByteOrderClient(sv->stream, 0);      decideByteOrderClient(sv->stream, 0);
         return sv;      return sv;
 }  }
   
 void ox_reset(ox_file_t sv)  void ox_reset(ox_file_t sv)
Line 709  void ox_reset(ox_file_t sv)
Line 777  void ox_reset(ox_file_t sv)
     }      }
   
     send_ox_tag(sv->stream, OX_SYNC_BALL);      send_ox_tag(sv->stream, OX_SYNC_BALL);
 #if DEBUG  #ifdef DEBUG
     fprintf(stderr, "I have reset an Open XM server.\n");      fprintf(stderr, "I have reset an Open XM server.\n");
 #endif  #endif
 }  }
Line 753  static int cmolen_cmo_list(cmo_list* c)
Line 821  static int cmolen_cmo_list(cmo_list* c)
   
 static int cmolen_cmo_monomial32(cmo_monomial32* c)  static int cmolen_cmo_monomial32(cmo_monomial32* c)
 {  {
         int len = (c->length + 1)*sizeof(int);      int len = (c->length + 1)*sizeof(int);
         return len + cmolen_cmo(c->coef);      return len + cmolen_cmo(c->coef);
 }  }
   
 static int cmolen_cmo_zz(cmo_zz* c)  static int cmolen_cmo_zz(cmo_zz* c)
Line 765  static int cmolen_cmo_zz(cmo_zz* c)
Line 833  static int cmolen_cmo_zz(cmo_zz* c)
   
 static int cmolen_cmo_distributed_polynomial(cmo_distributed_polynomial* c)  static int cmolen_cmo_distributed_polynomial(cmo_distributed_polynomial* c)
 {  {
         return cmolen_cmo_list((cmo_list *)c) + cmolen_cmo(c->ringdef);      return cmolen_cmo_list((cmo_list *)c) + cmolen_cmo(c->ringdef);
 }  }
   
 /* CMO がバイトエンコードされた場合のバイト列の長さを求める */  /* CMO がバイトエンコードされた場合のバイト列の長さを求める */
Line 800  int cmolen_cmo(cmo* c)
Line 868  int cmolen_cmo(cmo* c)
     case CMO_ZZ:      case CMO_ZZ:
         size += cmolen_cmo_zz((cmo_zz *)c);          size += cmolen_cmo_zz((cmo_zz *)c);
         break;          break;
         case CMO_DISTRIBUTED_POLYNOMIAL:      case CMO_DISTRIBUTED_POLYNOMIAL:
                 size += cmolen_cmo_distributed_polynomial((cmo_distributed_polynomial *)c);          size += cmolen_cmo_distributed_polynomial((cmo_distributed_polynomial *)c);
                 break;          break;
     default:      default:
     }      }
     return size;      return size;
Line 813  static char *d_buf;
Line 881  static char *d_buf;
   
 int init_dump_buffer(char *s)  int init_dump_buffer(char *s)
 {  {
         d_buf = s;      d_buf = s;
         d_ptr = 0;      d_ptr = 0;
 }  }
   
 static int dump_cmo_null(cmo_null* m)  static int dump_cmo_null(cmo_null* m)
 {  {
         return 0;      return 0;
 }  }
   
 static int dump_cmo_int32(cmo_int32* m)  static int dump_cmo_int32(cmo_int32* m)
Line 831  static int dump_cmo_string(cmo_string* m)
Line 899  static int dump_cmo_string(cmo_string* m)
 {  {
     int len = strlen(m->s);      int len = strlen(m->s);
     dump_integer(len);      dump_integer(len);
         dump_string(m->s, len);      dump_string(m->s, len);
 }  }
   
 static int dump_cmo_mathcap(cmo_mathcap* c)  static int dump_cmo_mathcap(cmo_mathcap* c)
Line 853  static int dump_cmo_list(cmo_list* m)
Line 921  static int dump_cmo_list(cmo_list* m)
   
 static int dump_cmo_monomial32(cmo_monomial32* c)  static int dump_cmo_monomial32(cmo_monomial32* c)
 {  {
         int i;      int i;
         int length = c->length;      int length = c->length;
         dump_integer(c->length);      dump_integer(c->length);
         for(i=0; i<length; i++) {      for(i=0; i<length; i++) {
                 dump_integer(c->exps[i]);          dump_integer(c->exps[i]);
         }      }
         dump_cmo(c->coef);      dump_cmo(c->coef);
 }  }
   
 static int dump_cmo_zz(cmo_zz* c)  static int dump_cmo_zz(cmo_zz* c)
Line 872  static int dump_cmo_distributed_polynomial(cmo_distrib
Line 940  static int dump_cmo_distributed_polynomial(cmo_distrib
     cell* cp = m->head;      cell* cp = m->head;
     int len = length_cmo_list((cmo_list *)m);      int len = length_cmo_list((cmo_list *)m);
     dump_integer(len);      dump_integer(len);
         dump_cmo(m->ringdef);      dump_cmo(m->ringdef);
     while(cp != NULL) {      while(cp != NULL) {
         dump_cmo(cp->cmo);          dump_cmo(cp->cmo);
         cp = cp->next;          cp = cp->next;
Line 888  int dump_cmo(cmo* m)
Line 956  int dump_cmo(cmo* m)
     case CMO_ZERO:      case CMO_ZERO:
     case CMO_DMS_GENERIC:      case CMO_DMS_GENERIC:
         dump_cmo_null(m);          dump_cmo_null(m);
                 break;          break;
     case CMO_INT32:      case CMO_INT32:
         dump_cmo_int32((cmo_int32 *)m);          dump_cmo_int32((cmo_int32 *)m);
                 break;          break;
     case CMO_STRING:      case CMO_STRING:
         dump_cmo_string((cmo_string *)m);          dump_cmo_string((cmo_string *)m);
                 break;          break;
     case CMO_MATHCAP:      case CMO_MATHCAP:
     case CMO_RING_BY_NAME:      case CMO_RING_BY_NAME:
     case CMO_INDETERMINATE:      case CMO_INDETERMINATE:
     case CMO_ERROR2:      case CMO_ERROR2:
         dump_cmo_mathcap((cmo_mathcap *)m);          dump_cmo_mathcap((cmo_mathcap *)m);
                 break;          break;
     case CMO_LIST:      case CMO_LIST:
         dump_cmo_list((cmo_list *)m);          dump_cmo_list((cmo_list *)m);
                 break;          break;
     case CMO_MONOMIAL32:      case CMO_MONOMIAL32:
         dump_cmo_monomial32((cmo_monomial32 *)m);          dump_cmo_monomial32((cmo_monomial32 *)m);
                 break;          break;
     case CMO_ZZ:      case CMO_ZZ:
         dump_cmo_zz((cmo_zz *)m);          dump_cmo_zz((cmo_zz *)m);
                 break;          break;
     case CMO_DISTRIBUTED_POLYNOMIAL:      case CMO_DISTRIBUTED_POLYNOMIAL:
         dump_cmo_distributed_polynomial((cmo_distributed_polynomial *)m);          dump_cmo_distributed_polynomial((cmo_distributed_polynomial *)m);
                 break;          break;
     default:      default:
     }      }
 }  }
Line 937  static int dump_string(char *s, int len)
Line 1005  static int dump_string(char *s, int len)
 static int dump_integer(int x)  static int dump_integer(int x)
 {  {
     int nx = htonl(x);      int nx = htonl(x);
         dump_string((char *)&nx, sizeof(int));      dump_string((char *)&nx, sizeof(int));
 }  }
   
 int dump_ox_data(ox_data* m)  int dump_ox_data(ox_data* m)
Line 1025  static int send_cmo_distributed_polynomial(int fd, cmo
Line 1093  static int send_cmo_distributed_polynomial(int fd, cmo
     cell* cp = c->head;      cell* cp = c->head;
     int len = length_cmo_list((cmo_list *)c);      int len = length_cmo_list((cmo_list *)c);
     send_int32(fd, len);      send_int32(fd, len);
         send_cmo(fd, c->ringdef);      send_cmo(fd, c->ringdef);
   
     while(cp->next != NULL) {      while(cp->next != NULL) {
         send_cmo(fd, cp->cmo);          send_cmo(fd, cp->cmo);
Line 1036  static int send_cmo_distributed_polynomial(int fd, cmo
Line 1104  static int send_cmo_distributed_polynomial(int fd, cmo
   
 static int send_cmo_monomial32(int fd, cmo_monomial32* c)  static int send_cmo_monomial32(int fd, cmo_monomial32* c)
 {  {
         int i;      int i;
         int len = c->length;      int len = c->length;
         send_int32(fd, len);      send_int32(fd, len);
         for(i=0; i<len; i++) {      for(i=0; i<len; i++) {
                 send_int32(fd, c->exps[i]);          send_int32(fd, c->exps[i]);
         }      }
         send_cmo(fd, c->coef);      send_cmo(fd, c->coef);
         return 0;      return 0;
 }  }
   
 static int send_cmo_zz(int fd, cmo_zz* c)  static int send_cmo_zz(int fd, cmo_zz* c)
 {  {
     send_mpz(fd, c->mpz);      send_mpz(fd, c->mpz);
         return 0;      return 0;
 }  }
   
 static int send_cmo_error2(int fd, cmo_error2* c)  static int send_cmo_error2(int fd, cmo_error2* c)
Line 1137  static int known_types[] = {
Line 1205  static int known_types[] = {
     CMO_ERROR2,      CMO_ERROR2,
 };  };
   
 #define ID_TEMP   "(CMO_MATHCAP, (CMO_LIST, (CMO_LIST, (CMO_INT32, %d), (CMO_STRING, \"%s\"), (CMO_STRING, \"%s\"), (CMO_STRING, \"%s\")), (CMO_LIST, (CMO_INT32, 1), (CMO_INT32, 2), (CMO_INT32, 4), (CMO_INT32, 5), (CMO_INT32, 17), (CMO_INT32, 20), (CMO_INT32, 2130706434))))\n"  #define ID_TEMP   "(CMO_LIST, (CMO_INT32, %d), (CMO_STRING, \"%s\"), (CMO_STRING, \"%s\"), (CMO_STRING, \"%s\"))"
   
 cmo* make_mathcap_object2(int ver, char* ver_s, char* sysname)  
   static cmo_list* make_list_of_id(int ver, char* ver_s, char* sysname)
 {  {
     cmo *cap;      cmo_list *cap;
     char buff[8192];      char buff[512];
   
     setgetc(mygetc);      setgetc(mygetc);
     sprintf(buff, ID_TEMP, ver, sysname, ver_s, getenv("HOSTTYPE"));      sprintf(buff, ID_TEMP, ver, sysname, ver_s, getenv("HOSTTYPE"));
     setmode_mygetc(buff, 8192);      setmode_mygetc(buff, 512);
     cap = parse();      cap = parse();
     resetgetc();      resetgetc();
   
     return cap;      return cap;
 }  }
   
 cmo* make_mathcap_object(int version, char* id_string)  static cmo_list *make_list_of_tag(int type)
 {  {
     cmo_list *li_ver, *li_cmo, *li;      cmo_list *li = new_cmo_list();
       symbol *symp;
     int i;      int i = 0;
     li_ver = new_cmo_list();      while((symp = lookup(i++))->key != NULL) {
     append_cmo_list(li_ver, (cmo *)new_cmo_int32(version));          if (symp->type == type) {
     append_cmo_list(li_ver, (cmo *)new_cmo_string(id_string));              append_cmo_list(li, (cmo *)new_cmo_int32(symp->tag));
   
     li_cmo = new_cmo_list();  
     for(i=0; i<MAX_TYPES; i++) {  
         if (known_types[i] != -1) {  
             append_cmo_list(li_cmo, (cmo *)new_cmo_int32(known_types[i]));  
         }          }
     }      }
       return li;
   }
   
     li = new_cmo_list();  cmo* make_mathcap_object(int version, char *id_string)
     append_cmo_list(li, (cmo *)li_ver);  {
     append_cmo_list(li, (cmo *)li_cmo);      char *sysname    = "ox_math";
       cmo_list *li     = new_cmo_list();
       cmo_list *li_1st = make_list_of_id(version, id_string, sysname);
       cmo_list *li_2nd = make_list_of_tag(IS_SM);
           cmo_list *li_3rd = new_cmo_list();
       cmo_list *li_cmo = make_list_of_tag(IS_CMO);
   
       cmo_list *li_ox  = new_cmo_list();
           append_cmo_list(li_ox,  (cmo *)new_cmo_int32(OX_DATA));
       append_cmo_list(li_3rd, (cmo *)li_ox);
       append_cmo_list(li_3rd, (cmo *)li_cmo);
   
       append_cmo_list(li, (cmo *)li_1st);
       append_cmo_list(li, (cmo *)li_2nd);
       append_cmo_list(li, (cmo *)li_3rd);
   
     return (cmo *)new_cmo_mathcap((cmo *)li);      return (cmo *)new_cmo_mathcap((cmo *)li);
 }  }
   
Line 1243  char *convert_zz_to_string(cmo_zz *c)
Line 1323  char *convert_zz_to_string(cmo_zz *c)
     return mpz_get_str(NULL, 10, c->mpz);      return mpz_get_str(NULL, 10, c->mpz);
 }  }
   
 char *convert_cmo_to_string(cmo *m)  
 {  
     switch(m->tag) {  
     case CMO_ZZ:  
         return convert_zz_to_string((cmo_zz *)m);  
     case CMO_INT32:  
         return convert_int_to_string(((cmo_int32 *)m)->i);  
     case CMO_STRING:  
         return ((cmo_string *)m)->s;  
     case CMO_NULL:  
         return convert_null_to_string();  
     default:  
         fprintf(stderr, "sorry, not implemented CMO\n");  
         /* まだ実装していません. */  
         return NULL;  
     }  
 }  
   
 char *convert_null_to_string()  char *convert_null_to_string()
 {  {
     static char* null_string = "";      static char* null_string = "";
Line 1277  char *convert_int_to_string(int integer)
Line 1339  char *convert_int_to_string(int integer)
     strcpy(s, buff);      strcpy(s, buff);
   
     return s;      return s;
   }
   
   char *convert_cmo_list_to_string(cmo_list *m)
   {
           char *s;
           int i;
           int size = 0;
           int len = length_cmo_list(m);
           char **sp = malloc(len*sizeof(cmo *));
   
       cell *cp = m->head;
       for(i = 0; i < len; i++) {
                   sp[i] = convert_cmo_to_string(cp->cmo);
                   size += strlen(sp[i]) + 3;
           cp = cp->next;
       }
           s = malloc(size+2);
           strcpy(s, "[ ");
           for(i = 0; i < len - 1; i++) {
                   strcat(s, sp[i]);
                   strcat(s, " , ");
           }
           strcat(s, sp[len-1]);
           strcat(s, " ]");
           free(sp);
           return s;
   }
   
   char *convert_cmo_to_string(cmo *m)
   {
       symbol *symp;
       switch(m->tag) {
       case CMO_ZZ:
           return convert_zz_to_string((cmo_zz *)m);
       case CMO_INT32:
           return convert_int_to_string(((cmo_int32 *)m)->i);
       case CMO_STRING:
           return ((cmo_string *)m)->s;
       case CMO_NULL:
           return convert_null_to_string();
       case CMO_LIST:
           return convert_cmo_list_to_string((cmo_list *)m);
       default:
   #ifdef DEBUG
           symp = lookup_by_tag(m->tag);
           fprintf(stderr, "I do not know how to convert %s to a string.\n", symp->key);
   #endif
           /* まだ実装していません. */
           return NULL;
       }
 }  }

Legend:
Removed from v.1.10  
changed lines
  Added in v.1.15

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>