符号与数值张量代数框架SeQuant，第一部分：核心功能
SeQuant是一个开源库，用于在交换（标量）和非交换（算子）环上对张量进行符号代数运算。其核心创新是一个基于图论的张量网络（TN）规范化器，它能够比标准的群论方法更快速地处理具有对称性的张量网络。该工具被用于常规张量表达式的简化、优化Wick定理的应用（用于对算子域上的张量积进行规范化），以及操作中间表示以实现数值计算。 SeQuant的显著特点包括支持非协变张量网络（通常由张量分解产生）和具有模式间参数依赖关系的张量（例如某些自由度的参数化嵌套关系，这种“张量的张量”结构常见于数据科学的块状数据压缩和现代量子模拟中）。该工作模糊了纯符号操作/代码生成与数值计算之间的界限，其类编译器组件能优化并直接解释张量表达式，利用外部数值张量代数框架进行计算。 SeQuant源代码发布于：https://github.com/ValeevGroup/SeQuant
