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

Timestamp:

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

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

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/deform.lib (modified) (4 diffs)

Singular/LIB/deform.lib

@@ -1 @@
-// $Id: deform.lib,v 1.37 2006-07-31 09:11:10 Singular Exp $
+// $Id: deform.lib,v 1.38 2009-07-28 14:17:00 Singular Exp $
 // author: Bernd Martin email: martin@math.tu-cottbus.de
 //(bm, last modified 4/98)
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: deform.lib,v 1.37 2006-07-31 09:11:10 Singular Exp $";
+version="$Id: deform.lib,v 1.38 2009-07-28 14:17:00 Singular Exp $";
 category="Singularities";
 info="
@@ -574 +574 @@
   br = my+"Sx";
   if (defined(`br`)) { kill `br`}
-  if(system("with","Namespaces"))
-  {
-    br = my+"Qx";
-    if (defined(Top::`br`)) { kill Top::`br`;}
-    br = my+"Ox";
-    if (defined(Top::`br`)) { kill Top::`br`;}
-    br = my+"Px";
-    if (defined(Ring::`br`)) { kill Ring::`br`;}
-    br = my+"So";
-    if (defined(Ring::`br`)) { kill Ring::`br`;}
-  }
+  //Namespaces:
+  br = my+"Qx";
+  if (defined(Top::`br`)) { kill Top::`br`;}
+  br = my+"Ox";
+  if (defined(Top::`br`)) { kill Top::`br`;}
+  br = my+"Px";
+  if (defined(Ring::`br`)) { kill Ring::`br`;}
+  br = my+"So";
+  if (defined(Ring::`br`)) { kill Ring::`br`;}
   if (defined(basering)==0)
   { "// choose new basering?";
-    if(system("with","Namespaces")) { listvar(Top,ring); }
-    else { listvar(ring); }
+    listvar(Top,ring);
   }
   return();
@@ -958 +955 @@
    intvec dv;
    int l = homog(A) ;
-   if (l==0) {
+   if (l==0)
+   {
      setring br;
-     if(system("with","Namespaces")) { kill Top::nr; }
+     kill Top::nr;
      if (defined(nr)) { kill nr; }
      return(l);
@@ -969 +967 @@
    dv = dv-l;
  setring br;
-   if(system("with","Namespaces")) { kill Top::nr; }
+   kill Top::nr;
    if (defined(nr)) { kill nr; }
    return(dv);