Changeset 64c6d1 in git for Singular/LIB

Timestamp:

Jun 3, 1998, 12:04:30 PM (26 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

88e48a8bf8bdcee21c6f8cc76efb29c06ce04a7b

Parents:

b9d3335d3643e630740a082ced8fc9b82bc915e2

Message:

* new file/dir layout of LIBs, bin, doc:
  LIB stays in-place, (new)doc moves to root, tests is removed
* LIB loading with "~"
* SearchPath is dynamically determined (see febase.cc)
* info prog is searched for in bindir
* correct handling of .singurlarrc
* env variable SINGULARHIST is used for determining history-file
* res always returns resolution
* configure is more robust (i.e., complains earlier if something is
  wrong)


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

File:

• Singular/LIB/standard.lib (modified) (5 diffs)

Singular/LIB/standard.lib

@@ -1 @@
-// $Id: standard.lib,v 1.17 1998-05-29 15:02:02 Singular Exp $
+// $Id: standard.lib,v 1.18 1998-06-03 10:04:26 obachman Exp $
 //////////////////////////////////////////////////////////////////////////////
 
-version="$Id: standard.lib,v 1.17 1998-05-29 15:02:02 Singular Exp $";
+version="$Id: standard.lib,v 1.18 1998-06-03 10:04:26 obachman Exp $";
 info="
 LIBRARY: standard.lib   PROCEDURES WHICH ARE ALWAYS LOADED AT START-UP
@@ -387 +387 @@
 {
    def P=basering;
-   list result;
    def m=#[1]; //the ideal or module
 
@@ -413 +412 @@
       list re=mres(m,i);
       setring P;
-      result=imap(Phelp,re);
+      resolution result=imap(Phelp,re);
       return(result);
    }
@@ -427 +426 @@
       list re=sres(m,i);
       setring P;
-      result=imap(Phelp,re);
+      resolution result=imap(Phelp,re);
       return(result);
    }
@@ -438 +437 @@
    list re=mres(m,i);
    setring P;
-   result=imap(Phelp,re);
+   resolution result=imap(Phelp,re);
    return(result);
 }
 
-proc minresu(list #)
-{
-   return(res(#[1],#[2],1));
-}
+/*
+proc minres(list #)
+{
+  if (size(#) == 2)
+  {
+    if (typeof(#[1]) == "ideal" || typeof(#[1]) == "module")
+    {
+      if (typeof(#[2] == "int"))
+      {
+        return (res(#[1],#[2],1));
+      }
+    }
+  }
+  
+  if (typeof(#[1]) == "resolution")
+  {
+    return minimizeres(#[1]);
+  }
+  else
+  {
+    return minimizeres(#);
+  }
+  
+}
+
+*/