产品
产品概览
Mathematica
Mathematica 学生版
Mathematica Home Edition
Wolfram
CDF Player
(免费下载)
可计算文档格式(CDF)
web
Mathematica
grid
Mathematica
Wolfram
Workbench
Wolfram
SystemModeler
Wolfram
Finance Platform
Mathematica
附加程序包
Wolfram|Alpha 产品
解决方案
解决方案概览
工程
航空航天与国防
化学工程
控制系统
电气工程
图像处理
工业工程
材料科学
机械工程
运筹学
光学
石油工程
生物技术与医药
生物信息学
医学影像
金融、统计、商业分析
精算科学
数据分析与挖掘
计量经济学
经济学
金融工程与数学
金融风险管理
统计
软件工程、内容传递
创作与出版
界面开发
软件工程
网页开发
科学
天文学
生物科学
化学
环境科学
地球科学
社会与行为科学
设计、艺术以及娱乐
游戏设计、特殊效果及衍生艺术
教育
STEM 教育倡议
高等教育
高职高专院校
中小学教育
学生
科技
可计算文档格式(CDF)
高性能并行计算(HPC)
参见:技术指南
购买
网上商店
其它购买方式
批量许可及站点许可证
联络销售部
软件
服务
升级
培训
书籍
Merchandise
技术支持
技术支持概览
Mathematica
参考资料
知识库
学习中心
技术服务
社区与论坛
培训
查看站点是否有许可证授权
Wolfram 用户门户
公司概况
关于 Wolfram Research
新闻与活动
Wolfram 博客
合作伙伴
工作机会
Mathematica
的历史
Stephen Wolfram 主页
联系我们
公司网站
全部站点
Wolfram|Alpha
演示项目
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Media
Wolfram
Tones
Wolfram Science
Stephen Wolfram
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE
DOCUMENTATION CENTER
FOR THE LATEST INFORMATION.
DOCUMENTATION CENTER SEARCH
New to
Mathematica
?
Find your learning path
»
Mathematica
>
数学和算法
>
多项式代数
>
多项式系统
>
SolveAlways
>
MATHEMATICA 内置符号
消去变量
教程 »
|
Eliminate
Solve
Reduce
PolynomialReduce
ForAll
参见 »
|
多项式系统
更多关于 »
SolveAlways
SolveAlways
给出使方程
eqns
对变量
vars
的所有值都有意义的参数的值.
更多信息
方程以
的形式给出.
联立方程可放在一个列表中或使用
联合起来.
可以指定单个变量或变量列表.
SolveAlways
主要处理线性和多项式方程.
SolveAlways
建立出现在
eqns
中但不出现在
vars
中的参数之间的联系.
SolveAlways
等价于
Solve
[!
Eliminate
[!
eqns
,
vars
]]
.
范例
关闭所有单元
例
(1)
求出方程对任何
值成立的条件:
求出方程对任何
值成立的条件:
In[1]:=
Out[1]=
范围
(6)
一元多项式方程:
多元多项式方程:
多项式方程列表:
涉及根式的方程:
一个不等式:
方程和不等式的布尔组合:
选项
(1)
在缺省情况下,
SolveAlways
求出明确的解:
这里用 20 位精度求解:
应用
(2)
求出一个三次多项式有三重根的条件:
这里用
Reduce
求解相同问题:
这也可以用
Subresultants
和
Solve
求解相同的问题:
求出级数展开时未确定的系数:
属性和关系
(1)
数值解使得方程恒为真:
用
Solve
和
Eliminate
的等价公式:
用
Solve
和
Resolve
的等价公式:
这里用
Reduce
求解相同问题:
可能存在的问题
(1)
SolveAlways
给出一般解:
当参数满足附加方程,方程可能不是恒等的:
下面求出使解不正确的参数条件:
参见
Eliminate
Solve
Reduce
PolynomialReduce
ForAll
教程
消去变量
更多关于
多项式系统
版本 1 的新功能