#### D.15.7.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

User manual for Singular version 4-0-3, 2016, generated by texi2html.