Home Online Manual
Top
Back: lpIsSemiPrime
Forward: lpGkDim
FastBack:
FastForward:
Up: fpaprops_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.8.0. lpIsPrime
Procedure from library fpaprops.lib (see fpaprops_lib).

Usage:
lpIsPrime(G); G an ideal in a Letterplace ring

Return:
boolean

Purpose:
Check whether R/<G> is prime, 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)*y(2); // K<x,y>/<xx,yy> is prime
lpIsPrime(G);
==> 1