Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

SemialgebraicComponentInstances

SemialgebraicComponentInstances[ineqs,{x₁,x₂,…}]

在由变量为 x₁、x₂、… 的不等式 ineqs 定义的半代数集的每个连通分支上给出至少一个样本点.

更多信息

SemialgebraicComponentInstances 假定所有变量是实数.
可以输入不等式的列表或逻辑组合.
不等式组的任何解都可以通过一个连续路径与 SemialgebraicComponentInstances 返回的某个点连接.
SemialgebraicComponentInstances 产生变量的一个规则列表，和 Solve 类型相同.

范例

打开所有单元关闭所有单元

基本范例 (1)

在每个不同的分支上求出至少一个样本点：

范围 (3)

一个单变量的多项不等式：

多变量的多项等式和不等式：

等式和不等式的布尔组合：

应用 (4)

在单变量多项式不等式定义的每个区间找到至少一个点：

对于弱不等式，也同时给出根：

在一个二维的平面集合的每个连通分支上求出至少一个点：

在一个曲面的每个连通分支上求出至少一个点：

在一个实心体的每个连通分支上求出至少一个点：

这些点满足不等式：

用这些点检测用数值方法获得的图形是否遗漏了解集的某些部分：

属性和关系 (2)

返回的点满足输入不等式：

用 FindInstance 求出满足不等式的一个点：

用 CylindricalDecomposition 或 Reduce 获得解集的一个完整描述：

如果不等式没有解，则返回一个空列表：

一个等价的结果可以用 Resolve 获得：

顶部