Changeset 445434a in git for Singular/LIB/inout.lib

Timestamp:

Jun 7, 1999, 7:32:21 PM (25 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

ec0e9d7b985b557f645baaa4179c0a8f4b092e6a

Parents:

f937e20ea755161f0ffc5168e6b102697901293d

Message:

*greuel: show extended


git-svn-id: file:///usr/local/Singular/svn/trunk@3098 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/inout.lib (modified) (10 diffs)

Singular/LIB/inout.lib

@@ -1 @@
-// $Id: inout.lib,v 1.6 1998-05-14 18:45:07 Singular Exp $
+// $Id: inout.lib,v 1.7 1999-06-07 17:32:21 Singular Exp $
 // system("random",787422842);
 // (GMG/BM, last modified 22.06.96)
 ///////////////////////////////////////////////////////////////////////////////
 
-version="$Id: inout.lib,v 1.6 1998-05-14 18:45:07 Singular Exp $";
+version="$Id: inout.lib,v 1.7 1999-06-07 17:32:21 Singular Exp $";
 info="
 LIBRARY:  inout.lib     PROCEDURES FOR MANIPULATING IN- AND OUTPUT
@@ -387 +387 @@
    if ( typeof(id)=="list" )
    {
-      @@s = tab(@li@)+"// list, "+string(size(id))+" element(s):";
-      @@s;"";
+//      @@s = tab(@li@)+"// list, "+string(size(id))+" element(s):";
+      @@s = tab((3*(voice-2)))+"// list, "+string(size(id))+" element(s):";
+      @@s;
       for ( @ii=1; @ii<=size(id); @ii++ )
       {
@@ -394 +395 @@
          {
             def @id(@ii) = id[@ii];
-            show(@id(@ii),@li@+3);
-         }
-         else { tab(@li@+2),"//",id[@ii]; }
+            tab(3*(voice-2))+"["+string(@ii)+"]:";
+            //           show(@id(@ii),@li@+3*(voice-1));
+            show(@id(@ii),3*(voice-1));
+         }
+         else
+         {
+            "["+string(@ii)+"]:";
+            tab(@li@+2),"//",id[@ii]; 
+         }
       }
       short=@short@; return();
     }
-   if( defined(@id@)!=voice ) { "// wrong syntax, type help show;";  return(); }
+   if( defined(@id@)!=voice ) { "// wrong syntax, type help show;";  return();}
 //-------------------- case: @id@ belongs to any ring -------------------------
    if( typeof(@id@)=="string" or typeof(@id@)=="int" or typeof(@id@)=="intvec"
@@ -436 +443 @@
       }
       if( typeof(@id@)=="matrix")
+      {
+         @@s=@@s + ", "+string(nrows(@id@))+"x"+string(ncols(@id@));
+         @@s;
+         print(matrix(@id@));
+      }
+       if( typeof(@id@)=="matrix")
       {
          @@s=@@s + ", "+string(nrows(@id@))+"x"+string(ncols(@id@));
@@ -459 +472 @@
       short=@short@; return();
    }
-   if( typeof(@id@)=="number" )
-   {
-      @@s = tab(@li@)+"//", typeof(@id@);
+   if( typeof(@id@)=="number" or typeof(@id@)=="resolution" )
+   {
+      @@s = tab(@li@)+"// ", typeof(@id@);
       @@s;
       @id@; short=@short@; return();
@@ -485 +498 @@
       if( typeof(@id@)=="ring" )
       {
+         kill @id@;
          @@s = tab(@li@)+"// ring:"; @@s,s;
          @@s = tab(@li@)+"// minpoly ="; @@s,minpoly;
+         "// objects belonging to this ring:";
+         listvar(poly);listvar(ideal);
+         listvar(vector);listvar(module);
+         listvar(map);listvar(matrix);
+         listvar(number);listvar(resolution);
       }
       if( typeof(@id@)=="qring" )
@@ -494 +513 @@
          @@s = tab(@li@)+"// quotient ring from ideal:"; @@s;
          ideal(@id@);
+         listvar(poly);listvar(ideal);
+         listvar(vector);listvar(module);
+         listvar(map);listvar(matrix);
+         listvar(number);listvar(resolution);
       }
       short=@short@; //return();
@@ -503 +526 @@
     show(r);
     ideal i=x^3+y^5-6*z^3,xy,x3-y2;
-    show(i,3);
+    show(i,3);            // introduce 3 space tabs before information
     vector v=x*gen(1)+y*gen(3);
     module m=v,2*v+gen(4);
@@ -515 +538 @@
     map F=r,a2,b^2,3*c3;
     show(F);
-// Apply show to i (which does not belong to the basering) by typing
+// Apply 'show' to i (which does not belong to the basering) by typing
 // ring r; ideal i=xy,x3-y2; ring Q; show(r,"i");
 }
@@ -557 +580 @@
 example
 { "EXAMPLE:"; echo=2;
-   ring r=2,(t(1..15),x,y),ds;
-   poly f=y+t(15)*x^2+t(14)*x^3+t(13)*x^2*y^2+t(12)*x*y^3;
-   showrecursive(f,xy);
-   showrecursive(f,xy,"ds");
+   ring r=2,(a,b,c,d,x,y),ds;
+   poly f=y+ax2+bx3+cx2y2+dxy3;
+   showrecursive(f,x);
+   showrecursive(f,xy,"lp");
 }
 ///////////////////////////////////////////////////////////////////////////////