for SciMax Toolbox fortindent

SciMax Toolbox >> forget

forget

Maxima Function

Calling Sequence

forget (pred_1, ..., pred_n)
forget(L)

Description

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.

for SciMax Toolbox fortindent