Next: Needed reduction
Up: Reduction and Needed Reduction
Previous: Reduction and Needed Reduction
One can perform a reduction step using either
the leftmost-outermost strategy or parallel-outermost strategy.
The ``Reduction to normal form'' command applies
the parallel-outermost strategy
until a normal form is reached
Use the Stop button (or command) to stop a looping computation.