2. x :
k
3. y :
k
4.
n:, x,y:k. y-x = n 
(
L:(k-1) List. (x, y) = compose_flips(L))
5.
x
y
6.
L:(k-1) List. (y, x) = compose_flips(L)
7. x1 :
k
(x, y)(x1) = (y, x)(x1)
k
k
n:, x,y:k. y-x = n (L:(k-1) List. (x, y) = compose_flips(L))
xy
L:(k-1) List. (y, x) = compose_flips(L)
k
(x, y)(x1) = (y, x)(x1)| By: |
|
None
About:
 |  |  |  |  |  |  |  |  |  |