|
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
|
|