minkowski-space.egi

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

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