|
7.7.8.0. lpIsSemiPrime
Procedure from library fpaprops.lib (see fpaprops_lib).
- 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
- Assume:
- - basering is a Letterplace ring
- G is a Groebner basis
Example:
| LIB "fpaprops.lib";
ring r = 0,(x1,x2),dp;
def R = makeLetterplaceRing(5);
setring R;
ideal G = x1(1)*x2(2), x2(1)*x1(2); // K<x1,x2>/<x1*x2,x2*x1> is semi prime
lpIsSemiPrime(G);
==> 1
|
|