Hi
I'm about to make the necessary diffs, etc to add more vector identities
to vect.mac. Now I'd like to know, should I use Robert's new infix rule
syntax as described here:
http://maxima.sourceforge.net/wiki/index.php/Infix%20syntax%20for%20rules
and target for a future release of Maxima that will include that work, or
should I do it the old way, using suitably named variables as suggested by
Richard?
If I understand correctly, the new infix notation solves both the problems
of global matchdeclare properties and the dynamic binding of the match
variables. IOW it's the best thing since sliced cheese and we want it :)
And it seems that Robert has pretty much done all the work for encoding
the vector identities already.
OTOH, the conventional approach will give more people results right now
without the need for much extra code.
Also, there are some practical matters as to how we apply some of the
identities. 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. Also it seem some of what I've put in my own
more_vect.mac can already be done by specifying the correct simplification
flags for vect.mac. I'll discuss this further once I have made some
patches.
Robert, on a related note, I assume the infix notation can also be used to
specify named rules rather than just tellsimpafter rules? I assume the
(after) in the rule expressions makes the rules tellsimpafter rules?
Regards
Neilen
--
you know its kind of tragic
we live in the new world
but we've lost the magic
-- Battery 9 (www.battery9.co.za)