CPC_Invar张量工具包黎曼多项式简化计算数据

数据集概述

本数据集包含Invar张量计算工具包的源代码和程序文件。该工具包专门用于快速处理和简化由四维度规兼容联络的黎曼张量构成的标量多项式表达式。它能够在数秒内极大简化包含最多七个黎曼张量张量积的任何多项式，已在Mathematica和Maple代数系统中实现。数据集包含两个版本的程序文件。

文件详解

• 程序归档文件
• 文件名称： adzk_v1_0.tar.gz, adzk_v2_0.tar.gz
• 文件格式： GZ（压缩归档文件）
• 字段映射介绍： 包含Invar张量工具包v1.0和v2.0版本的完整源代码和实现文件，专门用于黎曼张量多项式表达式的操作与简化计算。

数据来源

CPC程序库（Queen's University Belfast）

适用场景

• 广义相对论研究: 用于简化爱因斯坦场方程相关的复杂张量表达式计算。
• 微分几何计算: 处理四维流形上黎曼张量构成的多项式表达式。
• 代数系统开发: 为Mathematica和Maple等代数计算系统提供张量操作功能扩展。
• 理论物理计算: 支持高能物理和引力理论中的复杂张量运算需求。