Python SymPy 如何在三个对象间创建带两个等号的链式等式？嵌套Eq返回False问题

SymPy 中sp.Eq的设计语义是两个表达式之间的逻辑等值判断，调用时会自动对传入的参数做符号求值。如果把一个sp.Eq对象作为参数嵌套传入外层sp.Eq，内层的等式对象会被强制求值为布尔值（判断是否为恒真命题），最终整个嵌套结构会退化为普通的布尔比较运算，直接返回False，完全无法生成用于排版展示的链式等式结构。

SymPy 原生没有内置多段连等式的排版支持，可通过两种方式实现预期效果：

方案1：自定义轻量链式等式类（推荐，渲染风格和原生pprint完全统一） #

该方案的核心是通过扩展SymPy的打印机逻辑，把存储多表达式的自定义容器类渲染为带多等号的排版效果，完全不破坏原生渲染的格式。
完整可运行代码：

import sympy as sp
from sympy.printing.pretty.pretty import PrettyPrinter

# 链式等式容器类，存储所有需要连等的表达式片段
class ChainEq:
    def __init__(self, *exprs):
        self.exprs = exprs

# 扩展原生打印机，支持ChainEq的排版渲染
class ChainEqPrettyPrinter(PrettyPrinter):
    def _print_ChainEq(self, chain_obj):
        # 逐段调用原生渲染逻辑处理每个表达式，再用等号拼接
        rendered_segments = [self._print(seg) for seg in chain_obj.exprs]
        return " = ".join(rendered_segments)

# 封装打印入口
def chain_pprint(chain_eq: ChainEq, use_unicode: bool = True):
    printer = ChainEqPrettyPrinter({'use_unicode': use_unicode})
    print(printer.doprint(chain_eq))

实际使用示例（对应原需求的三段连等）：

y = sp.Symbol('y')
# 按连等顺序传入三个表达式
my_chain = ChainEq(
    (((y**2 + 2) * (y**3)) / 5) + 3,
    3 * (y**2),
    0
)
chain_pprint(my_chain, use_unicode=True)

运行后输出效果和原生pprint的符号排版完全一致，三个表达式之间依次用等号连接。

方案2：临时表达式拼接（适合快速调试场景） #

如果不需要长期复用连等功能，可直接把每个表达式单独用sp.pretty渲染成字符串，再手动用等号拼接输出：

y = sp.Symbol('y')
# 逐段渲染每个表达式为格式化字符串
seg1 = sp.pretty((((y**2 + 2) * (y**3)) / 5) + 3, use_unicode=True)
seg2 = sp.pretty(3 * (y**2), use_unicode=True)
seg3 = sp.pretty(0, use_unicode=True)
# 拼接输出
print(f"{seg1} = {seg2} = {seg3}")

• 不要尝试通过嵌套sp.Eq实现链式等式：sp.Eq的核心语义是逻辑判断关系，不是排版容器，嵌套时必然触发自动布尔求值，无法得到预期排版结果。
• 自定义的ChainEq仅用于排版展示，不能直接参与SymPy的符号求解运算，如果需要做数学推导，还是需要把对应表达式按顺序拆成单个sp.Eq对象分别传入求解器。

内容的提问来源于stack exchange，提问作者Magdy Rafeet