egison-3.7.0: lib/math/common/constants.egi
;;;;; ;;;;; ;;;;; Mathematical Constants ;;;;; ;;;;; (define $pi π) (define $Minkowski-metric [| [| -1 0 0 0 |] [| 0 1 0 0 |] [| 0 0 1 0 |] [| 0 0 0 1 |] |])
;;;;; ;;;;; ;;;;; Mathematical Constants ;;;;; ;;;;; (define $pi π) (define $Minkowski-metric [| [| -1 0 0 0 |] [| 0 1 0 0 |] [| 0 0 1 0 |] [| 0 0 0 1 |] |])