Top
Back: locAtZero
Forward: getSmallest
FastBack: noether_lib
FastForward: normaliz_lib
Up: normal_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.15.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[1][1] contains the ideal norid and the map normap: basering/i --> nor[1][1]/norid.

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

Theory:
The procedure can be used to test whether the computation of the normalization was correct: basering/i --> nor[1][1]/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:
 


Top Back: locAtZero Forward: getSmallest FastBack: noether_lib FastForward: normaliz_lib Up: normal_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.