Complex2Real.binary_canon function

Complex canonicalizer for the binary atom

Complex2Real.binary_canon(expr, real_args, imag_args, real2imag)

Arguments

• expr: An Expression object
• real_args: A list of Constraint objects for the real part of the expression
• imag_args: A list of Constraint objects for the imaginary part of the expression
• real2imag: A list mapping the ID of the real part of a complex expression to the ID of its imaginary part.

Returns

A canonicalization of a binary atom, where the returned variables are the real component and the imaginary component.