A = (-0.98, 3.34)
B = (4.02, 1.06)
C = (2.38, 4.18)
poly1, c, a, b = Polygon(A, B, C)
D = PointIn(poly1)
E = (-0.34, 0.72)
u = Vector(D, E)
A' = Translate(A, u)
B' = Translate(B, u)
C' = Translate(C, u)
poly1', c', a', b' = Polygon(A', B', C')
d = Segment(E, (x(E), y(E) + 1))
e = Circle(E, 1)
F = Point(e)
f = Segment(E, F)
G: (x(E), y(E) + 1)
α = Angle(F, E, G)
A'' = Rotate(A', -α, E)
B'' = Rotate(B', -α, E)
C'' = Rotate(C', -α, E)
poly1'', c'', a'', b'' = Polygon(A'', B'', C'')