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

--
-- Mathematical constants
--

def MinkowskiMetric {Num a} : Matrix a :=
  [|[|-1, 0, 0, 0|], [|0, 1, 0, 0|], [|0, 0, 1, 0|], [|0, 0, 0, 1|]|]