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

(define $coordinates {x y z w})

(define $metric
  (generate-tensor
    (match-lambda [integer integer]
      {[[$n ,n] 1]
       [[_ _] 0]})
    {4 4}))