find the projection of a given point on a given line
projection(Q, P, l)
the name of the point to be created
The routine finds the projection Q of point P on line l.
For a detailed description of the point to be created Q, use the routine detail (e.g., detail(Q))
The command with(geometry,projection) allows the use of the abbreviated form of this command.
Download Help Document
What kind of issue would you like to report? (Optional)