conditional - 获取 ConditionalExpression 的条件

Question

给定条件表达式 cE = ConditionalExpression[ Value, Condition ]如何提取 cE 的条件?

我尝试建立索引，但这没有帮助。

Answer 1

也许提供一个可以在更复杂情况下使用的更干净的版本会很有趣。

考虑 ConditionalExpression官方文档示例

In[]:= ce = Integrate[x^n, {x, 0, 1}]

具有以下输出:

                               1
Out[]= ConditionalExpression[-----, Re[n] > -1]
                             1 + n

提取条件 Re[n] > -1您可以使用:

In[]:= FirstCase[ce, ConditionalExpression[_, c_] :> c, Missing[], {0,-1}]

打印:

Out[]= Re[n] > -1

在您的评论中，您提到了一个嵌套表达式，使用以前的方法这也可以。例如:

 In[]:= FirstCase[{{5, 6, ce, 1}}, ConditionalExpression[_, c_] :> c, Missing[], {0,-1}]

仍然返回

Out[]= Re[n] > -1

如果没有找到模式，命令会轻轻返回 Missing[] .例如 Sin[6] :

In[]:= FirstCase[Sin[6], ConditionalExpression[_, c_] :> c, Missing[], {0,-1}]

输出是:

Out[]= Missing[]