Changeset a1b1dd in git

Timestamp:

Aug 13, 2004, 2:52:38 PM (19 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')

Children:

cbcc6f60e9762c35407e5f53eca609495277d48c

Parents:

adeed4b97f724a13995d90ce8a67054ca3ff5503

Message:

*hannes: namespace changes


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

Location:

Singular/LIB

Files:

• general.lib (modified) (2 diffs)
• hnoether.lib (modified) (2 diffs)

Singular/LIB/general.lib

@@ -3 +3 @@
 //eric, added absValue 11.04.2002
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: general.lib,v 1.42 2002-04-11 14:46:54 westenb Exp $";
+version="$Id: general.lib,v 1.43 2004-08-13 12:52:37 Singular Exp $";
 category="General purpose";
 info="
@@ -529 +529 @@
       for ( @joni=size(@marie); @joni>2; @joni-- )
       {
-        if ( @marie[@joni] != "LIB" && typeof(`@marie[@joni]`) != "proc")
+        if ( @marie[@joni] != "LIB" && @marie[@joni] != "Top"
+             && typeof(`@marie[@joni]`) != "proc")
         {
           no_kill = 0;

Singular/LIB/hnoether.lib

@@ -1 @@
-version="$Id: hnoether.lib,v 1.40 2004-08-11 16:11:40 Singular Exp $";
+version="$Id: hnoether.lib,v 1.41 2004-08-13 12:52:38 Singular Exp $";
 category="Singularities";
 info="
@@ -2676 +2676 @@
  {
    if(system("with","Namespaces")) { kill Top::extdguenstig; }
-   kill extdguenstig;
+   esle { kill extdguenstig; }
  }