Commits

Aleksey Khudyakov committed 561fc11

Add 4-dimensional type synonym

  • Participants
  • Parent commits 8fee4ef

Comments (0)

Files changed (1)

Data/NVector/Lorentz.hs

 data LorentzTag = LorentzTag
 instance (Nat n, Greater n N1) => N.Possible n LorentzTag
 
--- | Lorentz vector
+-- | Lorentz vector. (+,-,-,-) metric is used.
 type Lorentz n a = N.NVector LorentzTag n a
 
+-- | 4-dimensional Lorentz vector. (1 time dimension, 3 spatial dimensions)
+type Lorentz4 a = Lorentz N4 a
+
 -- | Extract spatial part from Lorentz vector
 spatialPart :: (U.Unbox a, Nat n, Nat (Prev n), Positive (Prev n))
             => Lorentz n a -> Euclidean (Prev n) a