Maxima Function
forget (pred_1, ..., pred_n)
forget(L)
Removes predicates established by assume
.
The predicates may be expressions equivalent to (but not necessarily identical to)
those previously assumed.
forget (L)
, where L is a list of predicates,
forgets each item on the list.