The argument u of a declaration complex_conjugates should consist of one or
more (comma-separated) lists of two identifiers. This declaration associates the two
identifiers as mutual complex-conjugates. If the first is an operator, the second is also
declared as an operator, if it is not one already. A fancy print symbol is automatically
constructed and installed for the second identifier from that of the first by adding
over-lining. For example:
operator f;
complex_conjugates {f, fbar}, {z, zb};
conj zb -> z
conj(f(z)) -> fbar(zb)
This will associate f & fbar and z & zb as mutual complex conjugates and declare
fbar as an operator. On graphical interfaces zb and fbar will be rendered as \(\overline {z}\) and \(\overline {f}\)
respectively. If the first identifier already has a fancy special symbol defined, this will be
over-lined to produce the fancy print symbol for the second identifier. Should the
user not wish to have a fancy print symbol automatically generated, they may
instead use explicit let statements as described in the subsection on the operator
conj.
Hosted by Download REDUCE Powered by MathJax