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.
 
Irene DURAND 
2005-02-01