--
-- Mathematical constants
--

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