Hi,
I am doing some computations with an indeterminate 'x' that represents a
complex number of unit modulus. At the moment, I define
x : exp(%i*t);
carry out my computations and then back-substitute so the expressions
are in terms of x alone. This seems terribly inefficient and roundabout.
Can I tell the simplifier that x*conjugate(x) is 1? tellsimp informs me
that rules on '+' and '*' may not work -- and this appears true.
I have also tried
matchdeclare(ab,is(get(ab,'unit_modulus) and featurep(ab,'complex)));
tellsimpafter(nounify(conjugate)(ab),1/ab);
without effect.
Leo
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.