relation - Maple Help

convert/relation

convert Complex and Real ranges into relations expressed using =, <=, <, >=, and >

 Calling Sequence convert( expr, relation )

Parameters

 expr - expression

Description

 • The convert(expr, relation) function converts Real ranges and Complex ranges found in $\mathrm{expr}$ into relations using $=,<=,<,>=,>$.
 Note: in Maple, by convention, when you say, for instance, z <= 1, it is implicitly assumed that $\mathrm{\Im }$(z) = 0.

Examples

 > $z::\mathrm{ComplexRange}\left(-1-I,1+I\right)$
 ${z}{::}{\mathrm{ComplexRange}}{}\left({-1}{-}{I}{,}{1}{+}{I}\right)$ (1)
 > $\mathrm{convert}\left(,\mathrm{relation}\right)$
 ${-1}{\le }{\mathrm{\Re }}{}\left({z}\right){\wedge }{\mathrm{\Re }}{}\left({z}\right){\le }{1}{\wedge }{-1}{\le }{\mathrm{\Im }}{}\left({z}\right){\wedge }{\mathrm{\Im }}{}\left({z}\right){\le }{1}$ (2)
 > $z\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathbf{in}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{ComplexRange}\left(-\mathrm{\infty }I,I\right)$
 ${z}{\in }{\mathrm{ComplexRange}}{}\left({-}{\mathrm{\infty }}{}{I}{,}{I}\right)$ (3)
 > $\mathrm{convert}\left(,\mathrm{RealRange}\right)$
 ${\mathrm{\Re }}{}\left({z}\right){\in }{0}{,}{\mathrm{\Im }}{}\left({z}\right){\in }\left({-}{\mathrm{\infty }}{,}{1}\right]$ (4)
 > $\mathrm{convert}\left(\left[\right],\mathrm{relation}\right)$
 $\left[{\mathrm{\Re }}{}\left({z}\right){=}{0}{,}{-}{\mathrm{\infty }}{\le }{\mathrm{\Im }}{}\left({z}\right){\wedge }{\mathrm{\Im }}{}\left({z}\right){\le }{1}\right]$ (5)

When constructions like z < a or z <= a are around, it is understood that z is real

 > $\mathrm{FunctionAdvisor}\left(\mathrm{branch_cuts},\mathrm{arcsin}\right)$
 $\left[{\mathrm{arcsin}}{}\left({z}\right){,}{z}{\le }{-1}{\vee }{1}{\le }{z}\right]$ (6)
 > $\mathrm{FunctionAdvisor}\left(\mathrm{branch_cuts},\mathrm{arccot}\right)$
 $\left[{\mathrm{arccot}}{}\left({z}\right){,}{z}{\in }{\mathrm{ComplexRange}}{}\left({-}{\mathrm{\infty }}{}{I}{,}{-I}\right){\vee }{z}{\in }{\mathrm{ComplexRange}}{}\left({I}{,}{\mathrm{\infty }}{}{I}\right)\right]$ (7)
 > $\mathrm{convert}\left(,\mathrm{relation}\right)$
 $\left[{\mathrm{arccot}}{}\left({z}\right){,}\left({\mathrm{\Re }}{}\left({z}\right){=}{0}{\wedge }{-}{\mathrm{\infty }}{\le }{\mathrm{\Im }}{}\left({z}\right){\wedge }{\mathrm{\Im }}{}\left({z}\right){\le }{-1}\right){\vee }\left({\mathrm{\Re }}{}\left({z}\right){=}{0}{\wedge }{1}{\le }{\mathrm{\Im }}{}\left({z}\right){\wedge }{\mathrm{\Im }}{}\left({z}\right){\le }{\mathrm{\infty }}\right)\right]$ (8)