FORM 项目用于对非常大的表达式进行符号处理
FORM 是一个符号操作系统。它从文件中读取符号表达式,并对它们执行符号/代数转换。结果以文本形式的数学表示返回。作为其标志性特征,FORM 中考虑的表达式的大小仅受可用磁盘空间的限制,而不受可用 RAM 的限制。FORM 已经成为高能物理领域许多先进计算的重要工具。
以下的 FORM 程序重复匹配变量 x 在表达式 E 中的次数,只要次数大于 1,并创建两个次数较小的新项:
在构建 FORM 之前,建议安装可选的依赖项 gmp, mpfr, zstd, zlib 和 flint,以提高性能。若要使用任意精度的浮点运算,需要同时安装 gmp 和 mpfr;如果其中一个不可用,则不会启用。若要快速构建 FORM,请安装 autoconf 和 automake 包。然后,克隆仓库后,运行:
暂无开放 Issues,或尚未同步最近议题。