Replace autodiff by ForwardDiff.jl package

JuliaIntervals · Apr 7, 2016 · ebb2e34 · ebb2e34
1 parent d1905e8
commit ebb2e34
Show file tree

Hide file tree

Showing 7 changed files with 9 additions and 151 deletions.
diff --git a/REQUIRE b/REQUIRE
@@ -2,3 +2,4 @@ julia 0.4
 CRlibm 0.2.2
 Compat 0.7.11
 FixedSizeArrays
+ForwardDiff
diff --git a/src/ValidatedNumerics.jl b/src/ValidatedNumerics.jl
@@ -54,7 +54,7 @@ export
 ## Root finding
 export
     newton, krawczyk,
-    differentiate, D, # should these be exported?
+    derivative,  # reexport derivative from ForwardDiff
     Root, is_unique,
     find_roots,
     find_roots_midpoint

diff --git a/src/root_finding/automatic_differentiation.jl b/src/root_finding/automatic_differentiation.jl
diff --git a/src/root_finding/root_finding.jl b/src/root_finding/root_finding.jl
@@ -1,5 +1,9 @@
 # This file is part of the ValidatedNumerics.jl package; MIT licensed
 
+using ForwardDiff
+
+const D = ForwardDiff.derivative
+
 immutable Root{T<:Real}
     interval::Interval{T}
     root_type::Symbol
@@ -13,7 +17,7 @@ is_unique{T}(root::Root{T}) = root.root_type == :unique
 ⊆(a::Root, b::Root) = a.interval ⊆ b.interval
 
 
-include("automatic_differentiation.jl")
+# include("automatic_differentiation.jl")
 include("newton.jl")
 include("krawczyk.jl")
 

diff --git a/test/root_finding_tests/auto_diff.jl b/test/root_finding_tests/auto_diff.jl
diff --git a/test/root_finding_tests/root_finding.jl b/test/root_finding_tests/root_finding.jl
@@ -1,6 +1,8 @@
 using ValidatedNumerics
 using FactCheck
 
+const D = ValidatedNumerics.derivative
+
 include("wilkinson.jl")
 
 

diff --git a/test/runtests.jl b/test/runtests.jl
@@ -19,7 +19,6 @@ include("multidim_tests/multidim.jl")
 
 # Root-finding tests:
 
-include("root_finding_tests/auto_diff.jl")
 include("root_finding_tests/root_finding.jl")
 
 # Multidimensional boxes tests: