AffinePentagon(a, b, c) AffinePentagon(a, b, c) : if e == (0, 1) rel (a, c), d == (1, 1) rel (a, c) | (b, a) para (c, e) and (c, b) para (d, a) and (d, c) para (e, b) and (d, e) para (c, a) and (e, a) para (d, b) -> draw (a, b) ; draw (e, a) ; draw (d, e) ; draw (c, d) ; draw (b, c) fi Dodec(a, b, c, x) Dodec(a, b, c, x) : if d == (1, 1) rel (a, c) , e == (0, 1) rel (a, c) , f == (2, 0) rel (a, x) , g == (2, 0) rel (b, x) , h == (2, 0) rel (c, x) , i == (2, 0) rel (d, x) , j == (2, 0) rel (e, x) | (b, a) para (c, e) and (c, b) para (d, a) and (d, c) para (e, b) and (d, e) para (c, a) and (g, f) para (h, j) and (h, g) para (i, f) and (i, h) para (j, g) and (i, j) para (h, f) and (j, f) para (i, g) and (a, x) para (x, f) and (a, x) cong (x, f) and (b, x) para (x, g) and (b, x) cong (x, g) and (c, x) para (x, h) and (c, x) cong (x, h) -> AffinePentagon(a, b, c); AffinePentagon(f, g, h) fi ΚL– "Juno" style˜J˜šœΟbœ ˜J˜Ϊ—šœœ ˜J˜ρ——…—ˆΪ