class="bi x0 y0 w0 h1"
class="bi x0 y0 w0 h1"
class="bi x0 y0 w0 h1"
Input x

R as the
second coordinate
of a point in R
2
with
first coordinate 0
Output
k
, the
coordinate
(0, x)
Branch
(k, x)

(k+1, x-1)k
x < 1
Replace (k, x)
by (k+1, x-1)
Input x

R as the
second coordinate
of a point in R
2
with
first coordinate 0

Replace (k, x)
by (k+1, x-1)
Input x

R as the
second coordinate
of a point in R
2
with
first coordinate 0
Output
k
, the
coordinate
(0, x)
Branch
(k, x)

(k+1, x-1)k
x < 1
x  1
Replace (k, x)
by (k+1, x-1)
Input x

R as the
second coordinate
of a point in R
2
with

x < 1
Replace (k, x)
by (k+1, x-1)
Input x

R as the
second coordinate
of a point in R
2
with
first coordinate 0
Output
k
, the
coordinate
(0, x)
Branch
(k, x)

(k+1, x-1)k
x < 1
Replace (k, x)
by (k+1, x-1)
Input x

R as the
second coordinate
of a point in R
2
with

1
- x
2
=1
Input n  Z  R
Compute
(via Subroutines)
n
(2
n
.s, 22
n-1
.s)
Branch
1
x
1
- x
2

1
0
x
1
- x
2
=1
Input n  Z  R
Compute
(via Subroutines)

n
s

s
3
s
2
s
1
p
3
p
k
p
1

string of data
access by pointers
s
n
s

s
3
s
2
s
1
s
n