数据集概述
该数据集包含用于验证有限代数方程组解集是否等于ΔA(4)关系的代码，以确保代数克隆具有等式可加性。同时提供生成通用代数计算器（uacalc）输入文件的代码，辅助验证论文《论两个代数集的并何时为代数集》中的相关主张。
文件详解
- 代码文件（.py）：
- checking_systems_of_equations.py：验证方程组解集与ΔA(4)关系的代码
- write_uacalc_files.py：生成uacalc输入文件的代码
- 代数结构文件（.alg）：包含L2.alg、S10.alg、aP.alg、AP.alg、S00.alg等6个代数结构定义文件
- 数据文件（.csv）：
- F4_over_S00.csv：S00代数上F(4)的计算结果，含Index、Term及0-15列数据
- F4_over_S10.csv：S10代数上F(4)的计算结果，含Index、Term及0-15列数据
- 文本文件（.txt）：
- F4_over_S00.txt、F4_over_S10.txt：对应csv文件的文本版本
- check_of_systems_of_equations.txt：方程组验证结果记录
- output_write_uacalc_files.txt：uacalc输入文件生成输出记录
- 文档文件：
- systems4_eqn_add.tex：LaTeX格式的文档源文件
- systems4_eqn_add.pdf：PDF格式的文档
适用场景
- 通用代数研究：验证有限代数的等式可加性属性
- 代数计算工具开发：为uacalc等工具提供输入文件生成方案
- 代数集理论研究：辅助验证代数集并集的代数性相关论文主张
- 计算代数实验：复现代数方程组解集验证的计算流程
