Singular Manual: lpNoetherian

| ##### 7.7.8.0. lpNoetherian Procedure from library `fpaprops.lib` (see fpaprops_lib). Usage: lpNoetherian(G); G an ideal in a Letterplace ring Return: int 0 not noetherian 1 left noetherian 2 right noetherian 3 noetherian Purpose: Check whether R/<G> is (left/right) noetherian, where R is the basering Assume: - basering is a Letterplace ring - G is a Groebner basis Example:
    LIB "fpaprops.lib";
    ring r = 0,(x,y),dp;
    def R = makeLetterplaceRing(5);
    setring R;
    ideal G = x(1)*x(2), y(1)*x(2); // K<x,y>/<xx,yx> is right noetherian
    lpNoetherian(G);
    ==> 2

User manual for Singular version 4-1-1, 2018, generated by texi2html.