DynamicPolynomials.ComplexKindType
ComplexKind

The type used to identify whether a variable is complex-valued. It has the following instances:

  • REAL: the variable is real-valued, conj and real are identities, imag is zero.
  • COMPLEX: the variable is a declared complex-valued variable with distinct conjugate, real, and imaginary part. ordinary_variable is an identity.
  • CONJ: the variable is the conjugate of a declared complex-valued variable. ordinary_variable is equal to conj. It will print with an over-bar.
  • REAL_PART: the variable is the real part of a complex-valued variable. It is real-valued itself: conj and real are identities, imag is zero. ordinary_variable will give back the original complex-valued declared variable from which the real part was extracted. It will print with an subscript.
  • IMAG_PART: the variable is the imaginary part of a declared complex-valued variable (or the negative imaginary part of the conjugate of a declared complex-valued variable). It is real-valued itself: conj and real are identities, imag is zero. ordinary_variable will give back the original complex-valued declared variable from which the imaginary part was extracted. It will print with an subscript.