Changeset cb8c57 in git

Timestamp:

Mar 16, 2018, 1:47:53 PM (5 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

3ea833075e746ca13c85f94a5894c0c7fd4e6a56

Parents:

291c20f7b7606d4de47d656af8dc974191666905

Message:

Update prime/ semi prime docs

File:

• Singular/LIB/fpaprops.lib (modified) (4 diffs)

Singular/LIB/fpaprops.lib

@@ -19 +19 @@
 PROCEDURES:
   lpNoetherian(<GB>);     check whether A/<GB> is (left/right) noetherian
-  lpIsSemiPrime(<GB>);    check whether A/<GB> is semi prime
-  lpIsPrime(<GB>);        check whether A/<GB> is prime
+  lpIsSemiPrime(<GB>);    check whether A/<LM(GB)> is semi prime
+  lpIsPrime(<GB>);        check whether A/<LM(GB)> is prime
   lpGkDim(<GB>);          compute the Gelfand Kirillov dimension of A/<GB>
   lpGlDimBound(<GB>);     compute an upper bound for the global dimension of A/<GB>
@@ -37 +37 @@
 @*      2 right noetherian
 @*      3 noetherian
-PURPOSE: Check whether R/<G> is (left/right) noetherian, where R is the basering
+PURPOSE: Check whether A/<G> is (left/right) noetherian
 ASSUME: - basering is a Letterplace ring
 @*      - G is a Groebner basis
@@ -199 +199 @@
 "USAGE: lpIsSemiPrime(G); G an ideal in a Letterplace ring
 RETURN: boolean
-PURPOSE: Check whether R/<G> is semi prime, where R is the basering
+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}).
 ASSUME: - basering is a Letterplace ring
       - G is a Groebner basis
@@ -300 +300 @@
 "USAGE: lpIsPrime(G); G an ideal in a Letterplace ring
 RETURN: boolean
-PURPOSE: Check whether R/<G> is prime, where R is the basering
+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}).
 ASSUME: - basering is a Letterplace ring
       - G is a Groebner basis