X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FRoots%2FFast.hs;h=b3b5818782fede0db3e6b465dc9186d8e29a1ca5;hb=1f64a1a33b2636ef2e863a0b577c8d8d50233580;hp=0deb1fd6237a5909ea7d15a252f09b524093d1bf;hpb=bb7f6082639f8589a851487c02ab396f7f91b927;p=numerical-analysis.git diff --git a/src/Roots/Fast.hs b/src/Roots/Fast.hs index 0deb1fd..b3b5818 100644 --- a/src/Roots/Fast.hs +++ b/src/Roots/Fast.hs @@ -16,7 +16,6 @@ import NumericPrelude hiding (abs) import qualified Algebra.Absolute as Absolute import qualified Algebra.Additive as Additive import qualified Algebra.Algebraic as Algebraic -import qualified Algebra.Field as Field import qualified Algebra.RealRing as RealRing import qualified Algebra.RealField as RealField @@ -118,7 +117,7 @@ fixed_point_iterations f x0 = -- We also return the number of iterations required. -- fixed_point_with_iterations :: (Normed a, - Algebraic.C a, + Additive.C a, RealField.C b, Algebraic.C b) => (a -> a) -- ^ The function @f@ to iterate.