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).

$\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}$

$\mathrm{type}\left(a+b{c}^d\,\mathrm{const}\right)$

$\mathrm{true}$

$\mathrm{type}\left(e+a\,\mathrm{const}\right)$

$\mathrm{false}$