MATHEMATICA 内置符号

SemialgebraicComponentInstances

在由变量为

、

、... 的不等式 ineqs 定义的半代数集的每个连通分支上给出至少一个样本点.

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

Out[1]=

Out[2]=

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

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

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

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

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

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

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

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

这些点满足不等式：

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

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

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

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

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

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

版本 6 的新功能