next up previous
Next: Forward-branching Up: Trs Menu Previous: Orthogonality

Normal and external normal forms

One can check whether the set of normal forms NF$ _\mathcal{R}$ or the set of external normal forms ENF$ _\mathcal{R}$ 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