Singular Manual: dimensionOfLocalization

| #### D.5.6.2 dimensionOfLocalization Procedure from library `graal.lib` (see graal_lib). Usage: dimensionOfLocalization(L); L ideal or graalBearer Return: int, the dimension of the localization A_L of A at L. 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 = 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:582
    ==> 1

User manual for Singular version 4-2-1p3, 2021, generated by texi2html.