The routines supplied here are copyright of Luis B. Almeida. Free permission is
given for their use, solely for nonprofit research purposes. All other uses are
prohibited, except if a specific license is obtained from the copyright owner.
