SymPy字典键顺序问题：如何保持多项式项输入顺序？

问题原因 #

1. 字典键顺序异常：as_coefficients_dict()返回的字典，其键的顺序由SymPy内部的表达式规范化逻辑决定，而非你输入多项式时的项顺序。SymPy会对非交换符号的项按照内置排序规则（基于符号名称的标准排序）重新排列，因此出现了y在x之前的情况。
2. 求和结果顺序异常：sum(fdict.keys())本质是让SymPy重新计算表达式求和，SymPy会自动对求和项进行规范化排序，所以结果顺序也和输入顺序不一致。

解决方法（保持原始输入顺序） #

要保留项的输入顺序，需避免SymPy自动对多项式项进行排序，直接从构造时的项列表中提取系数和变量：

修改后的代码 #

import sympy as sym
from sympy import symbols, Add

# 定义非交换变量
x, y = symbols('x,y', commutative=False)

# 用Add构造多项式，关闭自动求值以维持项的原始顺序
f = Add(3*x, 2*y, x*y, evaluate=False)

# 提取系数与变量项到列表
coefficients = []
variable_terms = []

for term in f.args:
    # 拆分每个项的系数和变量部分
    coeff, var_term = term.as_coeff_Mul()
    coefficients.append(coeff)
    variable_terms.append(var_term)

# 输出结果
print("系数列表:", coefficients)
print("变量项列表:", variable_terms)
# 验证顺序：从列表重构多项式
reconstructed_poly = Add(*(c*t for c, t in zip(coefficients, variable_terms)), evaluate=False)
print("重构后的多项式:", reconstructed_poly)

输出结果 #

系数列表: [3, 2, 1]
变量项列表: [x, y, x*y]
重构后的多项式: 3*x + 2*y + x*y

关键说明 #

• 使用Add(..., evaluate=False)可以阻止SymPy对多项式项进行排序或合并，f.args会严格保留你输入时的项顺序。
• as_coeff_Mul()方法能统一拆分单个变量项（如3*x）和变量乘积项（如x*y），提取出系数和纯变量部分，无需预设变量数量或类型。
• 后续修改多项式时，直接编辑coefficients和variable_terms列表，再通过Add重构即可，始终保持项的顺序。

内容的提问来源于stack exchange，提问作者Lauren S