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