Neilen,
My advice is to use the existing functions. The infix stuff isn't
fully baked yet. In particular it doesn't know about defrule,
although I guess it should be easy to recognize
foo : f(x) --> whatever as a named rule for defrule.
> After messing around a bit with vect.mac it seems that it may
> be a better idea to make vectorsimp() apply the rules rather
> than making them tellsimpafter rules.
Agreed. In some contexts it is better to wait for an explicit
request from the user (via a call to vectorsimp or some
other function) than to apply rules automatically.
Thanks for working on this problem!
Robert