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.
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.
RJF
----- Original Message -----
From: "Barton Willis" <willisb at unk.edu>
To: <maxima at math.utexas.edu>
Sent: Monday, May 01, 2006 6:50 AM
Subject: applying function identities (proposal)