type/composition - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Data Types : Type Checking : Types : type/composition

type/composition

test for a composition

type/@

test for the composition operator

type/@@

test for the repeated composition operator

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(expr, composition)

type(expr, `@`)

type(expr, `@@`)

Parameters

expr

-

expression

Description

• 

These commands test expr for various forms of function composition.

• 

The type(expr, `@`) calling sequence returns true if expr is a composition of functions.  It is equivalent to type(expr, specfunc(anything, `@`)).

• 

The type(expr, `@@`) calling sequence returns true if expr is a repeated composition.  It is equivalent to type(expr, specfunc(anything, `@@`)).

• 

The type(expr, composition) calling sequence returns true if expr is either of type @ or @@.

• 

For more information about function composition, see compose.

Examples

typesin@cos,`@`

true

(1)

typesin@cos@csc,`@`

true

(2)

typecsc2,`@@`

true

(3)

typecos@sin2,`@@`

true

(4)

typesin@cos,composition

true

(5)

typesin2@cos2,composition

true

(6)

typesin,`@@`

false

(7)

typesin0,`@@`

false

(8)

typesincosx,composition

false

(9)

See Also

compose

type

type[appliable]