×

xPerm:张量计算机代数的快速索引规范化。 (英语) Zbl 1197.15002号

摘要:我们提出了一种快速实现置换对称索引规范化的Butler-Portugal算法。它被称为xPerm(xPerm),并已编写为数学软件包和C子程序。后者执行计算中要求最高的部分,并且可以与任何其他程序或计算机代数系统连接。我们通过测试和计时证明了Butler-Portugal算法在指数数量方面的有效多项式性能,尽管我们也证明了它是指数的情况。我们的实现在百分之一秒内处理几十个索引或几秒钟内处理一百个索引的通用张量表达式,明显优于所有其他当前规范化器。该代码已经进行了几年的密集测试,在最近的大规模张量计算机代数研究中至关重要。

MSC公司:

15-04 线性代数相关问题的软件、源代码等
16-04 与结合环和代数有关的问题的软件、源代码等
68瓦30 符号计算和代数计算
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] MacCallum,M.A.H.,国际期刊Mod。物理学。A、 17、2707-2710(2002)
[2] Manssur,L.R.U。;葡萄牙,R。;斯瓦特,B.F.,国际期刊Mod。物理学。C、 13859-879(2002)·Zbl 1086.65515号
[3] J.M.Martín-García,x行动,高效张量计算机代数,http://metric.iem.csic.es/Martin-Garcia/xAct/, 2002-2008; J.M.Martín-García,x行动,高效张量计算机代数,http://metric.iem.csic.es/Martin-Garcia/xAct/, 2002-2008
[4] 葡萄牙,R.,J.Phys。A: 数学。Gen.,32,7779-7789(1999)·Zbl 0963.53005号
[5] Rodionov,A.Ya。;A.Yu·塔拉诺夫。,(《欧洲学报》,1987年。程序。1987年欧洲计算机讲义。科学。,第378卷(1989),施普林格),192·Zbl 1209.68694号
[6] Butler,G.,关于置换群中双陪集代表的计算,(Atkinson,M.D.,计算群理论(1984),学术出版社),283·Zbl 0577.20002号
[7] Butler,G.,置换群的基本算法(1991),Springer-Verlag:Springer-Verlag Berlin·Zbl 0785.20001号
[8] Manssur,L.R.U。;葡萄牙,R.,佳能,Comp。物理学。社区。,157, 173-180 (2004) ·Zbl 1196.68331号
[9] MAGMA计算代数系统,http://magma.maths.usyd.edu.au/magma/MAGMA计算代数系统,http://magma.maths.usyd.edu.au/magma/
[10] GAP-组、算法、编程,网址:http://www-gap.mcs.st-and.ac.uk/GAP组、算法、编程,网址:http://www-gap.mcs.st-and.ac.uk/
[11] 帕克,L。;Christensen,S.M.,《MathTensor:用计算机进行张量分析的系统》(1994),Addison-Wesley:Addison-Whesley Reading,MA
[12] 巴尔法贡,A。;卡斯特尔维,P。;Jaén,X.,张量微积分工具·Zbl 0967.83012号
[13] 马丁·加西亚,J.M。;葡萄牙,R。;Manssur,L.R.U.,Invar,Comp.公司。物理学。社区。,177, 640-648 (2007) ·Zbl 1196.15006号
[14] 马丁·加西亚,J.M。;伊莱恩斯,D。;葡萄牙,R.,Invar2,Comp。物理学。Commun公司。(2008年)
[15] 冈拉克,C。;Martín-García,J.M.,《物理学》。修订版D,74024016(2006)
[16] 加西亚·帕拉多,a.,班级。量子引力。,24, 015006 (2008)
[17] 布兰切特,L。;费伊,G。;B.R.Iyer。;辛哈,S。
[18] Peeters,K.,Cadabra,公司。物理学。社区。,176, 550-558 (2007) ·Zbl 1196.68333号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。