===================================================================
RCS file: /home/cvs/OpenXM/src/ox_toolkit/print.c,v
retrieving revision 1.2
retrieving revision 1.7
diff -u -p -r1.2 -r1.7
--- OpenXM/src/ox_toolkit/print.c	2000/11/18 05:46:10	1.2
+++ OpenXM/src/ox_toolkit/print.c	2018/04/04 09:52:03	1.7
@@ -1,5 +1,5 @@
 /* -*- mode: C; coding: euc-japan -*- */
-/* $OpenXM: OpenXM/src/ox_toolkit/print.c,v 1.1 2000/10/10 05:23:21 ohara Exp $ */
+/* $OpenXM: OpenXM/src/ox_toolkit/print.c,v 1.6 2018/04/04 09:44:09 ohara Exp $ */
 
 /*
 Functions in this module print a given CMO to console.
@@ -15,16 +15,20 @@ static void print_cmo_int32(cmo_int32* c);
 static void print_cmo_list(cmo_list* li);
 static void print_cmo_mathcap(cmo_mathcap* c);
 static void print_cmo_string(cmo_string* c);
+static void print_cmo_double(cmo_double* c);
+static void print_cmo_bf(cmo_bf* c);
+static void print_cmo_zz(cmo_zz* c);
+static void print_cmo_qq(cmo_qq* c);
+static void print_cmo_tree(cmo_tree* c);
 
 void print_cmo(cmo* c)
 {
     int tag = c->tag;
-
-    symbol_t symp = lookup_by_tag(tag);
-    if (symp != NULL) {
-        fprintf(stderr, "(%s", symp->key);
+    char *s = get_symbol_by_tag(tag);
+    if (s != NULL) {
+        ox_printf("(%s", s);
     }else {     
-        fprintf(stderr, "(%d", tag);
+        ox_printf("(%d", tag);
     }
 
     switch(tag) {
@@ -46,39 +50,92 @@ void print_cmo(cmo* c)
     case CMO_NULL:
     case CMO_ZERO:
     case CMO_DMS_GENERIC:
-        fprintf(stderr, ")");
+        ox_printf(")");
         break;
+    case CMO_ZZ:
+        print_cmo_zz((cmo_zz *)c);
+        break;
+    case CMO_QQ:
+        print_cmo_qq((cmo_qq *)c);
+        break;
+    case CMO_BIGFLOAT:
+        print_cmo_bf((cmo_bf *)c);
+        break;
+    case CMO_IEEE_DOUBLE_FLOAT:
+    case CMO_64BIT_MACHINE_DOUBLE:
+        print_cmo_double((cmo_double *)c);
+        break;
+    case CMO_TREE:
+        print_cmo_tree((cmo_tree *)c);
+        break;
     default:
-        fprintf(stderr, "\nprint_cmo() does not know how to print cmo of type %d.\n", tag);
+        ox_printf("\nprint_cmo() does not know how to print cmo of type %d.\n", tag);
     }
 }
 
 static void print_cmo_int32(cmo_int32* c)
 {
-    fprintf(stderr, ", %d)", c->i);
+    ox_printf(", %d)", c->i);
 }
 
 static void print_cmo_list(cmo_list* this)
 {
     cell* cp = list_first(this);
-	fprintf(stderr, "[%d]", list_length(this));
+    ox_printf("[%d]", list_length(this));
     while(!list_endof(this, cp)) {
-        fprintf(stderr, ", ");
+        ox_printf(", ");
         print_cmo(cp->cmo);
         cp=list_next(cp);
     }
-    fprintf(stderr, ")");
+    ox_printf(")");
 }
 
 static void print_cmo_mathcap(cmo_mathcap* c)
 {
-    fprintf(stderr, ", ");
+    ox_printf(", ");
     print_cmo(c->ob);
-    fprintf(stderr, ")");
+    ox_printf(")");
 }
 
 static void print_cmo_string(cmo_string* c)
 {
-    fprintf(stderr, ", \"%s\")", c->s);
+    ox_printf(", \"%s\")", c->s);
+}
+
+static void print_cmo_double(cmo_double* c)
+{
+    ox_printf(", %.14f)", c->d);
+}
+
+static void print_cmo_zz(cmo_zz* c)
+{
+	char buf[4096];
+    gmp_sprintf(buf, ", %Zd)", c->mpz);
+    ox_printf("%s", buf);
+}
+
+static void print_cmo_qq(cmo_qq* c)
+{
+	char buf[4096];
+    gmp_sprintf(buf, ", %Qd)", c->mpq);
+    ox_printf("%s", buf);
+}
+
+static void print_cmo_bf(cmo_bf* c)
+{
+	char buf[4096];
+    mpfr_sprintf(buf, ", %.12f)", c->mpfr);
+    ox_printf("%s", buf);
+}
+
+static void print_cmo_tree(cmo_tree* c)
+{
+    ox_printf(", ");
+    print_cmo(c->name);
+    ox_printf(", ");
+    print_cmo(c->attributes);
+    ox_printf(", ");
+    print_cmo(c->leaves);
+    ox_printf(")");
 }