Complex canonicalizer for the absolute value atom
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.
Please choose more modern alternatives, such as Google Chrome or Mozilla Firefox.