Default value is false. When true, it enables a more refined computation of the bound on the number of general links of an ideal I that must be taken to definitively test the licci property. When UseNormalModule == true the computation of the normal module Hom(I, (ring I)/I) is required and this can be slow; if UseNormalModule == false the computation is fast, but the bound is large.
The object UseNormalModule is a symbol.