如何使用sympy.latex()和sympy.sympify()生成未求值参数化表达式fr'\frac{{3}}{{{i}}}'

开发者阿泽

2026-8-17

解决SymPy生成未求值参数化分数LaTeX的问题

要让SymPy生成未求值的分数形式LaTeX代码（比如保留\frac{3}{-1}、\frac{3}{0}、\frac{3}{1}的原始结构，而非化简后的-3、报错或3），可以通过以下两种方法实现：

方法1：使用`parse_expr`并禁用求值

SymPy的parse_expr函数支持evaluate=False参数，能直接解析字符串表达式但不进行化简计算，完美匹配需求：

from IPython.display import display, Math
import sympy as sym

for i in range(-1, 2):
    # 解析表达式但禁止求值
    expr = sym.parse_expr(f'3/{i}', evaluate=False)
    # 生成LaTeX代码并显示
    latex_code = sym.latex(expr)
    print(latex_code)  # 输出目标形式的LaTeX字符串
    display(Math(latex_code))

运行后会输出：

\frac{3}{-1}
\frac{3}{0}
\frac{3}{1}

同时在Notebook中渲染对应的数学公式。

方法2：使用`UnevaluatedExpr`包裹元素

通过UnevaluatedExpr标记分子和分母，强制SymPy保留它们的原始形式，即使进行除法操作也不会自动化简：

from IPython.display import display, Math
import sympy as sym
from sympy import UnevaluatedExpr

for i in range(-1, 2):
    # 用UnevaluatedExpr包裹数值，避免自动化简
    numerator = UnevaluatedExpr(3)
    denominator = UnevaluatedExpr(i)
    expr = numerator / denominator
    # 生成并输出LaTeX代码
    latex_code = sym.latex(expr)
    print(latex_code)
    display(Math(latex_code))