 type/form - Maple Programming Help

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

type/form

check for forms

 Calling Sequence type(expr, form) type(expr, form, int)

Parameters

 expr - Maple expression int - (optional) positive integer

Description

 • The command type(expr, form, int) returns true if type(expr, form) is true and wdegree(expr) = int; in other words, if expr is an int-form
 • The type form includes all expressions declared to be forms through defform, as well as any product or sum that contains at least one term of type form. A power is of type form if the base is of  type form.
 • The types const, scalar, and form are mutually exclusive.  Any expression can belong to at most one of these types.
 • This function is part of the difforms package and can only be used after performing with(difforms).

Examples

 > $\mathrm{with}\left(\mathrm{difforms}\right):$$\mathrm{defform}\left(a=\mathrm{const},b=\mathrm{scalar},f=\mathrm{form},g=a\right)$
 > $\mathrm{type}\left(a+b+f,\mathrm{form}\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{type}\left(a+b,\mathrm{form}\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{type}\left({f}^{a},\mathrm{form}\right)$
 ${\mathrm{true}}$ (3)
 > $\mathrm{type}\left(ag,\mathrm{form}\right)$
 ${\mathrm{true}}$ (4)