DynamicPolynomials.ComplexKind
— TypeComplexKind
The type used to identify whether a variable is complex-valued. It has the following instances:
REAL
: the variable is real-valued,conj
andreal
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 toconj
. 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
andreal
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
andreal
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.