clearAssumptions

Clears Nerdamer's process-wide assumption registry. This does not modify expressions that have already been constructed; it only changes the assumptions consulted by later comparison and simplification work.