geometry-export

Start from geogebra_get_semantic_scene. Retain its original XML, command inputs and outputs, captions, styles, visibility, and resolved coordinates. A screenshot provides appearance evidence; the XML provides definitions. Use both when available.

Try geogebra_export_source with the requested format and strict=true. Its implemented subset covers free finite points, two-point midpoints, segments, polygons, and circles through a center and point or through three points. The result's complete describes that subset's geometry conversion; it does not prove identical layout. Inspect all warnings, including normalized dashes, marker styles, label placement, non-point labels, and omitted circle fill.

For unsupported definitions, get a strict=false draft and use the original XML to rebuild relations in the target language. Resolve dependencies before their outputs; retain intersection branch choices, tangency conditions, constrained points, orientation, and hidden helper objects. Do not substitute the current coordinates for a constrained point without identifying that loss. Keep a short mapping from each source object to its target definition and any unresolved choice.

TikZ's calc/intersections libraries can preserve basic affine and line relations. Asymptote's geometry module can represent constructions and intersections. TSQX handles native point definitions and common geometry expressions; use ! Asymptote lines for operations or appearance it cannot express directly. Call such output mixed TSQX/Asymptote and keep one labeling mechanism. Do not label it pure TSQX when most geometry is injected Asymptote.

For an existing noisy GeoGebra TikZ export, geogebra_clean_tikz invokes an external Gikz installation configured with GIKZ_CLI. Gikz also accepts XML. Its coordinate cleanup does not establish preserved construction dependencies. Preserve its separate upstream licensing; do not copy its implementation into this plugin.

If the target toolchain exists, compile the source and inspect the rendered figure. Check mathematical relations separately from layout: equal-axis scale, branch choices, point incidence, clipped curves, label positions, and visibility. Deliver editable source, rendered output when requested, and specific unresolved warnings. Do not claim verification for a toolchain or host that was not exercised.