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

--
-- Mathematical constants
--

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