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

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

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