论文标题
张量计算机代数中隐藏的规范化
Hiding canonicalisation in tensor computer algebra
论文作者
论文摘要
计算机代数系统中表达式的简化通常涉及一个称为“规范化”的步骤，该步骤将等效表达式减少到同一形式。但是，从笔和纸计算的角度来看，这种形式可能不是自然的，或者可能是笨拙的，或者两者兼而有之。例如，这是涉及张量多项对称性的表达式的情况。我们提出了一种处理此类张量表达式的替代策略，该策略完全从用户身上隐藏了规范形式，并在Cadabra计算机代数系统中介绍了此想法的实现。
Simplification of expressions in computer algebra systems often involves a step known as "canonicalisation", which reduces equivalent expressions to the same form. However, such forms may not be natural from the perspective of a pen-and-paper computation, or may be unwieldy, or both. This is, for example, the case for expressions involving tensor multi-term symmetries. We propose an alternative strategy to handle such tensor expressions, which hides canonical forms from the user entirely, and present an implementation of this idea in the Cadabra computer algebra system.
