查找实例

查找实例[快递,变量]

查找的实例变量这就是声明快递是真的.

查找实例[快递,变量,多姆]

在域上查找实例多姆.常见的选择多姆是复合物,雷亚尔,整数、和布尔值.

查找实例[快递,变量,多姆,n个]

发现n个实例。

详细信息和选项

查找实例[快递,{x个₁,x个₂,…}]以与相同的形式给出结果解决:{{x个₁->val值₁,x个₂->val值₂,…}}如果实例存在，并且{}如果没有。
快递可以包含等式、不等式、域规范和量词，格式与中相同减少.
声明快递可以是以下内容的任意逻辑组合：

	左侧（lhs）==相对湿度	方程
	左侧（lhs）!=相对湿度	不等式
	左侧（lhs）>相对湿度或左侧（lhs）>=相对湿度	不等式
	快递∈多姆	域规范
	{x个,年,…}∈规则	地区规范
	面向所有人[x个,康德,快递]	全称量词
	存在[x个,康德,快递]	存在量词

通过精确的符号输入，查找实例给出了准确的结果。
即使两个输入定义了相同的数学集，查找实例可能仍然会选择不同的实例来返回。
返回的实例查找实例通常对应于集合中的特殊点或有趣点。
查找实例[快递,变量]默认情况下，假设不等式中代数形式出现的量是实的，而所有其他量都是复的。
查找实例[快递,变量,整数]找到丢番图方程的解。
查找实例[快递,变量,布尔值]求解的布尔可满足性快递.
查找实例[快递,变量,雷亚尔]假设不仅变量以及中的所有函数值快递都是真实的。查找实例[快递&&变量∈雷亚尔,变量]只假设变量都是真实的。
查找实例[…,x个∈规则,雷亚尔]约束x个在该地区规则。的不同坐标x个可以使用已编制索引[x个,我].
查找实例可能能够找到实例，即使减少无法完全还原。
默认情况下，每次运行查找实例对于给定的输入，它将返回相同的输出。
查找实例[快递,变量,多姆,n个]如果实例总数小于，将返回一个较短的列表n个.
可以提供以下选项：

方法	自动	使用方法
模量	0	整数的模
随机播种	1234	如何播种随机性
工作精度	无穷	内部计算中使用的精度

示例

全部打开全部关闭

基本示例 (6)

查找方程组的解实例：

找到方程组和不等式组的实际解实例：

查找整数解决方案实例：

查找满足公式的变量的布尔值：

查找多个实例：

在几何区域中查找点：

范围 (54)

复杂域 (8)

线性系统：

一元多项式方程：

多元多项式方程：

多项式方程组和不等式组：

这提供了三个解决方案实例：

如果没有解决方案查找实例返回空列表：

如果解决方案少于要求的数量，查找实例返回所有解决方案：

量化多项式系统：

代数系统：

先验方程：

在这种情况下，没有解决方案：

一个超越性的解决方案根物体：

超越方程组：

真实域 (13)

线性系统：

一元多项式方程：

一元多项式不等式：

多元多项式方程：

多元多项式不等式：

多项式方程组和不等式组：

获取四个解决方案实例：

如果没有解决方案查找实例返回空列表：

如果解决方案少于要求的数量，查找实例返回所有解决方案：

量化多项式系统：

代数系统：

分段方程式：

分段不等式：

先验方程：

一个超越性的解决方案根物体：

先验不平等：

先验系统：

整数域 (12)

线性方程组：

方程和不等式的线性系统：

找到多个解决方案：

一元多项式方程：

一元多项式不等式：

二元二次方程：

Thue方程：

如果解决方案少于要求的数量，查找实例返回所有解决方案：

平方和方程：

毕达哥拉斯方程：

方程和不等式的有界系统：

无解决方案的高亮度系统：

先验丢番图系统：

同余多项式系统：

模块化域（5）

线性系统：

一元多项式方程：

多元多项式方程：

查找七个实例：

多项式方程和不等式系统：

量化多项式系统：

有限域 (4)

单变量方程：

线性方程组：

多项式方程组：

查找三个实例：

涉及量词的系统：

混合域 (3)

混合实数和复数变量：

查找的实际值和的复数值对于其中是真实的并且小于:

不平等涉及防抱死制动系统[z（z）]:

几何区域 (9)

在二维基本几何区域中查找实例：

绘制它：

在3D中查找基本几何区域中的实例：

绘制它：

在区域投影中查找点：

绘制它：

隐式定义的区域：

参数化定义的区域：

衍生区域：

绘制它：

依赖于参数的区域：

查找参数值,、和其中圆包含给定点：

绘制它：

使用指定是中的向量:

在这种情况下是中的向量:

选项 (3)

模量 (1)

求模9的整数的解：

找到三个解决方案：

随机播种 (1)

查找实例通常需要从大型解决方案集中进行随机选择：

默认情况下，查找实例每次选择相同的解决方案：

使用随机播种自动以每次生成潜在的新实例：

工作精度 (1)

很难找到这个问题的确切解决方案：

使用有限工作精度,查找实例能够找到近似解：

应用 (11)

几何问题 (6)

该地区ℛ是的子集如果 $R\S公司$ 为空。展示一下磁盘[{0,0},{2,1}]是的子集矩形[{-2,-1个},{2,1}]:

绘制它：

展示一下矩形[]不是的子集磁盘[{0,0},7/5]:

绘制它：

展示一下圆柱[]⊆球[{0,0,0},2]:

绘制它：

展示一下圆柱[]⊈球[{0,0,0},7/5]:

绘制它：

在两个区域的交点处查找点：

找到一个几何猜想的反例：

使用更强的假设来证明猜想：

布尔问题（2）

证明一个陈述是一种同义反复：

这可以用托托洛基Q也：

表明一个陈述不是重复；举个反例：

这可以用可满足性实例也：

整数问题 (3)

找到毕达哥拉斯三元组：

找到存在的毕达哥拉斯三元组：

当:

找到毕达哥拉斯的四元组，并将结果可视化：

为生成所有解决方案并将结果可视化：

显示没有2个×所有数字不相等的2个幻方：

属性和关系 (10)

解决方案实例满足输入系统：

使用RootReduce（根减少）证明代数数满足方程：

当没有解决方案时，查找实例返回空列表：

如果解决方案少于要求的数量，查找实例返回所有解决方案：

要获得解决方案集的完整描述，请使用减少:

要获得复杂方程组的一般解，请使用解决:

解决平方和表示问题：

使用方形R求平方和问题的解的数量：

解决幂和表示问题：

使用权力陈述枚举所有解决方案：

查找满足布尔语句的实例：

使用可满足性实例要获得表示为布尔向量的解：

查找实例表明多项式为非负：

使用多项式平方和列表代表作为平方和：

Motzkin多项式是非负的，但不是平方和：

整洁的示例 (1)

Thue方程的整数解：

顶部

查找实例

详细信息和选项

示例

基本示例 (6)