|
convert/relation - convert Complex and Real ranges into relations expressed using =, <=, <, >=, and >
|
|
Calling Sequence
|
|
convert( expr, relation )
|
|
|
Description
|
|
|
|
Note: in Maple, by convention, when you say, for instance, z <= 1, it is implicitly assumed that  (z) = 0.
|
|
|
|
Examples
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
![convert([`in`(Re(z), 0), `in`(Im(z), RealRange(-infinity, 1))], relation)](/support/helpjp/helpview.aspx?si=5712/file03690/math95.png)
|
|
![[Re(z) = 0, And(-infinity <= Im(z), Im(z) <= 1)]](/support/helpjp/helpview.aspx?si=5712/file03690/math98.png)
| (5) |
When constructions like z < a or z <= a are around, it is understood that z is real
|
>
|
|
|
![[arcsin(z), z <= -1, 1 <= z]](/support/helpjp/helpview.aspx?si=5712/file03690/math117.png)
| (6) |
|
>
|
|
|
![[arccot(z), `in`(z, ComplexRange(-infinity*I, -I)), `in`(z, ComplexRange(I, infinity*I))]](/support/helpjp/helpview.aspx?si=5712/file03690/math124.png)
| (7) |
|
>
|
![convert([arccot(z), `in`(z, ComplexRange(-infinity*I, -I)), `in`(z, ComplexRange(I, infinity*I))], relation)](/support/helpjp/helpview.aspx?si=5712/file03690/math128.png)
|
|
![[arccot(z), And(Re(z) = 0, -infinity <= Im(z), Im(z) <= -1), And(Re(z) = 0, 1 <= Im(z), Im(z) <= infinity)]](/support/helpjp/helpview.aspx?si=5712/file03690/math131.png)
| (8) |
|
|
Download Help Document
Was this information helpful?
