Changeset e54eb4 in git

Timestamp:

May 4, 1998, 7:17:29 PM (25 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

c5a88891ba4d777fe9b97be6204411eb90c6f654

Parents:

88289708ee359c59e161ac6dfdaaac7d14fcccef

Message:

* hannes: cosmetic cahnges for header (tesths.cc)
  added "the online help system" to doc
  minor fixes to info menus


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

Files:

• Singular/tesths.cc (modified) (13 diffs)
• doc/general.doc (modified) (previous)
• doc/singular.doc (modified) (previous)
• doc/types.doc (modified) (previous)

Singular/tesths.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: tesths.cc,v 1.37 1998-05-04 11:36:45 obachman Exp $ */
+/* $Id: tesths.cc,v 1.38 1998-05-04 17:17:26 Singular Exp $ */
 
 /*
@@ -59 +59 @@
 {
 #ifdef HAVE_MPSR
-  {LON_BATCH,             0,  0,  'b'},   
+  {LON_BATCH,             0,  0,  'b'},
 #endif
   {LON_HELP,              0,  0,  'h'},
-  {LON_QUIET,             0,  0,  'q'},   
+  {LON_QUIET,             0,  0,  'q'},
   {LON_NO_TTY,            0,  0,  't'},
   {LON_VERSION,           0,  0,  'v'},
@@ -96 +96 @@
   const char*   arg_name;// name of argument, if has_arg > 0
   const char*   help;    // (short) help string
-  char*         val;     // (default) value of option: 0: not set 1:set 
+  char*         val;     // (default) value of option: 0: not set 1:set
                          // string:"" if has_arg > 0
 };
 
 // mention only documented options here
-static struct sing_option sing_longopts[] = 
-{
-#ifdef HAVE_MPSR
-  {LON_BATCH,       0,          "Run in MP batch mode",                                 0},   
+static struct sing_option sing_longopts[] =
+{
+#ifdef HAVE_MPSR
+  {LON_BATCH,       0,          "Run in MP batch mode",                                 0},
 #endif
   {LON_HELP,        0,          "Print help message and exit",                          0},
-  {LON_QUIET,       0,          "Do not print start-up banner and warnings",            0},   
+  {LON_QUIET,       0,          "Do not print start-up banner and warnings",            0},
   {LON_NO_TTY,      0,          "Do not redefine the terminal characteristics",         0},
   {LON_VERSION,     0,          "Print extended version and configuration info",        0},
 #ifdef HAVE_TCL
   {LON_TCLMODE      0,          "Run in TCL mode, i.e., with TCL user interface",       0},
-#endif  
+#endif
   {LON_ECHO,        "VAL",      "Set value of variable `echo' to (integer) VAL",        ""},
   {LON_EXECUTE,     "STRING",   "Execute STRING on start-up",                           ""},
@@ -169 +169 @@
   printf("   %s [options] [file1 [file2 ...]]\n", name);
   printf("Options:\n");
-  
+
   while (longopts[i].name != 0)
   {
@@ -197 +197 @@
       }
     }
-#ifndef NDEBUG      
+#ifndef NDEBUG
     else
       printf("--%s Undocumented\n", longopts[i].name);
@@ -229 +229 @@
         Print("// --%-10s %d\n", sopt->name, sopt->val);
       else
-        Print("// --%-10s %s\n", sopt->name, sopt->val); 
+        Print("// --%-10s %s\n", sopt->name, sopt->val);
     }
     else
@@ -286 +286 @@
   // parse command line options
   while((optc = getopt_long(argc, argv,
-                            SHORT_OPTS_STRING, longopts, &option_index)) 
+                            SHORT_OPTS_STRING, longopts, &option_index))
         != EOF)
   {
     switch(optc)
     {
-          
+   
         case 'b':
-#ifdef HAVE_MPSR          
+#ifdef HAVE_MPSR   
           feBatch=TRUE;
           mainSetSingOptionValue(LON_BATCH, (char*) 1);
@@ -371 +371 @@
           mainSetSingOptionValue(LON_EXECUTE, optarg);
           break;
-          
+   
         case 'r':
           errno = 0;
@@ -391 +391 @@
           mainSetSingOptionValue(LON_RANDOM, optarg);
           break;
-          
+   
         case 'u':
           mainSetSingOptionValue(LON_USER_OPTION, optarg);
@@ -412 +412 @@
             if (mintime <= 0)
             {
-              printf("%s: `%s' invalid float argument for option `--%s'\n",  
+              printf("%s: `%s' invalid float argument for option `--%s'\n",
                      argv[0], optarg, LON_MIN_TIME);
               mainUsage(argv[0]);
@@ -429 +429 @@
             mainSetSingOptionValue(LON_MP_HOST, optarg);
           }
-#endif          
+#endif   
           else if (strcmp(longopts[option_index].name, LON_TICKS_PER_SEC) == 0)
           {
@@ -466 +466 @@
   {
     printf(
-"              Welcome to SINGULAR                  /\n"
-"           A Computer Algebra System             o<     %s\n"
-" for Commutative Algebra and Algebraic Geometry    \\    %s\n\n"
-"by: G.-M. Greuel, G. Pfister, H. Schoenemann\n"
-"Fachbereich Mathematik der Universitaet, D-67653 Kaiserslautern\n"
+"      SINGULAR : a Computer Algebra System              /\n"
+" for Commutative Algebra and Algebraic Geometry        /   %s\n"
+"                                                     0<\n"
+"  by: G.-M. Greuel, G. Pfister, H. Schoenemann         \\   %s\n"
+"FB Mathematik der Universitaet, D-67653 Kaiserslautern  \\\n"
 #if 0
 "contributions: O.Bachmann,W.Decker,H.Grassmann,B.Martin,M.Messollen,W.Neumann,\n"
 "\tW.Pohl,T.Siebert,R.Stobbe,T.Wichmann\n"
 "e-mail: singular@mathematik.uni-kl.de\n", S_VERSION1,S_VERSION2);
-#endif    
+#endif
 , S_VERSION1,S_VERSION2);
 #if 0
     printf("%s  %s  (%d)",S_VERSION1,S_VERSION2, SINGULAR_VERSION_ID);
-#endif    
-    printf("\nPlease note:  EVERY COMMAND MUST END WITH A SEMICOLON \";"
-           "\"\n(e.g., help; help command; help General syntax; help ring; quit;)\n\n");
+#endif
+    printf("\nPlease note:  every command must end with a semicolon \";"
+           "\"\n(e.g., help; help command; help General syntax; help ring; quit;)\n");
   }
   else
@@ -497 +497 @@
   if (load_std_lib)
   {
+    int vv=verbose;
+    verbose &= ~Sy_bit(V_LOAD_LIB);
     iiLibCmd(mstrdup("standard.lib"),TRUE);
-  }  
+    verbose=vv;
+  }
   errorreported = 0;
 #ifndef macintosh