egison-4.0.0: lib/math/common/constants.egi

--
-- Mathematical constants
--

pi := π

MinkowskiMetric :=
  [|[|-1, 0, 0, 0|], [|0, 1, 0, 0|], [|0, 0, 1, 0|], [|0, 0, 0, 1|]|]