Should this just be `DifferentialExtension(extension={'D': [Poly(1, t)]})`?