@classmethod
def zero(cls):
    """
        Return the polynomial ring's neutral element of addition: the zero
        polynomial.
        """
    R = cls.polynomial_ring()
    return cls(R.zero(), R.zero())
