'Generate a submodule.
This is the same as taking a quotient of a submodule of the base
module.
>>> from sympy.abc import x
>>> from sympy import QQ
>>> Q = QQ.old_poly_ring(x).free_module(2) / [(x, x)]
>>> Q.submodule([x, 0])
<[x, 0] + <[x, x]>>'

def submodule(self, *gens, **opts):

    return SubQuotientModule(gens, self, **opts)
