# Singular          #### D.4.18.11 norTest

Procedure from library `normal.lib` (see normal_lib).

Assume:
nor is the output of normal(i) (any options) or
normalP(i,"withRing") or normalC(i) (any options).
In particular, the ring nor contains the ideal norid and the map normap: basering/i --> nor/norid.

Return:
an intvec v such that:
 ``` v = 1 if the normap is injective and 0 otherwise v = 1 if the normap is finite and 0 otherwise v = 1 if nor/norid is normal and 0 otherwise ```
If n=1 (resp n=2) only v (resp. v) is computed and returned

Theory:
The procedure can be used to test whether the computation of the normalization was correct: basering/i --> nor/norid is the normalization of basering/i if and only if v=1,1,0.

Note:
For big examples it can be hard to fully test correctness; the partial test norTest(i,nor,2) is usually fast

Example:
 ```LIB "normal.lib"; int prl = printlevel; printlevel = -1; ring r = 0,(x,y),dp; ideal i = (x-y^2)^2 - y*x^3; list nor = normal(i); norTest(i,nor); //1,1,1 means that normal was correct ==> 1 ==> 1 ==> 1,1,1 nor = normalC(i); norTest(i,nor); //1,1,1 means that normal was correct ==> 1 ==> 1 ==> 1,1,1 ring s = 2,(x,y),dp; ideal i = (x-y^2)^2 - y*x^3; nor = normalP(i,"withRing"); norTest(i,nor); //1,1,1 means that normalP was correct ==> 1 ==> 1 ==> 1,1,1 printlevel = prl; ```

### Misc 