Sympy-exact symbolic witness of the first Bianchi identity on the round 2-sphere. Setup: same metric as the sphere-Riemann witness (g = dθ² + sin²θ dφ²). Full 4-index Riemann tensor R^ρ_{σμν} computed on the 2×2×2×2 = 16-component grid;…
Sympy-exact symbolic witness of the first Bianchi identity on the round 2-sphere. Setup: same metric as the sphere-Riemann witness (g = dθ² + sin²θ dφ²). Full 4-index Riemann tensor R^ρ_{σμν} computed on the 2×2×2×2 = 16-component grid;…