Changeset cb8c57 in git
 Timestamp:
 Mar 16, 2018, 1:47:53 PM (5 years ago)
 Branches:
 (u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
 Children:
 3ea833075e746ca13c85f94a5894c0c7fd4e6a56
 Parents:
 291c20f7b7606d4de47d656af8dc974191666905
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/fpaprops.lib
r291c20 rcb8c57 19 19 PROCEDURES: 20 20 lpNoetherian(<GB>); check whether A/<GB> is (left/right) noetherian 21 lpIsSemiPrime(<GB>); check whether A/< GB> is semi prime22 lpIsPrime(<GB>); check whether A/< GB> is prime21 lpIsSemiPrime(<GB>); check whether A/<LM(GB)> is semi prime 22 lpIsPrime(<GB>); check whether A/<LM(GB)> is prime 23 23 lpGkDim(<GB>); compute the Gelfand Kirillov dimension of A/<GB> 24 24 lpGlDimBound(<GB>); compute an upper bound for the global dimension of A/<GB> … … 37 37 @* 2 right noetherian 38 38 @* 3 noetherian 39 PURPOSE: Check whether R/<G> is (left/right) noetherian, where R is the basering39 PURPOSE: Check whether A/<G> is (left/right) noetherian 40 40 ASSUME:  basering is a Letterplace ring 41 41 @*  G is a Groebner basis … … 199 199 "USAGE: lpIsSemiPrime(G); G an ideal in a Letterplace ring 200 200 RETURN: boolean 201 PURPOSE: Check whether R/<G> is semi prime, where R is the basering201 PURPOSE: Check whether A/<LM(G)> is semi prime, that is when p * (A/<LM(G)>) * p != 0 for all p in (A/<LM(G)>  {0}). 202 202 ASSUME:  basering is a Letterplace ring 203 203  G is a Groebner basis … … 300 300 "USAGE: lpIsPrime(G); G an ideal in a Letterplace ring 301 301 RETURN: boolean 302 PURPOSE: Check whether R/<G> is prime, where R is the basering302 PURPOSE: Check whether A/<LM(G)> is prime, that is when p1 * (A/<LM(G)>) * p2 != 0 for all p1, p2 in (A/<LM(G)>  {0}). 303 303 ASSUME:  basering is a Letterplace ring 304 304  G is a Groebner basis
Note: See TracChangeset
for help on using the changeset viewer.