Arboretum.hs：图代数的符号操作

我们设计了 Arboretum$.$hs 包，用于在 Haskell 中对树和更一般图的代数进行符号计算。得益于函数式编程的声明式特性，该包的实现紧密遵循数学定义，使得代码对于处理代数和组合结构的用户而言直观且透明。为了辅助当前的数学研究，Arboretum$.$hs 通过促进新代数运算的引入来支持实验，并提供通过 LaTeX 集成渲染树和森林的功能。与最近使用 Julia 或 Python 等语言的命令式实现相比，Arboretum$.$hs 为操作和扩展基于树的结构提供了更大的灵活性。它对 Haskell 的使用实现了安全编程和强大的编译时保证，既可作为实用的计算工具，也可作为代数组合学进一步研究的基础，超越了通常在 Butcher 级数实现中考虑的树设定，而 Butcher 级数是分析数值积分器的基本工具。