Changeset 927cae in git
- Timestamp:
- Nov 24, 2017, 1:22:47 PM (6 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- b4ee8d1b033f2ad8a4b9d9fbca1f5cefdb741779
- Parents:
- 67a25dc16190bd3be04c9899cc5aba41125ec8b9
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/fpadim.lib
r67a25d r927cae 1174 1174 } 1175 1175 1176 // also if G is the whole ring return noetherian1176 // also if G is the whole ring 1177 1177 if (leadmonom(G[i]) == 1) { 1178 return(3);1178 ERROR("noetherianity not defined for 0-ring") 1179 1179 } 1180 1180 } … … 1320 1320 // also if G is the whole ring 1321 1321 if (leadmonom(G[i]) == 1) { 1322 return(1);1322 ERROR("primeness not defined for 0-ring") 1323 1323 } 1324 1324 } … … 1411 1411 // also if G is the whole ring 1412 1412 if (leadmonom(G[i]) == 1) { 1413 return(1);1413 ERROR("primeness not defined for 0-ring") 1414 1414 } 1415 1415 } … … 1512 1512 // also if G is the whole ring return minus infinity 1513 1513 if (leadmonom(G[i]) == 1) { 1514 return(-2); // minus infinity1514 ERROR("Gk-Dim not defined for 0-ring") 1515 1515 } 1516 1516 } … … 1978 1978 PURPOSE: Determines the Gelfand Kirillov dimension of A/<G> 1979 1979 @* -1 means it is positive infinite 1980 @* -2 means it is negative infinite1981 1980 ASSUME: - basering is a Letterplace ring 1982 1981 - G is a Groebner basis
Note: See TracChangeset
for help on using the changeset viewer.