extra/math/quadratic/quadratic.factor

   1 ! Copyright (C) 2007 Slava Pestov.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: kernel math math.functions ;
   4 IN: math.quadratic
   5
   6 : monic ( c b a -- c' b' ) [ / ] curry bi@ ;
   7
   8 : discriminant ( c b -- b d ) [ nip ] [ sq 4 / swap - sqrt ] 2bi ;
   9
  10 : critical ( b d -- -b/2 d ) [ -2 / ] dip ;
  11
  12 : +- ( x y -- x+y x-y ) [ + ] [ - ] 2bi ;
  13
  14 : quadratic ( c b a -- alpha beta )
  15     monic discriminant critical +- ;
  16
  17 :: qeval ( x c b a -- y )
  18     c b x * + a x sq * + ;