These 3 Mathematica files perform the
tests for Lemmas L1, L2, L3 in the book.
These are the computational lemmas in
the Local Analysis part of the book.
