#In the above diagram, R=MirRefPtLe(P,L) .
# Mirror reflection of the point P w.r.t. to the line L
MirRefPtLe:=proc(P,L) local Q:
Q:=Ft(P,L) : normal( [ Q[1]-(P[1]-Q[1]) , Q[2]-(P[2]-Q[2]) ] ):
end: