Syntax call
NotFlex[ term ]
Input
term : a Mathematica expression
Output
False if term is a is a variable or a term with variable head.
True otherwise
Implementation
Syntax call
IsConstructorTerm[ t ]
Input
t : a term
Output
True if t is of the form c or c [, ..., ], where c is a constructor,
False otherwise
Implementation
Syntax call
IsFunctionTerm[ t ]
Input
t : a term
Output
True if t is of the form f or f [, ..., ], where f is a defined function symbol,
False otherwise
Implementation