Sympy中定义仅特定区间生效的Piecewise函数报错求助

报错原因 #

你写的0<=x<=5是Python的链式比较语法，但SymPy无法直接解析这种写法——它会被拆解为(0 <= x) <= 5，而0 <= x是一个Relational（关系）对象，SymPy无法确定这个对象和数值5比较的真值，因此抛出TypeError: cannot determine truth value of Relational。

正确写法与无定义区间实现 #

要实现x<0时无定义的分段函数，需要做两个调整：

1. 用SymPy的And函数组合区间条件，替代Python的链式比较
2. 显式指定x<0时的返回值，标记无定义

方案1：用Undefined明确标记无定义 #

导入Undefined，为x<0的区间添加对应的项：

from sympy import Symbol, Piecewise, And, Undefined
x = Symbol('x')
p = Piecewise(
    (3, And(0 <= x, x <= 5)),
    (5, x > 5),
    (Undefined(), x < 0)
)

当x<0时，函数会返回Undefined，清晰表示该区间无定义。

方案2：用S.NaN表示无定义（数值场景更常用） #

如果需要在数值计算中体现无定义，可以返回NaN（非数值），用True匹配所有未被前面条件覆盖的区间（即x<0）：

from sympy import Symbol, Piecewise, And, S
x = Symbol('x')
p = Piecewise(
    (3, And(0 <= x, x <= 5)),
    (5, x > 5),
    (S.NaN, True)
)

验证效果 #

调用p.subs(x, -1)会返回Undefined（方案1）或nan（方案2），而p.subs(x, 3)返回3，p.subs(x, 6)返回5，完全符合需求。

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