convert/relation
convert Complex and Real ranges into relations expressed using =, <=, <, >=, and >
Calling Sequence
Parameters
Description
Examples
convert( expr, relation )
expr
-
expression
The convert(expr, relation) function converts Real ranges and Complex ranges found in expr into relations using =,<=,<,>=,>.
Note: in Maple, by convention, when you say, for instance, z <= 1, it is implicitly assumed that ℑ(z) = 0.
z::ComplexRange−1−I,1+I
convert,relation
−1≤ℜz∧ℜz≤1∧−1≤ℑz∧ℑz≤1
zinComplexRange−∞I,I
z∈ComplexRange−∞I,I
convert,RealRange
ℜz∈0,ℑz∈−∞,1
ℜz=0,−∞≤ℑz∧ℑz≤1
When constructions like z < a or z <= a are around, it is understood that z is real
FunctionAdvisorbranch_cuts,arcsin
arcsinz,z≤−1∨1≤z
FunctionAdvisorbranch_cuts,arccot
arccotz,z∈ComplexRange−∞I,−I∨z∈ComplexRangeI,∞I
arccotz,ℜz=0∧−∞≤ℑz∧ℑz≤−1∨ℜz=0∧1≤ℑz∧ℑz≤∞
See Also
assume[parametric]
ComplexRange
convert
FunctionAdvisor
RealRange
relation
Download Help Document