Commit 2025-10-08 14:28 c7bb7934

feat: custom elaborators for differential geometry (#27021) Add two sets of custom elaborators for differential geometry, to

• infer the model with corners in MDifferentiable{WithinAt,At,On} or ContMDiff{WithinAt,At,On} expressions from the local context, and provide shorter notation in that setting
• do the same for mfderiv: mfderiv% f is shorthand for mfderiv I J f; mfderiv[s] f x is short for mfderivWithin I J f s
• convert a fibre bundle section from a dependent section to a function into the total space, making working with differentiability of sections of fibre bundles less cumbersome This was discussed on zulip, to overall broad consensus. This code has substantial tests (which have caught bugs in the past). It has also been tested in the branch in #26221 (uncovering minor issues, but not substantial ones