Maxima Operator
pred
As an argument in a call to ev (expr), pred causes predicates (expressions which evaluate to true or false) to be evaluated. See .
ev (expr)
true
false