Skip to main content

Convert GeoGebra constructions into high-quality SVG images and MP4 animations using manim

Project description

AnimaGeo

GeoGebra → Python → Manim → SVG / MP4

PyPI License Python

AnimaGeo turns GeoGebra geometric constructions into high-quality figures and animations. It parses a .ggb file, rebuilds the dependency graph between elements, renders them through manim, and exports to static vector formats (SVG, PDF, EPS, TikZ, interactive JSXGraph) or animated video (MP4, GIF, WebM, PNG).

You can also build constructions directly in a small Python DSL — no GeoGebra file required — and animate them by keyframes or by driving free variables.

Features

  • Faithful GeoGebra import — points, lines, segments, rays, vectors, polygons, angles (incl. right-angle markers), circles, arcs, sectors, and first-class conics, explicit functions, and implicit curves, plus custom tool (macro) expansion. ~291 dispatchable commands.
  • Pixel-invariant styling — a JSON style system with layered defaults, per-type / per-name overlays, and a configurable GGB ImportPolicy.
  • Automatic label placement — an overlap-avoiding solver with static, keyframe, and per-frame dynamic modes.
  • Animation — reveal/hide elements, drive free variables with ValueTrackers, or render a JSON keyframe sequence. Fast DecimalNumber-backed value labels.
  • Multiple export targets — SVG/PDF/EPS (Cairo), native semantic TikZ for LaTeX, interactive JSXGraph (with a framework-agnostic web runtime), and MP4/GIF/WebM/PNG via manim.
  • AI-agent friendly — a self-sufficient usage guide ships in the package (animageo --ai-guide), plus compact construction summaries for LLM styling.

Installation

pip install --upgrade animageo

Requires Python 3.10+. Core dependencies (numpy, manim, pycairo, sympy, scipy) are installed automatically. The JSXGraph web runtime under web/ is a separate, optional JS package.

Command line

# SVG (default), 640×480 export canvas
animageo scene.ggb -o scene.svg

# Pick the format explicitly, or let the -o extension imply it
animageo scene.ggb -o figure.tex --standalone      # compilable TikZ
animageo scene.ggb -o board.html                   # interactive JSXGraph
animageo scene.ggb -o anim.mp4 --keyframes kf.json # animation
animageo scene.ggb -o scene.svg -s style.json --export-size 1920 1080

Output format is taken from --format/-f, otherwise inferred from the -o extension, otherwise SVG. Static vector formats: svg, pdf, eps, tikz, jsxgraph. Render formats (manim): png, gif, mp4, webm, mov.

usage: animageo [-h] [--ai-guide] [-o OUTPUT]
                [-f {svg,pdf,eps,tikz,jsxgraph,png,gif,mp4,webm,mov}]
                [--standalone] [--dpi DPI] [--keyframes KEYFRAMES] [--fps FPS]
                [--transparent] [--quality {l,m,h,p,k}]
                [--reference-size W H] [--export-size W H]
                [--fit {contain,cover,width,height,none,manual}]
                [--source-rect {source_view,ggb_view,rendered_bounds}]
                [--export-scale SCALE] [--anchor ...] [--offset X Y]
                [--bounds-padding PAD] [--infinite-policy {clip,ignore}]
                [-s STYLE] [--log-level LEVEL] [-v] [-q]
                [ggbfile]

Run animageo --help for the full flag reference, or animageo --ai-guide to print the packaged AI usage guide.

Using in Python

Write a scene.py:

from animageo import *

class TestScene(AnimaGeoScene):
    def construct(self):
        # Load a GeoGebra construction; `style` provides visual defaults,
        # `export` chooses the physical output size.
        self.loadGGB(
            'scene.ggb',
            style='default.json',
            export={'size': {'width': 800, 'height': 'auto'}},
        )

        # Extend / edit the construction with the Python DSL (additive).
        self.loadCode('scene_code.py')

        # Restyle elements by their GeoGebra / DSL names.
        self.element('a').style['stroke'] = self.style.col
        self.element('A_1').style['fill'] = self.style.col_accent

        # Export a static image.
        self.exportSVG('scene.svg')
        # ...or self.exportTikZ('scene.tex') / self.exportJSXGraph('board.html')

        # Animate: reveal geometry and drive a free variable.
        x = self.addVar('x', 5)
        self.HideAll()
        self.playShow(['A', 'B', 'a'])
        self.addUpdater(x)
        self.play(x.animate.set_value(10), run_time=3)
        self.clearUpdater(x)

and a scene_code.py (the construction DSL):

from animageo.dsl import *   # IDE-only; dropped by the DSL transform at runtime

