|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.15.7.4 isLocalizationRegular
Procedure from librarygraal.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.
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 |