Changeset fa9cb5 in git for Singular/LIB/gkdim.lib


Ignore:
Timestamp:
Oct 29, 2009, 6:52:12 PM (15 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
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:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/gkdim.lib

    r02b673 rfa9cb5  
    11///////////////////////////////////////////////////////////////////////////////
    2 version="$Id: gkdim.lib,v 1.13 2009-04-10 13:04:12 Singular Exp $";
     2version="$Id: gkdim.lib,v 1.14 2009-10-29 17:52:12 Singular Exp $";
    33category="Noncommutative";
    44info="
     
    2424    I=std(I);
    2525  }
    26   int i;
    27   for (i=1; i<=size(I); i++)
    28   {
    29     I[i]=leadmonom(I[i]);
    30   }
    3126
    32   def oldring=basering;
    33   string newringstring="ring newring=("+charstr(basering)+"),("+varstr(basering)+"),("+ordstr(basering)+");";
    34   execute (newringstring);
    35   setring newring;
    36   ideal J  = imap(oldring,I);
    37   ideal sJ = std(J);
    38   int d    = dim(sJ);
    39   setring oldring;
     27  int d    = dim(I);
    4028  //  if (d==-1) {d++;} // The GK-dimension of a finite dimensional module is zero
    4129  // levandov: but for consistency, GKdim(std(1)) == -1,
Note: See TracChangeset for help on using the changeset viewer.