On 5/1/06, Richard Fateman <fateman at cs.berkeley.edu> wrote:
> look at Maple; there is a function called convert with umpteen flags,
> some of which are like the ones you suggest.
>
> I find the design to be unintuitive. But maybe that's inevitable.
It's not inevitable. It's a mess, and we should avoid it.
> If you define rulesets, like rules1: {pochr1,pochr2, ...}
>
> and then applyruleset (expression, rules1), then maybe you have
> the same situation. applyruleset could be a trivial modification of
> apply1 or apply2.
Agreed, except that since the ordering of rules makes a difference,
rules should be kept in a list instead of a set.
best,
Robert