Dichotomy theorems in Clojure

dichotomy.clj

(defn F [a b c]; generate the target function
  (fn [x]
    (+ (* (+ (* a x) b) x) c)))

(def f1 (F 1 2 1))

(defn 
  ^{:doc "(Solve f a b)
         f-- the target function
         a,b the interval for isolating the root"

    :user/comment "Dichotomy theorems in Clojure"

    :test (fn []
            (assert (> (Solve f1 -2 0))))
    }

  Solve [f left right]

  (let [mid (/ (+ left right) 2.0)
        dx 0.0001]
    ;(println left mid right '| (map f [left mid right]))
    (if (= 0 (apply f [mid]))
      mid
      ;(println 'x= mid)
      (do
        (if (>= (- right left) dx)
          (if (> (* (f mid) (f right)) 0)
            (Solve f left mid)
            (Solve f mid right))
          ;(println 'x= (float left) '| (float right))
          mid)))))

;(print (Solve f1 -2 0))