Ssreflect Users Discussion List

Is there a polynomial evaluation ring morphism hidden away somewhere? 
Something that for each x creates an {rmorph {poly R} -> R} equal to
fun p => p.[x] ? (as opposed to horner which crates for each p an {rmorph 
R -> R}).

Or am I supposed to use (horner_morph idfun)?

--
Russell O'Connor                                      <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''