xPerm张量计算机代数快速索引规范化数据集

数据集概述

本数据集围绕xPerm程序展开，该程序是Butler-Portugal算法的快速实现，用于张量计算机代数中索引表达式的置换对称性规范化，包含Mathematica包与C子例程组合，核心计算部分由C子例程执行，可链接至其他程序或代数系统。

文件详解

• 文件名称: aebh_v1_0.tar.gz
• 文件格式: GZ压缩包（.gz）
• 内容说明: 压缩包内包含xPerm程序的完整代码实现，具体内容需解压后查看，未提供文件内字段或目录的详细预览信息

数据来源

CPC Program Library（Queen's University Belfast，1969-2019）、Mendeley Data

适用场景

• 张量计算机代数研究: 用于实现索引表达式的快速规范化处理
• 算法性能分析: 测试Butler-Portugal算法在索引规范化任务中的多项式性能表现
• 科学计算工具开发: 作为子例程集成到其他计算机代数系统或程序中，提升索引处理效率
• 符号计算优化研究: 探索置换对称性规范化在复杂数学表达式处理中的应用