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