Geo-AID

Geo-AID 是一款旨在帮助人们绘制几何图形的工具。它使用带有标准定义的图形脚本来生成满足这些标准的图形并绘制它。

通常，图形生成工具基于构造（例如 GeoGebra）。在许多情况下，它们足以生成一个好看的图形，但存在一些图形在那些工具中很难或根本无法正确生成的问题，更不用说在纸上。Geo-AID 解决了这个问题。它不仅限于构造表达式，而且还提供了一个广泛的构造函数以及规则系统，用户可以使用这些函数输入必须满足图形的规则（例如角度相等、点共线等）。作为一个核心的优化引擎，Geo-AID 可以根据这样的描述尽可能好地生成图形。对于某些问题它做得很好，对于其他问题则不是那么好，但整个工具正在快速发展，并持续进行改进。

安装

要使用和安装 Geo-AID，您需要 Rust 和 cargo。您可以从这里获取它们： https://rust-lang.net.cn/。

完成之后，您可以使用 git 克隆仓库并使用以下命令运行 Geo-AID：

cargo run --release -- <geo-aid arguments here, type --help for help>

或者使用以下命令安装 Geo-AID：

cargo install geo-aid

并使用以下命令运行它：

geo-aid <arguments here, type --help for help>.

有用资源

Geo-AID 书籍托管在 https://geo-aid.github.io/。它也位于 geo-aid-book/ 目录下。您可以使用 mdbook 以 HTML 格式显示它。

cd geo-aid-book
mdbook serve --open

目标

Geo-AID的最终目标是将绘图相关痛苦降至最低。它旨在允许用户编写和生成复杂的图形，并以各种用户可能认为有用的格式进行渲染（主要是LaTeX、SVG、GGB（WIP））。它应使文章和书籍作者能够在作品中轻松放置图形，帮助教师进行有意义的几何课程和讲座，并帮助学生（尤其是那些刚开始参加数学竞赛的学生）学习他们的技能。

如何贡献？

如果您想为Geo-AID做出贡献，请随时查看贡献指南。