Description: Upstream changes introduced in version 0.4.3-1
 This patch has been created by dpkg-source during the package build.
 Here's the last changelog entry, hopefully it gives details on why
 those changes were made:
 .
 haskell-maths (0.4.3-1) unstable; urgency=low
 .
   * New upstream release.
   * Drop the add-Eq-constraints patch; applied upstream.
   * Update debian/copyright.
 .
 The person named in the Author field signed this changelog entry.
Author: Iulian Udrea <iulian@physics.org>

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: http://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: <YYYY-MM-DD>

--- haskell-maths-0.4.3.orig/Math/Algebra/NonCommutative/NCPoly.hs
+++ haskell-maths-0.4.3/Math/Algebra/NonCommutative/NCPoly.hs
@@ -210,4 +210,4 @@ subst vts (NP us) = sum [inject c * subs
 class Invertible a where
     inv :: a -> a
 
-x ^- k = inv x ^ k
\ No newline at end of file
+x ^- k = inv x ^ k
--- haskell-maths-0.4.3.orig/Math/Algebra/Field/Extension.hs
+++ haskell-maths-0.4.3/Math/Algebra/Field/Extension.hs
@@ -131,7 +131,7 @@ instance (Eq k, Fractional k, Polynomial
 c /> f@(UP as) | c == 1 = f
                | c /= 0 = UP (map (c' *) as) where c' = recip c
 
-instance (FiniteField k, PolynomialAsType k poly) => FiniteField (ExtensionField k poly) where
+instance (Eq k, FiniteField k, PolynomialAsType k poly) => FiniteField (ExtensionField k poly) where
     eltsFq _ = map Ext (polys (d-1) fp) where
         fp = eltsFq (undefined :: k)
         d = deg $ pvalue (undefined :: (k,poly))
@@ -250,4 +250,4 @@ sqrtminus5 = embed x :: QSqrtMinus5
 -- conjugate of a + b sqrt d is a - b sqrt d
 conjugate :: ExtensionField Q (Sqrt d) -> ExtensionField Q (Sqrt d)
 conjugate (Ext (UP [a,b])) = Ext (UP [a,-b])
-conjugate x = x -- the zero or constant cases
\ No newline at end of file
+conjugate x = x -- the zero or constant cases