9g (part 1): drop 9 _g typeclass-dispatch notations#39

Merged

Xinze-Li-Moqian merged 9 commits into

mainfrom

refactor/explicit-g-9g

May 18, 2026

Commits on May 18, 2026

9g: drop Ric_g(v, w) x notation, inline as ricciTensor HasMetric.metric x v w
Xinze-Li-Moqian
committed
9g: drop grad_g[I] f notation, inline as manifoldGradient (I := I) HasMetric.metric f
Xinze-Li-Moqian
committed
9g: drop Δ_g[I] f notation, inline as Operators.scalarLaplacian (I := I) HasMetric.metric f
Xinze-Li-Moqian
committed
9g: drop hess_g[I] f notation, inline as Operators.hessianBilin (I := I) HasMetric.metric f
Xinze-Li-Moqian
committed
9g: drop div_g[I] and H_g[I] notations (no callsites)
Xinze-Li-Moqian
committed
9g: drop K_g[I] and scal_g[I] notations
Xinze-Li-Moqian
committed
9g: drop Ric(X, Y) notation, inline as ricci HasMetric.metric X Y
Xinze-Li-Moqian
committed
9g: drop ⟪V, W⟫_g notation + MetricInnerHom dispatch class
Xinze-Li-Moqian
committed
9g: drop ∇[X] Y notation, inline as covDeriv HasMetric.metric X Y
Xinze-Li-Moqian
committed