A = (0, 0)
B = (1, 0)
C = Rotate(A, 270.0*°, B)
D = Rotate(B, 90.0*°, A)
AB = Segment(A, B)
BC = Segment(B, C)
CD = Segment(C, D)
DA = Segment(D, A)
E = Rotate(B, 59.99999999999999*°, A)
F = Rotate(B, 59.99999999999999*°, C)
AE = Segment(A, E)
BE = Segment(B, E)
BF = Segment(B, F)
CF = Segment(C, F)
DF = Segment(D, F)
dDE = Line(D, E)
dDF = Line(D, F)
DE = Segment(D, E)
EF = Segment(E, F)
vDE = Vector(D, E)
vDF = Vector(D, F)