charfcn - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Group Theory : Numbers : Complex Numbers : charfcn

charfcn

characteristic function for expressions and sets

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

charfcn[A](x)

Parameters

x

-

any algebraic expression

A

-

specification for a set

Description

• 

The charfcn function is the characteristic function of the "set" A.  It is defined to be

charfcnAx={1xA0xA'charfcnAx' otherwise

• 

The set specification A can be a set, a real numeric, a complex numeric, a real numeric range, a complex numeric range, an arbitrary range, or an expression sequence of any of the previous.  The meaning of each one of these is as follows

A can be:

"in" (∈) means:

-----------

--------------------

a set

set membership

a real or complex numeric

equality

a real numeric range, a..b

ax b

a complex numeric range, a..b

ax ``b and ax ``b (so a is the bottom left corner, b is the top right corner)

an arbitrary range, a..b

ax b, as determined by signum0-- note that a,b,x must all evaluate to 0

an expression sequence of any of the above (except set)

"or" of the above conditions

an expression sequence of sets

set membership in the union of the sets

• 

When the specification is a set, the maple function member is used to test set membership, and thus charfcn will always return one of 0 or 1 in this case.  In the other cases, charfcn is symbolic, in that it will return unevaluated if the "in" conditions cannot be verified or the specification is not exactly as described above.

• 

Ranges a..b where b<a are treated as empty, and so charfcn will return 0 for all input.

Examples

charfcn&lsqb;3&comma;5&comma;9&rsqb;0

0

(1)

charfcn&lsqb;3&comma;5&comma;9&rsqb;3

1

(2)

charfcn&lsqb;3&comma;5&comma;9&rsqb;x

charfcn3&comma;5&comma;9x

(3)

charfcn&lsqb;3.13..3.16&rsqb;&pi;

1

(4)

charfcn&lsqb;0..3&comma;5..7&rsqb;6

1

(5)

charfcn&lsqb;one&comma;two&comma;three&rsqb;four

0

(6)

charfcn&lsqb;one&comma;two&comma;three&rsqb;two

1

(7)

charfcn&lsqb;1&plus;I..3&plus;2I&rsqb;2&plus;I

1

(8)

charfcn&lsqb;3&plus;I..3&plus;2I&comma;7&comma;&pi;..&pi;2&rsqb;&ExponentialE;y3

charfcn3&plus;I..3&plus;2I&comma;7&comma;&pi;..&pi;2&ExponentialE;y3

(9)

assume1.1<y&comma;y<1.3

charfcn&lsqb;3&plus;I..3&plus;2I&comma;7&comma;&pi;..&pi;2&rsqb;&ExponentialE;y3

1

(10)

charfcn&lsqb;3&plus;I..1&plus;2I&rsqb;x

0

(11)

See Also

evalc

member

piecewise

signum

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam