8个版本
0.4.2 | 2024年7月29日 |
---|---|
0.4.1 | 2024年7月10日 |
0.1.5 | 2024年6月26日 |
0.1.4 | 2024年1月29日 |
0.1.2 | 2023年10月24日 |
#754 在 #template
每月 166 次下载
在 3 个crate中使用 (通过 geo-aid-internal)
34KB
630 行
Geo-AID
Geo-AID是一个旨在帮助人们绘制几何图形的工具。它使用带有标准定义的图形脚本来生成满足这些标准的图形并绘制它。
通常图形生成工具基于构造(例如GeoGebra)。在许多情况下,它们已经足够生成一个外观良好的图形,但是存在一些问题,在这些工具中很难或者根本不可能正确地得到图形,更不用说在纸上了。Geo-AID解决了这个问题。Geo-AID不仅提供构造表达式,还提供了一套广泛的构造函数和一个规则系统,用户可以使用这些函数和系统输入必须满足图形的规则(例如角度相等、点共线等)。作为一个优化引擎,Geo-AID可以基于此类描述尽可能生成一个图形。对于某些问题,它做得很好,而对于其他问题,则不是那么好,但整个工具正在经历快速开发,不断改进。
安装
要使用并可能安装Geo-AID,您需要带有cargo的Rust。您可以在以下位置获取它们: 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做出贡献,请随意查看贡献指南。
依赖项
~270–720KB
~17K SLoC