Changeset c1af7f in git

Timestamp:

Apr 12, 2018, 9:30:22 AM (5 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

3d9a641dcde94d8e4816289e70f2242501f5fd27

Parents:

cc055e0b475b7d52dd09b42cd095fba3dd904333

Message:

Fix lpNoetherian() doc

File:

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

Singular/LIB/fpaprops.lib

@@ -18 +18 @@
 
 PROCEDURES:
-  lpNoetherian(<GB>);     check whether A/<GB> is (left/right) noetherian
+  lpNoetherian(<GB>);     check whether A/<LM(GB)> is (left/right) noetherian
   lpIsSemiPrime(<GB>);    check whether A/<LM(GB)> is semi prime
   lpIsPrime(<GB>);        check whether A/<LM(GB)> is prime
@@ -37 +37 @@
 @*      2 right noetherian
 @*      3 noetherian
-PURPOSE: Check whether A/<G> is (left/right) noetherian
+PURPOSE: Check whether the monomial algebra A/<LM(G)> is (left/right) noetherian
 ASSUME: - basering is a Letterplace ring
 @*      - G is a Groebner basis
+NOTE: A/<LM(G)> (left/right) noetherian implies A/<G> (left/right) noetherian
 "
 {