Procedures:
D.5.10.1 spectrumnd spectrum of a nondegenerate isolated singularity D.5.10.2 semicont tests if s2 is semicontinous for s1 D.5.10.3 semicontqh semicontinuity test using open and half open intervals D.5.10.4 spadd sum of two spectra s1 and s2 D.5.10.5 spmul product of spectrum s with integer k