Differential function

A smooth function defined on a jet bundle
@olver86