riemann-curvature-tensor-of-S3.egi

"\"egison\" (line 27, column 12):\nunexpected \"_\"\nexpecting top-level expression"