Changeset 927cae in git


Ignore:
Timestamp:
Nov 24, 2017, 1:22:47 PM (6 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
b4ee8d1b033f2ad8a4b9d9fbca1f5cefdb741779
Parents:
67a25dc16190bd3be04c9899cc5aba41125ec8b9
Message:
Fix issues with 0-ring
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/fpadim.lib

    r67a25d r927cae  
    11741174    }
    11751175
    1176     // also if G is the whole ring return noetherian
     1176    // also if G is the whole ring
    11771177    if (leadmonom(G[i]) == 1) {
    1178       return(3);
     1178      ERROR("noetherianity not defined for 0-ring")
    11791179    }
    11801180  }
     
    13201320    // also if G is the whole ring
    13211321    if (leadmonom(G[i]) == 1) {
    1322       return(1);
     1322      ERROR("primeness not defined for 0-ring")
    13231323    }
    13241324  }
     
    14111411    // also if G is the whole ring
    14121412    if (leadmonom(G[i]) == 1) {
    1413       return(1);
     1413      ERROR("primeness not defined for 0-ring")
    14141414    }
    14151415  }
     
    15121512    // also if G is the whole ring return minus infinity
    15131513    if (leadmonom(G[i]) == 1) {
    1514       return(-2); // minus infinity
     1514      ERROR("Gk-Dim not defined for 0-ring")
    15151515    }
    15161516  }
     
    19781978PURPOSE: Determines the Gelfand Kirillov dimension of A/<G>
    19791979@*      -1 means it is positive infinite
    1980 @*      -2 means it is negative infinite
    19811980ASSUME: - basering is a Letterplace ring
    19821981- G is a Groebner basis
Note: See TracChangeset for help on using the changeset viewer.