merge default dev

merge from default dev

Add DifferentiableRealMapping shorthand dev

Add Mapping codomain slicing and RealVectorField dev

Add Differential struct and DifferentiableMapping.diff dev

typofix dev

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

mercurial