MirRefLeLe Definition
#In the diagram above, L2=MirRefLeLe(L1,L) .
# Mirror reflection of line L1 w.r.t. line L
MirRefLeLe:=proc(L1,L) local O,P:
O:=
Pt(L,L1) :
P:=[1,solve(subs(x=1,L1),y)]:
Le
( O ,
MirRefPtLe(P,L)
):
end: