FormTracer. A mathematica tracing package using FORM

FormTracer. A mathematica tracing package using FORM
复制标题

表单追踪器。

DOI:
10.1016/j.cpc.2017.05.024
复制
发表时间:
2016
期刊:
Comput. Phys. Commun.
影响因子:
--
通讯作者:
N. Strodthoff
N. Strodthoff
中科院分区:
--
文献类型:
--
作者:
Anton K. Cyrol;M. Mitter;N. Strodthoff

文献摘要

参考文献

被引文献

相似文献

我们介绍了FormTracer,一个高性能,通用,易于使用的Mathematica跟踪软件包,它使用FORM。它支持任意空间和旋量维数以及任意数量的简单紧李群。在保持Mathematica界面可用性的同时,它依赖于FORM的效率。通过分解算法,避免了乘积张量空间中的冗余痕迹,实现了额外的性能增益。FormTracer支持广泛的语法,这赋予了它很高的灵活性。Mathematica notebook可以自动安装软件包,并指导用户在时空、旋量和规范组空间中执行标准跟踪。程序概要程序名称:FormTracerProgram Files doi:http://dx.doi.org/10.17632/7rd29h4p3m.1Licensing规定:GPL v3编程语言:Mathematica和FORM问题性质:高效计算大型表达式的轨迹求解方法:通过递归Mathematica展开算法将待跟踪的表达式分解为其子空间。结果随后被转换为一个FORM脚本,该脚本接受跟踪。FORM执行后,最终结果要么导入Mathematica,要么导出为优化的C/C++/Fortran代码。不同寻常的特性:FormTracer的突出特性是简单的界面,除了Dirac和Lorentz张量之外,还能够有效地处理任意数量的李群,以及可自定义的输入语法。
We presentFormTracer, a high-performance, general purpose, easy-to-use Mathematica tracing package which uses FORM. It supports arbitrary space and spinor dimensions as well as an arbitrary number of simple compact Lie groups. While keeping the usability of the Mathematica interface, it relies on the efficiency of FORM. An additional performance gain is achieved by a decomposition algorithm that avoids redundant traces in the product tensors spaces.FormTracersupports a wide range of syntaxes which endows it with a high flexibility. Mathematica notebooks that automatically install the package and guide the user through performing standard traces in space–time, spinor and gauge-group spaces are provided.Program summaryProgram Title:FormTracerProgram Files doi:http://dx.doi.org/10.17632/7rd29h4p3m.1Licensing provisions:GPLv3Programming language:Mathematica and FORMNature of problem:Efficiently compute traces of large expressionsSolution method:The expression to be traced is decomposed into its subspaces by a recursive Mathematica expansion algorithm. The result is subsequently translated to a FORM script that takes the traces. After FORM is executed, the final result is either imported into Mathematica or exported as optimized C/C++/Fortran code.Unusual features:The outstanding features ofFormTracerare the simple interface, the capability to efficiently handle an arbitrary number of Lie groups in addition to Dirac and Lorentz tensors, and a customizable input-syntax.
DOI: 10.1088/0954-3899/39/3/033001
发表时间: 2011-08
期刊: Journal of Physics G
影响因子: --
作者:
J. Braun
通讯作者: J. Braun
DOI: 10.1103/physrevd.94.034016
发表时间: 2014-12
期刊: Physical Review D
影响因子: 5
作者:
J. Braun;L. Fister;J. Pawlowski;F. Rennecke
通讯作者: J. Braun;L. Fister;J. Pawlowski;F. Rennecke
DOI: 10.1016/j.physrep.2012.11.002
发表时间: 2011-06
期刊: Physics Reports
影响因子: --
作者:
A. Maas
通讯作者: A. Maas