/home/nivoliev/Taf/Cours/ENSImg/Algorithms/lifting

paraboloid(x, y) = 1 + (x - 3)^(2) / 8 + y^(2) / 8
C = (3.96, 1.81)
A = (-4.54, 5.13)
B = (-5.28, -0.21)
D = (0.01, 4.85)
lift = Surface((u, v, paraboloid(u, v)), u, -20, 20, v, -20, 20)
Cl: lift(C)
c = Circle(A, B, C)
Al: lift(A)
Bl: lift(B)
Dl: lift(D)
p = Plane(Al, Bl, Cl)
eq1 = IntersectPath(p, paraboloid)
f = Segment(C, Cl)
g = Segment(A, Al)
h = Segment(B, Bl)
i = Segment(D, Dl)