egison-3.9.4: test/answer/sample/math/geometry/riemann-curvature-tensor-of-S2.egi
[| [| (* r (cos θ) (cos φ)) (* r (cos θ) (sin φ)) (* -1 r (sin θ)) |] [| (* -1 r (sin θ) (sin φ)) (* r (sin θ) (cos φ)) 0 |] |]_i_j
[| [| r^2 0 |] [| 0 (* r^2 (sin θ)^2) |] |]_#_#
[| [| (/ 1 r^2) 0 |] [| 0 (/ 1 (* r^2 (sin θ)^2)) |] |]~#~#
(tensor {2 2 2} {0 0 0 (* -1 r^2 (sin θ) (cos θ)) 0 (* r^2 (sin θ) (cos θ)) (* r^2 (sin θ) (cos θ)) 0} )_#_#_#
[| [| 0 0 |] [| 0 (* -1 r^2 (sin θ) (cos θ)) |] |]_#_#
[| [| 0 (* r^2 (sin θ) (cos θ)) |] [| (* r^2 (sin θ) (cos θ)) 0 |] |]_#_#
(tensor {2 2 2} {0 0 0 (* -1 (sin θ) (cos θ)) 0 (/ (cos θ) (sin θ)) (/ (cos θ) (sin θ)) 0} )~#_#_#
[| [| 0 0 |] [| 0 (* -1 (sin θ) (cos θ)) |] |]_#_#
[| [| 0 (/ (cos θ) (sin θ)) |] [| (/ (cos θ) (sin θ)) 0 |] |]_#_#
(tensor {2 2 2} {0 0 0 0 0 0 0 0} )_#_#_#
(tensor {2 2 2 2} {0 0 0 0 0 (sin θ)^2 (* -1 (sin θ)^2) 0 0 -1 1 0 0 0 0 0} )~#_#_#_#
[| [| 0 0 |] [| 0 0 |] |]~#_#
[| [| 0 (sin θ)^2 |] [| -1 0 |] |]~#_#
[| [| 0 (* -1 (sin θ)^2) |] [| 1 0 |] |]~#_#
[| [| 0 0 |] [| 0 0 |] |]~#_#
(tensor {2 2 2 2} {0 0 0 0 0 (* r^2 (sin θ)^2) (* -1 r^2 (sin θ)^2) 0 0 (* -1 r^2 (sin θ)^2) (* r^2 (sin θ)^2) 0 0 0 0 0} )_#_#_#_#
[| [| 0 0 |] [| 0 0 |] |]_#_#
[| [| 0 (* r^2 (sin θ)^2) |] [| (* -1 r^2 (sin θ)^2) 0 |] |]_#_#
[| [| 0 (* -1 r^2 (sin θ)^2) |] [| (* r^2 (sin θ)^2) 0 |] |]_#_#
[| [| 0 0 |] [| 0 0 |] |]_#_#
[| [| 1 0 |] [| 0 (sin θ)^2 |] |]_#_#
(/ 2 r^2)
(tensor {2 2 2 2 2} {0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0} )_#_#_#_#_#