Complex2Real.canonicalize_expr function

Canonicalizes a Complex Expression

Complex2Real.canonicalize_expr(expr, real_args, imag_args, real2imag, leaf_map)

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.
• leaf_map: A map that consists of a tree representation of the overall expression

Returns

A list of the parsed out real and imaginary components of the expression at hand.