** 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