Changeset 13af82 in git for Singular/LIB

Timestamp:

Apr 16, 2004, 3:55:33 PM (20 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

75ea15580cfe981176e90e903ade35b81d886205

Parents:

9218fa81e3a097e6f3267f4e47018f6c3513f435

Message:

*hannes: namespaces


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

Location:

Singular/LIB

Files:

• deform.lib (modified) (4 diffs)
• hnoether.lib (modified) (2 diffs)

Singular/LIB/deform.lib

@@ -1 @@
-// $Id: deform.lib,v 1.28 2004-02-23 10:19:09 Singular Exp $
+// $Id: deform.lib,v 1.29 2004-04-16 13:55:32 Singular Exp $
 // author: Bernd Martin email: martin@math.tu-cottbus.de
 //(bm, last modified 4/98)
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: deform.lib,v 1.28 2004-02-23 10:19:09 Singular Exp $";
+version="$Id: deform.lib,v 1.29 2004-04-16 13:55:32 Singular Exp $";
 category="Singularities";
 info="
@@ -895 +895 @@
   }
  setring br;
-  if(system("with","Namespaces")) { kill Ring::nr; }
-  kill nr;
+  if(system("with","Namespaces")) { kill Top::nr; }
+  if (defined(nr)) { kill nr; }
   return(degA);
 }
@@ -956 +956 @@
    if (l==0) {
      setring br;
-     if(system("with","Namespaces")) { kill Ring::nr; }
-     kill nr;
+     if(system("with","Namespaces")) { kill Top::nr; }
+     if (defined(nr)) { kill nr; }
      return(l);
    }
@@ -965 +965 @@
    dv = dv-l;
  setring br;
-   if(system("with","Namespaces")) { kill Ring::nr; }
-   kill nr;
+   if(system("with","Namespaces")) { kill Top::nr; }
+   if (defined(nr)) { kill nr; }
    return(dv);
 }

Singular/LIB/hnoether.lib

@@ -1 @@
-version="$Id: hnoether.lib,v 1.36 2004-02-23 10:22:33 Singular Exp $";
+version="$Id: hnoether.lib,v 1.37 2004-04-16 13:55:33 Singular Exp $";
 category="Singularities";
 info="
@@ -2617 +2617 @@
  {
    if(system("with","Namespaces")) { kill Top::extdguenstig; }
-   kill extdguenstig;
+   if (defined(extdguenstig)) {kill extdguenstig; }
  }