DiffScalarFieldAlgebra
DiffScalarField
The Real Line and Open Intervals
Algebra of Differentiable Scalar Fields