minkowski-space.egi

coordinates := [t, x, y, z]

metric :=
  generateTensor
    (\match as (integer, integer) with
      | (#1, #1) -> -1
      | ($n, #n) -> 1
      | (_, _) -> 0)
    [4, 4]