generate_image: add --close and --filter flags

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.

https://teorth.github.io/equational_theories/

Apache License 2.0

212 stars 51 forks source link

Closed asvarga closed 1 month ago

asvarga commented 1 month ago

Adds some flags to generate_image.py:

--filter: filters out all equations not in the universe to create a more compact image
--close: does simple transitive closure on known implications

ex: python scripts/generate_image.py equational_theories/Basic.lean --filter

ex: python scripts/generate_image.py equational_theories/Basic.lean --filter --close