GeoGen Script reference
GGE2201

The script attempted to call an undefined function.

See the standard library documentation to see a list of all predefined functions.

HelloWorld(); // GGE2201