On 11/15/08, Barton Willis <willisb at unk.edu> wrote:
> Do you have a plan for how to do vector addition (tellsimp, hack
> simplus, ...)?
My recommendation is to do the initial implementation via tellsimp
or tellsimpafter, so we can work out the identities we want vector
operations to satisfy, and then put stuff into SIMPWHATEVER
after it stabilizes more or less.
FWIW
Robert Dodier