convert/RealRange
convert ComplexRanges into RealRanges
Calling Sequence
Parameters
Description
Examples
convert( expr, RealRange )
expr
-
expression
The convert(expr, RealRange) function converts Complex ranges (see assume[parametric]) in expr into Real ranges.
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,RealRange
ℜz::−1,1,ℑz::−1,1
zinComplexRange−∞I,I
z∈ComplexRange−∞I,I
ℜz∈0,ℑz∈−∞,1
In turn, RealRanges as well as ComplexRanges can be converted into relations.
=convert,relation
ℜz∈0,ℑz∈−∞,1=ℜz=0,−∞≤ℑz∧ℑz≤1
FunctionAdvisorbranch_cuts,arccot
arccotz,z∈ComplexRange−∞I,−I∨z∈ComplexRangeI,∞I
convert,relation
arccotz,ℜz=0∧−∞≤ℑz∧ℑz≤−1∨ℜz=0∧1≤ℑz∧ℑz≤∞
Note that when constructions such as z<a or z≤a are used, it is understood that z is real
FunctionAdvisorbranch_cuts,arcsin
arcsinz,z≤−1∨1≤z
See Also
assume[parametric]
ComplexRange
convert
FunctionAdvisor
RealRange
relation
Download Help Document