`DynamicPolynomials.ComplexKind`

— Type`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.