Implicit loci

GeoGebra's LocusEquation command allows the automatic discovery of loci of points in diagrams defined by implicit conditions. This represents an extension of the former (explicit) command, similar in nature, but restricted to loci defined by the standard mover-tracer construction. The new syntax automates the ‘dummy locus dragging’ in dynamic geometry. This collection was compiled by a group of GeoGebra contributors, namely Miguel Á. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio and Csilla Sólyom-Gecse.