Function reference · Assumptions and sets
forget
Removes stored assumptions for a symbol or clears all assumptions.
forget(x) removes the current assumption for x. The special form forget(all) clears the complete assumption store.
Examples
These examples use Nerdamer Notation.
Remove the stored assumption for x.
assume(x>0); forget(x)Clear all stored assumptions.
forget(all)Interfaces
The same operation is available through the interfaces below.
Nerdamer Notation
Use this form inside input passed to nerdamer(...).
forget(arg1)