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

--
-- Mathematical constants
--

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