Next: Forward-branching
Up: Trs Menu
Previous: Orthogonality
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.
Irene DURAND
2005-02-01