The pole of a line p with respect to a circle c, center O is the inverse of foot of perpendicular from O to p.  Alternatively, the point of intersection of the polars of any two points on p.

For a detailed description of the pole of P, use the routine detail.

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