(print "------------------------------------------------")
(print "Testing shorthand def")
(print)

(def (quadratic a b c) :
  (print "Quadratic equation:" a "x^2 +" b "x +" c)
  (with [rad = ((square b) - (4 * (a * c)))] :
    (if (rad < 0)
        then (print "roots are complex")
        else (with [x1 = (((minus b) + (squareroot rad)) / (2 * a))]
                   [x2 = (((minus b) - (squareroot rad)) / (2 * a))] :
               (print "roots are:")
               (print "x1 =" x1)
               (print "x2 =" x2)))
    (print)))

(quadratic 1 3 2)
(quadratic 4 -5 1)
(quadratic 3 2 1)