Every module discussed in this manual is a submodule of manin.
For example, the documentation discusses the module
rings.integer_ring, but to use this module in your
program, you should refer to it as manin.rings.integer_ring,
e.g.,
import manin.rings.integer_ring as integer_ring
Z = integer_ring.IntegerRing()