indexed - Maple Help

type/indexed

check for an object of type indexed

 Calling Sequence type(expr, indexed) type(expr, indexed(itype))

Parameters

 expr - any expression itype - type

Description

 • The call type(expr, indexed) checks if expr is of type indexed. It returns true if expr is of type indexed, and false otherwise.
 • If a parameter itype is given, the type command also checks if each of the indices are of type itype.

Examples

 > $\mathrm{type}\left(1,\mathrm{indexed}\right)$
 ${\mathrm{false}}$ (1)
 > $\mathrm{type}\left(\frac{1}{2},\mathrm{indexed}\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{type}\left(0.5,\mathrm{indexed}\right)$
 ${\mathrm{false}}$ (3)
 > $\mathrm{type}\left("String",\mathrm{indexed}\right)$
 ${\mathrm{false}}$ (4)
 > $\mathrm{type}\left(\mathrm{Name},\mathrm{indexed}\right)$
 ${\mathrm{false}}$ (5)
 > $\mathrm{type}\left(a\left[b\right],\mathrm{indexed}\right)$
 ${\mathrm{true}}$ (6)
 > $\mathrm{type}\left(\frac{a}{b},\mathrm{indexed}\right)$
 ${\mathrm{false}}$ (7)
 > $\mathrm{type}\left(a\left[3\right],\mathrm{indexed}\left(\mathrm{integer}\right)\right)$
 ${\mathrm{true}}$ (8)
 > $\mathrm{type}\left(a\left[b,c\right],\mathrm{indexed}\left(\mathrm{name}\right)\right)$
 ${\mathrm{true}}$ (9)
 > $\mathrm{type}\left(a\left[b,3\right],\mathrm{indexed}\left(\mathrm{name}\right)\right)$
 ${\mathrm{false}}$ (10)