Changeset cb8c57 in git


Ignore:
Timestamp:
Mar 16, 2018, 1:47:53 PM (6 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '45e267b9942dec9429fe249ce3e5e44ab80a6a3a')
Children:
3ea833075e746ca13c85f94a5894c0c7fd4e6a56
Parents:
291c20f7b7606d4de47d656af8dc974191666905
Message:
Update prime/ semi prime docs
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/fpaprops.lib

    r291c20 rcb8c57  
    1919PROCEDURES:
    2020  lpNoetherian(<GB>);     check whether A/<GB> is (left/right) noetherian
    21   lpIsSemiPrime(<GB>);    check whether A/<GB> is semi prime
    22   lpIsPrime(<GB>);        check whether A/<GB> is prime
     21  lpIsSemiPrime(<GB>);    check whether A/<LM(GB)> is semi prime
     22  lpIsPrime(<GB>);        check whether A/<LM(GB)> is prime
    2323  lpGkDim(<GB>);          compute the Gelfand Kirillov dimension of A/<GB>
    2424  lpGlDimBound(<GB>);     compute an upper bound for the global dimension of A/<GB>
     
    3737@*      2 right noetherian
    3838@*      3 noetherian
    39 PURPOSE: Check whether R/<G> is (left/right) noetherian, where R is the basering
     39PURPOSE: Check whether A/<G> is (left/right) noetherian
    4040ASSUME: - basering is a Letterplace ring
    4141@*      - G is a Groebner basis
     
    199199"USAGE: lpIsSemiPrime(G); G an ideal in a Letterplace ring
    200200RETURN: boolean
    201 PURPOSE: Check whether R/<G> is semi prime, where R is the basering
     201PURPOSE: 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}).
    202202ASSUME: - basering is a Letterplace ring
    203203      - G is a Groebner basis
     
    300300"USAGE: lpIsPrime(G); G an ideal in a Letterplace ring
    301301RETURN: boolean
    302 PURPOSE: Check whether R/<G> is prime, where R is the basering
     302PURPOSE: 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}).
    303303ASSUME: - basering is a Letterplace ring
    304304      - G is a Groebner basis
Note: See TracChangeset for help on using the changeset viewer.