feature SciMax Toolbox features

SciMax Toolbox >> featurep

featurep

Maxima Function

Calling Sequence

featurep (a, f)

Description

Attempts to determine whether the object a has the feature f on the basis of the facts in the current database. If so, it returns true, else false.

Note that featurep returns false when neither f nor the negation of f can be established.

featurep evaluates its argument.

See also and .

(%i1) declare (j, even)$
(%i2) featurep (j, integer);
(%o2)                           true
feature SciMax Toolbox features