Split library and tests

Author: pnutus

geometric-algebra.cabal

@@ -2,9 +2,10 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                geometric-algebra
-version:             0.3.0.0
+version:             0.3.1
 synopsis:            Geometric algebra calculations in Haskell
--- description:         
+description:         
+  Library for (hopefully) elegant computations using geometric algebra. Built for understanding, not speed.
 license:             MIT
 license-file:        LICENSE
 author:              Pontus Granström
@@ -16,9 +17,33 @@ extra-source-files:  README.md
 cabal-version:       >=1.10
 
 library
-  exposed-modules:     Numeric.GeometricAlgebra
-  other-modules:       Numeric.BasisBlade   
-  other-extensions:    TemplateHaskell
-  build-depends:       base >=4.6 && <4.7, digits >=0.2 && <0.3, QuickCheck >=2.6 && <2.7, ieee754 >=0.7 && <0.8
-  hs-source-dirs:      src
-  default-language:    Haskell2010
+  exposed-modules:    Numeric.GeometricAlgebra
+  other-modules:      Numeric.BasisBlade, Numeric.Multivector 
+  other-extensions:   TemplateHaskell
+  hs-source-dirs:     src
+  default-language:   Haskell2010
+  build-depends:      base    == 4.6.*, 
+                      digits  == 0.2.*,
+                      ieee754 == 0.7.*
+  
+test-suite tests
+  type:               exitcode-stdio-1.0
+  main-is:            MainTests.hs
+  hs-source-dirs:     tests, src
+  default-language:   Haskell2010
+  build-depends:      base           == 4.6.*, 
+                      QuickCheck     == 2.6.*, 
+                      test-framework,
+                      test-framework-th,
+                      test-framework-quickcheck2,
+                      digits  == 0.2.*,
+                      ieee754 == 0.7.*
+source-repository head
+  type:       git
+  location:   [email protected]:pnutus/geometric-algebra.git 
+  -- git://github.com/pnutus/geometric-algebra.git
+  
+source-repository this
+  type:       git
+  location:   [email protected]:pnutus/geometric-algebra.git
+  tag:        v0.3.1

src/Numeric/BasisBlade.hs

@@ -6,8 +6,6 @@ import Data.Word
 import Data.Bits
 import Data.List (intercalate)
 import Data.Digits (digitsRev)
-import Test.QuickCheck hiding ((.&.))
-import Test.QuickCheck.All
 import Data.AEq
 import Prelude hiding (negate, reverse)
 
@@ -108,32 +106,3 @@ bitFilter bits = maskFilter (bitsToBool $ digitsRev 2 bits)
     where bitsToBool = map (== 1)
 
 maskFilter mask xs = map snd $ filter fst (zip mask xs)
-
--- Tests/Properties
-
-runTests = $quickCheckAll
-
-prop_outerAntisymmetry x y =
- isVector x && isVector y && (basis x /= basis y) ==> 
-  x `out` y ~== (-1) *> y `out` x
-
-prop_geoOuterEquiv bl1@(BasisBlade b1 s1) bl2@(BasisBlade b2 s2) =
-  (b1.&.b2 == 0) ==>
-  bl1 `geo` bl2 == bl1 `out` bl2
-  
-prop_outerGrade x y = 
-  (outProd /= scalar 0) ==>
-  grade (outProd) == grade x + grade y
-    where outProd = x `out` y
-
-prop_geoGrade x y = 
-  grade (x `geo` y) == grade x + grade y - 2*common
-  where common = popCount $ basis x .&. basis y
-  
-
-
-instance Arbitrary BasisBlade where
-  arbitrary = do
-    scalar <- arbitrary
-    bits <- arbitrary
-    return (BasisBlade scalar bits)