Changeset fa9cb5 in git

Timestamp:

Oct 29, 2009, 6:52:12 PM (14 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')

Children:

0c8943aaba858a3c45fa1d3efe4d6099d6fb544a

Parents:

02b67321af570136ba409128c06d7aa9b8f3f86c

Message:

*hannes: Gelfand-Kirillov dim is usual dim


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

File:

• Singular/LIB/gkdim.lib (modified) (2 diffs)

Singular/LIB/gkdim.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: gkdim.lib,v 1.13 2009-04-10 13:04:12 Singular Exp $";
+version="$Id: gkdim.lib,v 1.14 2009-10-29 17:52:12 Singular Exp $";
 category="Noncommutative";
 info="
@@ -24 +24 @@
     I=std(I);
   }
-  int i;
-  for (i=1; i<=size(I); i++)
-  {
-    I[i]=leadmonom(I[i]);
-  }
 
-  def oldring=basering;
-  string newringstring="ring newring=("+charstr(basering)+"),("+varstr(basering)+"),("+ordstr(basering)+");";
-  execute (newringstring);
-  setring newring;
-  ideal J  = imap(oldring,I);
-  ideal sJ = std(J);
-  int d    = dim(sJ);
-  setring oldring;
+  int d    = dim(I);
   //  if (d==-1) {d++;} // The GK-dimension of a finite dimensional module is zero
   // levandov: but for consistency, GKdim(std(1)) == -1,