Complex canonicalizer for the separable atom
Complex2Real.separable_canon(expr, real_args, imag_args, real2imag)
A canonicalization of a separable atom, where the returned variables are its real and imaginary components parsed out.
An Expression object
A list of Constraint objects for the real part of the expression
A list of Constraint objects for the imaginary part of the expression
A list mapping the ID of the real part of a complex expression to the ID of its imaginary part.