完全简化

尝试对进行广泛的转换快递包含基本和特殊函数，并返回它找到的最简单形式。

使用假设进行简化。

详细信息和选项

完全简化将始终生成至少与简化，但可能需要更长的时间。
完全简化使用RootReduce（根还原）关于涉及以下内容的表达式根物体。
完全简化对大多数特殊函数进行转换。
形式假设面向所有人[变量,公理],完全简化可以简化涉及符号函数的表达式和方程。 »
您可以为指定默认假设完全简化使用假设。
可以提供以下选项：

假设	$假设	要附加到的默认假设阿苏姆
复杂性函数	自动	如何评估生成的每个表单的复杂性
排除的表单	{}	指定不应接触的子表达式形式的模式
时间约束	无穷	尝试进行任何特定转换的秒数
转换函数	自动	尝试转换表达式的函数
触发	真的	是否进行三角变换和代数变换

假设可以由方程式、不等式、领域规范组成，例如x个∈整数以及它们的逻辑组合。
使用设置时间约束->{t吨_位置,t吨_总数}最多t吨_位置任何特定的转换都需要花费秒，最多t吨_总数在返回最佳结果之前，所有转换都要花费数秒。

示例

全部打开全部关闭

基本示例 (3)

简化涉及特殊函数的表达式：

使用假设简化：

从结合性假设中证明一个简单定理：

范围 (8)

简化多项式：

将双曲线表达式简化为指数形式：

将指数表达式简化为三角形式：

简化代数数：

简化超越数：

简化涉及特殊函数的表达式：

使用假设简化表达式：

基于公理系统证明定理：

任何表达式都可以用作变量：

公理中未量化的变量被视为常数：

假设左恒等式和左逆存在，证明右逆存在：

选项 (6)

假设 (1)

假设可以作为参数和选项值提供：

的默认值假设选项是$假设以下为：

当假设作为论据给出时，$假设也可用于：

将假设指定为选项值可以防止完全简化从使用$假设以下为：

复杂性函数 (1)

默认情况下，此表达式不会简化：

此复杂性函数使切比雪夫比其他功能更昂贵：

排除的表单 (1)

这就得出了以下结果精氨酸[x个]以下为：

这说明了日志[x个]不应转换：

时间约束 (1)

由于三角函数的扩展，这需要很长时间：

大多数时间‐消费转型并不是进行简化的转型：

由于转换限制为100毫秒，因此不会发生简化：

转换函数 (1)

默认情况下，完全简化不使用减少以下为：

这使得完全简化使用减少关于x个在实际域上：

三角 (1)

默认情况下，完全简化使用三角恒等式：

使用触发->False（错误）,完全简化不使用三角恒等式：

应用 (6)

证明解满足其方程：

简化涉及以下内容的表达式国防部以下为：

证明一个操作克使用关联性，左中性元素和左反转定义组：

从Wolfram的布尔代数最小公理证明交换性：

证明不动点组合子存在：

证明一个关于满足的定理(⋁)并加入(⋀):

属性和关系 (7)

输出通常与输入等效：

完全简化使用的变换范围比简化以下为：

完全简化使用了几个扩展转换，包括展开以下为：

触发展开以下为：

逐段展开以下为：

功能扩展以下为：

逻辑扩展以下为：

PowerExpand功能扩展对输入进行特殊假设，不被使用完全简化以下为：

复杂度展开假设变量是真实的，也不由使用完全简化以下为：

完全简化使用几个因子转换，包括因子以下为：

FactorSquareFree公司以下为：

触发因子以下为：

对于代数数，RootReduce（根还原）和ToRadicals（ToRadical）使用：

对于有理函数，一起和分开使用：

可能的问题 (3)

使用的一些转换完全简化仅一般正确：

奇异表达式的简化结果不确定：

此结果是由自动评估导致的：

简化结果可能取决于符号的名称：

整洁的示例 (1)

完全简化了解费马最后一个定理：

顶部

完全简化

详细信息和选项

示例

基本示例 (3)

范围 (8)