`R/complex2real.R`

`Complex2Real.abs_canon.Rd`

Complex canonicalizer for the absolute value atom

`Complex2Real.abs_canon(expr, real_args, imag_args, real2imag)`

- 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.

A canonicalization of the absolute value atom of a complex expression, where the returned variables are its real and imaginary components parsed out.