Home Online Manual
Top
Back: systemOfParametersOfLocalization
Forward: warkedPreimageStd
FastBack:
FastForward:
Up: graal_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.6.4 isLocalizationRegular

Procedure from library graal.lib (see graal_lib).

Usage:
isLocalizationRegular(def L); L ideal or graalBearer

Return:
int, 1 if the localization A_L of A at L is regular,
0 otherwise.

Example:
 
LIB "graal.lib";
ring Q = 0,(X(1),X(2)),dp;
ideal H = X(2)^2-(X(1)-1)*X(1)*(X(1)+1);
ideal J = X(1),X(2);
qring A = std(H);
ideal L = fetch(Q,J);
graalBearer Gr = graalMixed(L);
isLocalizationRegular(Gr); // = 1
==> 1