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

Value

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