哈吉斯

使用haggies优化代码生成。本文描述了Haggies,一个生成优化程序的程序,用于有效地数值计算数学表达式。它使用多变量Horner格式和公共子表达式消除来减少操作的总数。par该包可以作为几乎任何通用计算机代数程序的后端。内置类型推断,允许以强类型语言处理非标准数据类型,并且非常灵活,基于模式的输出规范确保了Haggies可以为各种编程语言生成代码。par我们目前使用Haggies作为自动软件包的一部分,用于计算量子场论中的单环散射振幅。然而,本文中的例子表明,它的应用并不局限于高能物理领域。