The evaluator checks a lot of symbols which represent the type of
functions, macros, and arrays. The following symbols are in use if I run
the testsuite
MEXPR - a Maxixma user function defined with :=
MMACRO - a Maxima macro defined with ::=
ARRAY - a Maxima array
HASHAR - a Maxima hashed array
MFEXPR* - a Lisp Function defined with defmspec
SUBR - a Lisp Function
The following is not in use within the testsuite, but this type is
generated, if we translate a Maxima macro:
TRANSLATED-MMACRO - a translated Maxima macro defined with ::=
In addition we have the following symbols which are checked by the
evaluator:
FSUBR
LSUBR
MFEXPR*S
T-MFEXPR
EXPR
FEXPR
I have not found code which generates functions or macros of one of the
above types. Perhaps all of these types are historical. Because there is
a lot of code wired in the evaluator to handle these types, it might be
preferable to cut out the unused functionality.
Dieter Kaiser