egison-5.0.0: lib/math/geometry/4d-euclidean-space.egi

def coordinates {Num a} : Vector a := [x, y, z, w]

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