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