numberOfRealRootsInInterval

stla · May 4, 2024 · 4a0819e · 4a0819e
1 parent 7738a3b
commit 4a0819e
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/scripts/signAnalysis2.hs b/scripts/signAnalysis2.hs
@@ -68,8 +68,9 @@ signVariations' = _signVariations signFunc
       | AlgAbs.signum a == AlgRing.one = '+'
       | otherwise                      = '-' 
 
-wStHa :: (Eq a, AlgRing.C a) => ([a] -> Int) -> Spray a -> (a, a) -> Int
-wStHa signVariationsFunc spray (alpha, beta) = 
+_numberOfRealRootsInInterval :: 
+  (Eq a, AlgRing.C a) => ([a] -> Int) -> Spray a -> (a, a) -> Int
+_numberOfRealRootsInInterval signVariationsFunc spray (alpha, beta) = 
   signVariationsFunc galpha - signVariationsFunc gbeta 
   where
     g = filter (not . isZeroSpray) (sturmHabichtSequence 1 spray)
@@ -80,13 +81,13 @@ numberOfRealRootsInInterval ::
   (Eq a, Num a, AlgRing.C a) => Spray a -> (a, a) -> Int
 numberOfRealRootsInInterval spray = 
   if isUnivariate spray 
-    then wStHa signVariations spray
+    then _numberOfRealRootsInInterval signVariations spray
     else error "numberOfRealRootsInInterval: the spray is not univariate."
 
 numberOfRealRootsInInterval' :: (Eq a, AlgAbs.C a) => Spray a -> (a, a) -> Int
 numberOfRealRootsInInterval' spray =
   if isUnivariate spray 
-    then wStHa signVariations' spray
+    then _numberOfRealRootsInInterval signVariations' spray
     else error "numberOfRealRootsInInterval': the spray is not univariate."