Changeset 01cda73 in git for Singular/LIB/general.lib

Timestamp:

Jul 28, 2009, 4:17:00 PM (14 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

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

Children:

d3e63080067b404bb6735cd99263a8ca6d413ed4

Parents:

40db068acd2f944f37ff293b6e23465dfa9d9765

Message:

*hannes: Namespaces by default


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

File:

• Singular/LIB/general.lib (modified) (3 diffs)

Singular/LIB/general.lib

@@ -3 +3 @@
 //eric, added absValue 11.04.2002
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: general.lib,v 1.65 2009-07-28 10:34:55 Singular Exp $";
+version="$Id: general.lib,v 1.66 2009-07-28 14:17:00 Singular Exp $";
 category="General purpose";
 info="
@@ -345 +345 @@
 "
 {
-  if (system("with","Namespaces"))
-  {
-    list @marie=names(Top);
-  }
-  else
-  {
-    list @marie=names();
-  }
+  list @marie=names(Top);
   int j, no_kill, @joni;
   for ( @joni=1; @joni<=size(#);  @joni++)
@@ -393 +386 @@
           if (!defined(@joni)) break;
         }
-        if ((system("with","Namespaces")) && defined(General))
+        if (defined(General))
         {
           @marie=names(General);