MathematicalFunctions - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Special Functions : MathematicalFunctions : MathematicalFunctions/&Union

MathematicalFunctions

  

&Intersect

  

compute the 'intersection' of regions of the complex plane defined algebraically

  

&Minus

  

compute the 'set difference' between regions of the complex plane defined algebraically

  

&Union

  

compute the 'union' between regions of the complex plane defined algebraically

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

&Intersect(A, B, ..., removereim)

&Minus(A, B, ..., removereim)

&Union(A, B, ..., removereim)

Parameters

A, B, ...

-

regions of the complex plane defined algebraically, using equations, inequations, and possibly boolean functions

removereim

-

(optional) passed as the last argument, to replace, when possible, occurrences of z and z by algebraic expressions not involving Re or Im.

Description

• 

The &Intersect, &Minus, and &Union commands respectively return the intersection, set difference, and union of the regions of the complex plane passed as arguments. As with all infix operators, you can invoke them using the functional form, e.g. `&Intersect`(A, B), or using the infix form A &Intersect B.

• 

In the context of the &Intersect, &Minus and &Union commands, a region of the complex plane is algebraically represented by a single expression, involving relations, RealRanges and ComplexRanges, and possibly nested algebraic expressions representing regions constructed using And, Or, `and` and `or`. To determine whether a region is properly represented from the syntactic point of view you can use the type MathematicalFunctions:-Region as explained in the examples. You can also display the type entering TypeTools:-GetType(MathematicalFunctions:-Region).

• 

Note that inequations always assume that both sides are real, in that there is no meaning for an inequation between complex objects, in view of their two-dimensional character. So for instance z0 is equivalent to z=0z0, and you may prefer to see the output expressed using the former syntax, without  and . For this purpose, pass the optional argument removereim as the last argument. When using the infix notation, due to the precedence of infix &... operators, you need to enclose the keyword removereim together with the last argument. See the example.

Examples

withMathematicalFunctions:

Consider first an easy case, say the two regions consisting of the following two segments of the real axis

R__1,R__2sqrt22<x,1<x

R__1,R__222<x,1<x

(1)

Verify that R1, and R2 are correctly entered regions

maptype&comma;R__1&comma;R__2&comma;MathematicalFunctions:-Region

true&comma;true

(2)

For R1, and R2 given above, the following results can be verified with ease:

R__1&UnionR__2

22<x

(3)

R__1&MinusR__2

x122<x

(4)

R__1&IntersectR__2

1<x

(5)

The two segments of the real line to the left of -1 and to the right of +1 expressed using Re and Im

R__1,R__2z=0z<1,z=01<z

R__1,R__2z=0z<−1,z=01<z

(6)

The union of R1 and R2 is naturally given by

R__1&UnionR__2

z=01<zz=0z<−1

(7)

Sometimes the presence of Re or Im clutters the output; in such cases use the option removereim. (Note the parenthesis enclosing removereim after the last argument - this is important in connection with the precedence of infix & operators.)

`&Union`R__1&comma;R__2&comma;removereim

1<zz<−1

(8)

Compatibility

• 

The MathematicalFunctions[&Intersect], MathematicalFunctions[&Minus] and MathematicalFunctions[&Union] commands were introduced in Maple 2015.

• 

For more information on Maple 2015 changes, see Updates in Maple 2015.

• 

The removereim option was introduced in Maple 2016.

• 

For more information on Maple 2016 changes, see Updates in Maple 2016.

See Also

ComplexRange

Im

intersect

MathematicalFunctions

minus

plots[inequal]

Re

RealRange

relation

solve/ineq

SolveTools[SemiAlgebraic]

union