使用SymPy与PythonTex修改分数显示格式及实现变量非化简替换的技术问询

我来帮你搞定这两个SymPy结合PythonTeX的问题，这俩场景我之前做项目的时候也碰到过，给你具体的实现方案：

1. 让特定分数以完整分式（\frac）形式输出 #

SymPy默认输出LaTeX时，对于简单分数会用行内的1/5格式，但我们可以通过调整参数或自定义处理，让指定分数输出为\frac{1}{5}的完整形式。

具体实现 #

方法一：直接用latex函数的frac参数（推荐，SymPy 1.9+支持）

如果你的SymPy版本够新，直接给latex()函数传frac='display'参数，就能强制所有分数用完整分式输出：

from sympy import latex, Rational
target_frac = Rational(1, 5)
# 输出完整分式形式的LaTeX代码
print(latex(target_frac, frac='display'))  # 结果：\frac{1}{5}

方法二：自定义处理仅针对特定分数

如果你只需要让1/5这个分数生效，其他分数保持默认，可以写个简单的判断函数：

from sympy import latex, Rational
def custom_frac_latex(expr):
    # 只对1/5做特殊处理
    if isinstance(expr, Rational) and expr == Rational(1, 5):
        return f"\\frac{{{expr.numerator}}}{{{expr.denominator}}}"
    # 其他表达式用默认LaTeX输出
    return latex(expr)

# 使用示例
print(custom_frac_latex(Rational(1,5)))  # \frac{1}{5}
print(custom_frac_latex(Rational(2,3)))  # 2/3（保持默认）

在PythonTeX中，你可以把这个函数放在pycode环境里，然后用py命令输出到LaTeX中：

\begin{pycode}
# 上面的自定义函数代码
target_frac = Rational(1,5)
output_frac = custom_frac_latex(target_frac)
\end{pycode}
完整分式示例：$\py{output_frac}$

2. 变量替换时保留未化简的表达式形式 #

SymPy的subs方法默认会自动化简替换后的表达式，要避免这个行为，有两种可靠的方式：

具体实现 #

方法一：用subs的simplify=False参数（SymPy 1.8+支持）

直接在subs方法里添加simplify=False参数，就能阻止自动化简：

from sympy import symbols, diff, latex, Rational
x = symbols('x')
# 求导示例：d/dx(x³) = 3x²
diff_expr = diff(x**3, x)
# 替换x为2/3，不化简
un_simplified_result = diff_expr.subs(x, Rational(2,3), simplify=False)
print(latex(un_simplified_result))  # 结果：3 \left(\frac{2}{3}\right)^{2}

方法二：用UnevaluatedExpr包裹替换值（兼容低版本SymPy）

如果你的SymPy版本较低，或者需要更灵活的未求值控制，可以用UnevaluatedExpr把替换值包裹起来：

from sympy import symbols, diff, latex, Rational, UnevaluatedExpr
x = symbols('x')
diff_expr = diff(x**3, x)
# 用UnevaluatedExpr包裹2/3，强制保留形式
sub_val = UnevaluatedExpr(Rational(2,3))
un_simplified_result = diff_expr.subs(x, sub_val)
print(latex(un_simplified_result))  # 同样输出：3 \left(\frac{2}{3}\right)^{2}

在PythonTeX中结合随机种子的场景，你可以这么写：

\begin{pycode}
import random
from sympy import symbols, diff, latex, Rational, UnevaluatedExpr

# 设置随机种子
random.seed(42)
# 随机选择2/3或1/3
sub_val = Rational(2,3) if random.random() > 0.5 else Rational(1,3)

x = symbols('x')
diff_expr = diff(x**3, x)
# 替换并保留未化简形式
result = diff_expr.subs(x, UnevaluatedExpr(sub_val))
result_latex = latex(result)
\end{pycode}
未化简替换结果：$\py{result_latex}$

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