'Return True if ``self`` is a zero module.
This happens if and only if the base module is the same as the
submodule being killed.
>>> from sympy.abc import x
>>> from sympy import QQ
>>> F = QQ.old_poly_ring(x).free_module(2)
>>> (F/[(1, 0)]).is_zero()
False
>>> (F/[(1, 0), (0, 1)]).is_zero()
True'

def is_zero(self):

    return (self.base == self.killed_module)
