Polynomial approximation of functions in Sobolev spaces | Synapse