This section describes automated testing of test files of the
following types: .py .pyx .sage .tex. Use sage -t
<file> to test that the examples in <file> behave exactly as
claimed. See Section 2.4 for a discussion of how to
include examples in documentation strings and what conventions to
follow -- Section 2.4.1.