def _add_(self,other): res = Polynomial_generic_dense._add_(self,other) Approximation.__init__(res,res.parent()) res._expected_degree = res.degree() res._length = res._expected_degree + 1 return res