Changeset 932175 in git
- Timestamp:
- Apr 10, 2009, 3:04:12 PM (14 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')
- Children:
- 407fdc0e70b9d6f49eedf3751a12540195d0488b
- Parents:
- e3b9bf1cdb9088017e940a91a1ea11d4621a34d2
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/gkdim.lib
re3b9bf r932175 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: gkdim.lib,v 1.1 2 2009-04-09 12:04:41 seelischExp $";2 version="$Id: gkdim.lib,v 1.13 2009-04-10 13:04:12 Singular Exp $"; 3 3 category="Noncommutative"; 4 4 info=" … … 54 54 { 55 55 def M = L[1]; 56 int d = -1; 56 57 if (typeof(M)=="ideal") 57 58 { 58 intd=idGKdim(M);59 d=idGKdim(M); 59 60 } 60 61 else … … 72 73 M=std(M); 73 74 } 74 int d = -1;75 75 int n = ncols(M); // Num of vectors defining M 76 76 int m = nrows(M); // The rank of the free module where M is imbedded … … 95 95 else 96 96 { 97 string d="Error: The input must be an ideal, a module or a matrix.";97 ERROR("The input must be an ideal, a module or a matrix."); 98 98 } 99 }100 return (d);99 } 100 return (d); 101 101 } 102 102 example … … 118 118 ideal B = 1; 119 119 GKdim(B); 120 GKdim( 0) == nvars(basering); // should be true, i.e., evaluated to 1120 GKdim(ideal(0)) == nvars(basering); // should be true, i.e., evaluated to 1 121 121 } 122 122 ///////////////////////////////////////////////////////////////////////////////
Note: See TracChangeset
for help on using the changeset viewer.