A = Point(x, 0)
B = Intersect(b, c)
a = Segment(A, B)

Render the animation with manim:

manim 'scene.py' TestScene

For DSL-only scenes (no .ggb) frame the view with scene.fitView(width, height, padding=…). See docs/python_dsl.md and docs/api.md.

Keyframe animation

get_independent_elements() reports every animatable (free) element; feed a JSON keyframe sequence to play_keyframes():

scene.loadGGB('scene.ggb', style='style.json', export={'size': {'width': 800, 'height': 600}})
independents = scene.get_independent_elements()   # send to a UI, or author by hand
scene.play_keyframes({
    "keyframes": [
        {"t": 0, "values": {"A": [0, 0], "x": 35, "D": {"tparam": 0.0}}},
        {"t": 2, "values": {"A": [4, 4], "x": 110}, "show": ["line1"], "easing": "smooth"},
        {"t": 4, "values": {"A": [0, 0], "x": 35}}
    ]
})

Automatic label placement

scene.loadGGB('scene.ggb', style='style.json', export={'size': {'width': 800, 'height': 600}})
scene.autoPlaceLabels()          # static one-shot; pass dynamic=True for animations
scene.exportSVG('scene.svg')

Placement is opt-in per style file (overlay.label_placement); see the recommended preset and full parameter reference in docs/styles.md.

AI-agent usage

If you (or a tool you are driving) are an AI agent, read the self-sufficient guide shipped with the package before writing any code:

python -m animageo --ai-guide          # prints the full guide to stdout

It is also in the source tree at animageo/AI_USAGE_PROMPT.md. Written for an agent with zero prior knowledge of animageo, it covers environment setup, canonical script skeletons for static SVG and MP4 animation, the viewport / fitView recipe for DSL-built scenes, verified DSL factory signatures, construction-correctness rules, marks and labels, the style JSON system, the animation reference, and a verification protocol. Its recipes were validated end-to-end by independent AI agents that had no other documentation.

Style system (JSON)

Styles are JSON files with five top-level sections:

  • presets — named semantic constants (colours, sizes, thicknesses).
  • defaults — per-type baselines, usually referencing presets.
  • overlay — post-import stylization by type / name, plus automation (angle-radius scaling, label placement).
  • rendering — render / export options (background, line caps, …).
  • import — GGB colour/size remapping + an embedded ImportPolicy.

Every *_px value is in pixels and stays visually invariant across canvas sizes. Minimal example:

{
    "name": "default",
    "presets": {
        "color": { "main": "#2581b5", "accent": "#ef60ab", "background": "#ffffff" },
        "point_size": { "main": 7 },
        "line_width": { "main": 2 }
    },
    "defaults": {
        "point":   { "size_px": "point_size.main", "fill": "color.main" },
        "segment": { "stroke_width_px": "line_width.main" }
    },
    "rendering": { "background": "color.background", "line_cap": "round" }
}

The full style reference — layers, every key, the ImportPolicy cookbook, and the label-placement preset — lives in docs/styles.md.

Documentation

License

Apache-2.0 — see LICENSE and NOTICE. Homepage: https://animageo.ru/

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

animageo-1.5.0.tar.gz (322.0 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

animageo-1.5.0-py3-none-any.whl (325.2 kB view details)

Uploaded Python 3

File details

Details for the file animageo-1.5.0.tar.gz.

File metadata

  • Download URL: animageo-1.5.0.tar.gz
  • Upload date:
  • Size: 322.0 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.13.13

File hashes

Hashes for animageo-1.5.0.tar.gz
Algorithm Hash digest
SHA256 ecf0d95fc69e0aaa0e2aaf1b83051dcc9e12987a5d9cab3e950ba4ca7f602405
MD5 1b08317e99e003c17c16be59d1948bec
BLAKE2b-256 81717e82efbdb0eeac10993b0a5ad728bce3c1e502ad95c297df24b2c609b467

See more details on using hashes here.

File details

Details for the file animageo-1.5.0-py3-none-any.whl.

File metadata

  • Download URL: animageo-1.5.0-py3-none-any.whl
  • Upload date:
  • Size: 325.2 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.13.13

File hashes

Hashes for animageo-1.5.0-py3-none-any.whl
Algorithm Hash digest
SHA256 b3d7ba69a01a0720681db4bcd18e5aa2ac1019ab8af0d9dc176dd9585f3390a7
MD5 90c97f02e8d41c287a01cce103277fab
BLAKE2b-256 f618b8813bec52c5531eed1b07bf33c53c508f40b207f446ebcc3039af526f6f

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page