数据集概述
本数据集包含在Mathematica环境中实现Fedosov ∗-product（星乘）的计算程序"Fecom.nb"。该程序专门用于在Darboux坐标系下计算Weyl类型的∗-乘积，采用多项式方式处理Weyl代数元素以优化计算效率，并包含多项排序程序。数据集包含两个版本的程序文件，源自CPC程序库。
文件详解
- 程序文件包
- 文件名称：
aebu_v1_0.tar.gz, aebu_v2_0.tar.gz
- 文件格式： GZ（压缩归档文件）
- 字段映射介绍： 压缩包内包含Mathematica笔记本文件"Fecom.nb"，该文件实现了Fedosov形式主义中的∗-乘积计算算法，包含多项式处理、项排序等核心功能模块。
数据来源
CPC Program Library held at Queen's University Belfast (1969-2019)
适用场景
- 数学物理计算研究: 用于Fedosov几何量子化理论中的∗-乘积计算和验证。
- 符号计算算法开发: 研究Weyl代数在Darboux坐标系下的多项式处理和优化算法。
- 计算物理教学: 作为几何量子化和形变量子化理论的数值计算教学案例。
- 数学软件工具验证: 为Mathematica环境下的高级数学计算提供参考实现。
