Sympy-exact symbolic witness of the round-2-sphere curvature. Setup: unit sphere S² of radius 1 with metric g = dθ² + sin²θ dφ², coordinates (θ, φ) on the coordinate patch 0 < θ < π. Christoffel symbols: Γ^θ_{φφ} = −sin θ cos θ, Γ^φ_{θφ}…
Sympy-exact symbolic witness of the round-2-sphere curvature. Setup: unit sphere S² of radius 1 with metric g = dθ² + sin²θ dφ², coordinates (θ, φ) on the coordinate patch 0 < θ < π. Christoffel symbols: Γ^θ_{φφ} = −sin θ cos θ, Γ^φ_{θφ}…