previous up next
Go backward to The Factorial Function
Go up to Top
Go forward to Partial Functions
RISC-Linz logo

Simplification

fac(three)
-> three equals zero
    -> one [] three times fac(three minus one)
= three times fac(three minus one)
= three times fac(two)
-> three times (two equals zero
    -> one [] two times fac(two minus one))
= three times (two times fac(one))
-> three times (two times (one equals zero
    -> one [] one times fac(one minus one)))
= three times (two times one (times fac(zero)))
-> three times (two times (one times (zero equals zero
    -> one [] zero times fac(zero minus one))))
= three times (two times one (times one))
= six


Author: Wolfgang Schreiner
Last Modification: November 5, 1997

previous up next