egison-4.1.3: lib/math/geometry/4d-euclidean-space.egi
def coordinates := [x, y, z, w]
def metric :=
generateTensor
(\match as list integer with
| [$n, #n] -> 1
| _ -> 0)
[4, 4]
def coordinates := [x, y, z, w]
def metric :=
generateTensor
(\match as list integer with
| [$n, #n] -> 1
| _ -> 0)
[4, 4]