(define $coordinates {x y z w})

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