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.

- isLicci -- Tests whether an ideal is licci
- linkageBound -- computes a bound on the number of general links of an ideal to test the licci property

- isLicci(...,UseNormalModule=>...)
- linkageBound(...,UseNormalModule=>...)

The object UseNormalModule is a symbol.