Up: Trs Menu
One can check whether the set of normal forms
NF or the set of
external normal forms
ENF are empty using the NF empty?
and ENF empty? commands.
When the set is not empty, a term witnessing nonemptyness is shown.