On Mon, 22 Nov 2010, Robert Dodier wrote:
< I'd be happy to explain the rules in more detail (assuming they work
< as intended). I think the built-in rule machinery is the best way to
< go here -- doing stuff like factoring out scalars by hand is essentially
< just reinventing stuff that already exists in the rule code.
Yay and nay.
I agree about the virtue of re-using code.
And using defrule is better than using tellsimp.* because the programmer
gets to choose where things happen, rather than the simplifier.
However, if you write your rules in such a way that your operators
don't know who/what their operands are, then
you can't instantiate multiple Lie algebras ==> you can't easily look
at representations or homomorphisms or any other derived structure.
Leo
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.