A = Intersect(xAxis, yAxis)
D = Point(xAxis)
C_1 = Point(yAxis)
d_1 = Circle(A, 1.0)
distanzaAD = Distance(A, D)
TestoAD: "\overline{" + (Name[A]) + (Name[D]) + "} \, = \, " + distanzaAD
c_2 = Circle(D, 3.0)
B = Point(d_1)
d_3 = Circle(B, 2.0)
C = Intersect(c_2, d_3, 2.0)
distanzaAB = Distance(A, B)
TestoAB: "\overline{" + (Name[A]) + (Name[B]) + "} \, = \, " + distanzaAB
distanzaBC = Distance(B, C)
TestoBC: "\overline{" + (Name[B]) + (Name[C]) + "} \, = \, " + distanzaBC
distanzaCD = Distance(C, D)
TestoCD: "\overline{" + (Name[C]) + (Name[D]) + "} \, = \, " + distanzaCD
poli1, a, b, c, d = Polygon(A, B, C, D)
Testopoli1: "Area " + (Name[A]) + (Name[B]) + (Name[C]) + (Name[D]) + " = " + poli1
α = Angle(D, A, B)
β = Angle(A, B, C)
γ = Angle(B, C, D)
δ = Angle(C, D, A)
e = LineBisector(a)
f = LineBisector(d)
E = Intersect(e, f)
g = Circle(A, B, C)
h = Circle(A, B, D)
i = Segment(A, C)
j = Segment(B, D)
k = LineBisector(j)
l = LineBisector(i)
G = Intersect(k, l)
m = LineBisector(a)
F = Intersect(l, m)
p = Circle(A, B)
distanzaAF = Distance(A, F)
distanzaAE = Distance(A, E)
distanzaAG = Distance(A, G)