 type/const - Maple Programming Help

Home : Support : Online Help : Programming : Data Types : Type Checking : Types : difforms/const

type/const

extension of type/constant

 Calling Sequence type(expr, const)

Parameters

 expr - a Maple expression

Description

 • The type const includes any expr which is of type constant, plus those names which are defined to be const through difforms[defform].
 • All sums, products, or powers of objects of type const are considered to be const.
 • The types const, form, and scalar are mutually exclusive.  Any expression should belong to at most one of these types.
 • This function is part of the difforms package and can only be used after performing the command with(difforms).

Examples

 > $\mathrm{with}\left(\mathrm{difforms}\right):$$\mathrm{defform}\left(a=\mathrm{const},b=\mathrm{const},c=\mathrm{const},d=\mathrm{const}\right)$
 > $\mathrm{type}\left(a,\mathrm{const}\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{type}\left(a+b{c}^{d},\mathrm{const}\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{type}\left(e+a,\mathrm{const}\right)$
 ${\mathrm{false}}$ (3)