Go backward to Properties of Quotient and RemainderGo up to TopGo forward to More Notions |

. ^{.}:NxN->N,x^{n}:=ifn= 0_{N}then1elsex*x^{n-}.

Termination function:
`r`(`x`, `n`) := `n`

Example:

5= 5*(^{3}5) = 5*(5*(^{2}5)) = 5*(5*(5*(^{1}5))) = 5*(5*(5*(1))) = 5*5*5.^{0}

Author: Wolfgang Schreiner

Last Modification: November 16, 1999