Locus line equation
by Serabe for International GeoGebra Institute
Given a GeoGebra construction, the goal is to generate the equations describing the construction in order to get (discovery) the condition that the locus point must satisfy through elimination theory.