|  |  D.15.17.2 dimensionOfLocalization Procedure from librarygraal.lib(see  graal_lib).
 
Example:Usage:
dimensionOfLocalization(L); L ideal or graalBearer
Return:
int, the dimension of the localization A_L of A at L.
 |  | 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 = std(X(1),X(2));
==> // ** _ is no standard basis
qring A = std(H);
ideal L = fetch(Q,J);
graalBearer Gr = graalMixed(L);
// def fA = Gr.fA; setring fA;
dimensionOfLocalization(Gr); // = 1
==> // ** redefining scriptIin (    ideal scriptIin = Gr.scriptIin;) graal.li\
   b::dimensionOfLocalization:579
==> 1
 | 
 
 |