cayley-dickson 0.3.0.0 → 0.3.1.0

raw patch · 2 files changed

+6/−5 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• cayley-dickson.cabal +1/−1
• src/Math/CayleyDickson.hs +5/−4

@@ -1,5 +1,5 @@ name:                cayley-dickson-version:             0.3.0.0+version:             0.3.1.0 synopsis:            Complex numbers, quaternions, octonions, sedenions, etc. description:         Cayley-Dickson constructions (complex numbers, quaternions,                      octonions, sedenions, etc.) over general scalars without

@@ -127,7 +127,8 @@ purePart (Scalar _) = Scalar 0 purePart (x :@ y) = purePart x :@ y --- | Dot product. @(1 \`dot\`)@ is equivalent to @'scalarPart'@.+-- | Dot product. For real scalars, @(1 \`dot\`)@ is equivalent to+-- @'scalarPart'@. dot :: Conjugable a => Nion n a -> Nion n a -> a -- (y * conj x + x * conj y) / 2 Scalar x `dot` Scalar y = scalarPart' $ y * conj x@@ -135,9 +136,9 @@ (x1 :@ _) `dot` y@(Scalar _) = x1 `dot` y (x1 :@ x2) `dot` (y1 :@ y2) = (x1 `dot` y1) + (x2 `dot` y2) --- | Cross product. @(1 \`cross\`)@ is equivalent to @'purePart'@. The--- cross product of two pures yields an element that is orthogonal to--- both operands.+-- | Cross product. The cross product of two pures yields a pure that+-- is orthogonal to both operands. For real scalars, @(1 \`cross\`)@+-- is equivalent to @'purePart'@. cross :: Conjugable a => Nion n a -> Nion n a -> Nion n a -- (y * conj x - x * conj y) / 2 x `cross` y = y * conj x -. x `dot` y