#let Horner alpha a = let vect_length a in n-1 and answer=ref 0 in
 For i=n downto 0 do
  answer:= !answer*alpha+a.(i)
 done;
!answer;;