mirefek / pyggb Public

Notifications You must be signed in to change notification settings
Fork 1
Star 4

Python tool for generating pictures from geometric constructions

4 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
__pycache__		__pycache__
ggb-benchmark		ggb-benchmark
patrik		patrik
README.md		README.md
commands.py		commands.py
geo_types.py		geo_types.py
ggb_expr.py		ggb_expr.py
ggb_parsetab.py		ggb_parsetab.py
preview.py		preview.py
random_constr.py		random_constr.py
read_ggb.py		read_ggb.py

Repository files navigation

Python tool for generating pictures from geometric constructions

Converting GeoGebra files to simpler construction format:

ggb_expr.py, ggb_parsetab.py (parsing expressions in GeoGebra)
read_ggb.py (main file)

ggb-benchmark

Directory containing decoded dataset from GeoGebra http://dev.geogebra.org/trac/browser/trunk/geogebra/test/scripts/benchmark/prover/tests

Decoded constructions to pictures

random_constr.py (main file)
preview.py (interactive executable -- use arrows, space bar, escape to quit)

Other files

geo_types.py (geometric types -- Line, Point, Circle, ...)
commands.py (implementation of construction commands -- intersection, are_collinear, ...)

About

Python tool for generating pictures from geometric constructions

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 100.0%