FIX: printing vs. typing of a quotient ring

ADD: tests for printing vs typing for qrings & non-commutative algebras

Author: Oleksandr Motsak

Tst/New/print_nc_relations.tst

@@ -0,0 +1,42 @@
+LIB "tst.lib"; tst_init();
+
+proc TestRingPrinting(def r, string n)
+{
+  def save = basering;
+  
+  setring r;
+  
+  "VVVVVVVVVVVV[", n, "]VVVVVVVVVVVV";
+  
+  "r == currRing (the following type and print should yield the same output!): ";
+  "type: "; r;
+  "print(ring): "; print(r);  
+
+  ring @temp = 2,@a,ds; setring @temp;
+  
+  "r != currRing (the following type and print may be different!): ";  
+  "type: "; r;
+  "print(ring): "; print(r);
+  
+  "^^^^^^^^^^^^[", n, "]^^^^^^^^^^^^";
+  kill @temp;
+  
+  setring save;
+}
+
+ring r;
+
+TestRingPrinting(r, "default commutative polynomial ring");
+
+def g = nc_algebra(-1, 1);
+
+TestRingPrinting(g, "NC G-Algebra");
+
+setring g;
+
+qring gr = twostd(ideal(var(1)^2));
+
+
+TestRingPrinting(gr, "NC GR-Algebra (quotient algebra!)");
+
+tst_status(1);$

Tst/New/print_qring.tst

@@ -0,0 +1,35 @@
+LIB "tst.lib"; tst_init();
+
+proc TestRingPrinting(def r, string n)
+{
+  def save = basering;
+  
+  setring r;
+  
+  "VVVVVVVVVVVV[", n, "]VVVVVVVVVVVV";
+  
+  "r == currRing (the following type and print should yield the same output!): ";
+  "type: "; r;
+  "print(ring): "; print(r);  
+
+  ring @temp = 2,@a,ds; setring @temp;
+  
+  "r != currRing (the following type and print may be different!): ";  
+  "type: "; r;
+  "print(ring): "; print(r);
+  
+  "^^^^^^^^^^^^[", n, "]^^^^^^^^^^^^";
+  kill @temp;
+  
+  setring save;
+}
+
+ring r; 
+
+TestRingPrinting(r, "default commutative polynomial ring");
+
+qring q = std(ideal(x2));
+
+TestRingPrinting(q, "quotient ring");
+
+tst_status(1);$

libpolys/polys/monomials/ring.cc

@@ -402,8 +402,12 @@ void   rWrite(ring r, BOOLEAN details)
 #endif
   if (r->qideal!=NULL)
   {
-    PrintS("\n// quotient ring from ideal\n");
-    iiWriteMatrix((matrix)r->qideal,"_",1,r);
+    PrintS("\n// quotient ring from ideal");
+    if( details )
+    {
+      PrintLn();       
+      iiWriteMatrix((matrix)r->qideal,"_",1,r);
+    } else PrintS(" ...");
   }
 }