3d-euclidean-space.egi

(define $coordinates {x y z})

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