diff --git a/sample/math/geometry/riemann-curvature-tensor-of-S5-conformal.egi b/sample/math/geometry/riemann-curvature-tensor-of-S5-conformal.egi index a6aa8290..4ab5f41d 100644 --- a/sample/math/geometry/riemann-curvature-tensor-of-S5-conformal.egi +++ b/sample/math/geometry/riemann-curvature-tensor-of-S5-conformal.egi @@ -30,8 +30,13 @@ e (define $g__ (generate-tensor 2#(* (a θ φ ψ η δ) (V.* e_%1 e_%2)) {5 5})) (define $g~~ (M.inverse g_#_#)) -g_#_#; -g~#~#; +g_#_# +;[|[| (* (a θ φ ψ η δ) r^2) 0 0 0 0 |] +; [| 0 (* (a θ φ ψ η δ) r^2 (sin θ)^2) 0 0 0 |] +; [| 0 0 (* (a θ φ ψ η δ) r^2 (sin θ)^2 (sin φ)^2) 0 0 |] +; [| 0 0 0 (* (a θ φ ψ η δ) r^2 (sin θ)^2 (sin φ)^2 (sin ψ)^2) 0 |] +; [| 0 0 0 0 (* (a θ φ ψ η δ) r^2 (sin θ)^2 (sin φ)^2 (sin ψ)^2 (sin η)^2) |]|]_#_# +g~#~# (with-symbols {i j k} (. g~i~j g_j_k)) ;[| [| 1 0 0 0 0 |] [| 0 1 0 0 0 |] [| 0 0 1 0 0 |] [| 0 0 0 1 0 |] [| 0 0 0 0 1 |] |]