10.3 Declaring Complex Conjugates

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