Let  be a fixed circle, and let P be any ordinary point other than O. Let P' be the inverse of P in circle c. Then the line p through P' and perpendicular to OPP' is called the polar of P for the circle c. Since the package does not work with the extended plane, the routine does not find the polar of center O or of the ideal point.

If the point lies on the conic then the polar of P is the tangent line of the conic at that point.

For a detailed description of the polar of P, use the routine detail

The command with(geometry,Polar) allows the use of the abbreviated form of this command.