homotopy-rs 的项目扩展与二次开发

1. 项目的基础介绍

homotopy-rs 是一个基于 Rust 编程语言的开源项目，它实现了 homotopy.io 证明助手的关键功能。该项目将 Rust 编译为 WebAssembly，使其能够在网页浏览器中运行。homotopy.io 证明助手允许用户在有限生成的严格 n-范畴中构建复合映射，通过点选用户界面进行操作。此外，该项目还支持将构建的二维图形导出为 LaTeX/TikZ 和 SVG 格式，以及实验性的支持 manim。

2. 项目核心功能

• 构建复合映射：用户可以通过点选界面在有限生成的严格 n-范畴中构建复合映射。
• 可视化渲染：复合映射可以以二维和三维几何形式渲染，并且可以可视化四维空间中三维几何体的动画。
• 导出图形：任何在证明助手中构建的二维图形都可以轻松导出为 LaTeX/TikZ、SVG 格式，实验性支持 manim。

3. 项目使用了哪些框架或库？

• Rust：项目的主体编程语言。
• WebAssembly：将 Rust 代码编译为可在网页浏览器中运行的格式。
• Nix：用于设置开发环境和构建项目。
• GitHub Actions：用于自动化构建、测试和部署。
• Firebase：用于项目部署和在线存储用户项目。
• HiGHS：用于布局算法的线性规划求解器。
• keyboard-css：用于处理键盘交互的 CSS 库。

4. 项目的代码目录及介绍

homotopy-io/
├── .cargo/
├── .devcontainer/
├── .github/
├── doc/
├── img/
├── examples/
├── functions/
├── homotopy-cli/
├── homotopy-common/
├── homotopy-core/
├── homotopy-gl/
├── homotopy-graphics/
├── homotopy-model/
├── homotopy-web/
├── .envrc/
├── .firebaserc/
├── .gitignore/
├── Cargo.lock/
├── Cargo.toml/
├── LICENSE/
├── Makefile.toml/
├── README.md/
├── TUTORIAL.md/
├── clippy.toml/
├── default.nix/
├── firebase.json/
├── firestore.indexes.json/
├── firestore.rules/
├── flake.lock/
├── flake.nix/
├── gdb_printers.py/
├── rust-toolchain.toml/
├── rustfmt.toml/
├── shell.nix/
└── storage.rules/

• homotopy-cli/：命令行界面相关的代码。
• homotopy-common/：项目中共享的通用代码。
• homotopy-core/：项目的核心逻辑。
• homotopy-gl/：与图形渲染相关的代码。
• homotopy-graphics/：图形界面相关的代码。
• homotopy-model/：模型相关的代码。
• homotopy-web/：网页界面相关的代码。

5. 对项目进行扩展或者二次开发的方向

• 增加新的图形渲染功能：可以根据需要增加新的图形渲染库，以支持更多样化的图形展示。
• 扩展证明助手的功能：可以增加新的证明方法或支持更多的数学理论，以扩展证明助手的功能。
• 优化用户体验：可以通过改进用户界面和交互设计，提升用户体验。
• 增加导出格式：可以增加新的导出格式，如 MathJax、MathML 等，以支持更广泛的数学文档格式。
• 集成其他工具：可以集成其他数学工具和库，如计算机代数系统、图形处理工具等，以增强项目的功能。