restart;
Arithmetisiation of the Meurthe-Order Peano Curve
compare Figure 2.8a on page 27
Definition of the operators P0 bis P8 (as in Section 4.5):
P[0] := (x,y) -> (y/3,x/3);
P[1] := (x,y) -> (-y/3+1/3,x/3+1/3);
P[2] := (x,y) -> (x/3, y/3+2/3);
P[3] := (x,y) -> (y/3+1/3,-x/3+1);
P[4] := (x,y) -> (-y/3+2/3,-x/3+2/3);
P[5] := (x,y) -> (1/3+x/3,1/3-y/3);
P[6] := (x,y) -> (y/3+2/3, x/3);
P[7] := (x,y) -> (-y/3+1, x/3+1/3);
P[8] := (x,y) -> (x/3+2/3, y/3+2/3);