merge default dev

merge from default dev

Add DifferentiableRealMapping shorthand dev

Add Mapping codomain slicing and RealVectorField dev

(0) -30 -10 -4 +4 +10 +30 tip

mercurial