This section describes Sage's automated testing of test files of the
following types: .py .pyx .sage .tex. Briefly, use sage -t
<file> to test that the examples in <file> behave exactly as
claimed. See the following subsections for more details.
See also Section 2.4 for a discussion of how to
include examples in documentation strings and what conventions to
follow.