Maxima Function
maybe (expr)
Attempts to determine whether the predicate expr
is provable from the facts in the assume database.
If the predicate is provably true or false,
maybe returns true or false, respectively.
Otherwise, maybe returns unknown.
maybe is functionally equivalent to is with prederror: false,
but the result is computed without actually assigning a value to prederror.
Examples:
(%i1) maybe (x > 0); (%o1) unknown (%i2) assume (x > 1); (%o2) [x > 1] (%i3) maybe (x > 0); (%o3) true