如何求一个一元八次方程的符号解

chyanog

69# hujunhua
好主意，试了下，果然分解出来了

wayne

70# mathe
radiroot包总是加载不成功，费劲

mathe

整个软件很大，我现在还没下载下来，还不能试验
不过按照文档说明，它最多也只能处理15次的不可约多项式

wayne

73# mathe
恩，主要是各种package很多 ，我现在 还在rsync

wayne

搞定了：

1. f := UnivariatePolynomial( Rationals, [2,-16,-40,-32,-4,0,0,0,1] );
   
2. RootsOfPolynomialAsRadicals(f);
   

复制代码

数学星空

呵呵，的确很神奇哟…………
是否能根式解的都能给出表达式吗？
例如求解一下：
$6484591447895521-3109710821335221600*y+367081320495641587776*y^2-16753488126971906739456*y^3+385092117683114579108352*y^4-5103856857770702945685504*y^5+$
$42049992724818030982324224*y^6-225294153564237402600603648*y^7+806880282203535092765097984*y^8-1963620676373502637045186560*y^9+3275395806763778081820770304*y^10-$$3751220300859755209194209280*y^11+2928086932006564898870919168*y^12-1524285912484356749116047360*y^13+504730181549077650531680256*y^14-$
$95946081158798277328502784*y^15+7958661109946400884391936*y^16$

wayne

其实axiom 也很不错的
http://axiom-developer.org/axiom ... /section-8.13.xhtml

mathe

呵呵，的确很神奇哟…………
是否能根式解的都能给出表达式吗？
例如求解一下：
6484591447895521-3109710821335221600*y+367081320495641587776*y^2-16753488126971906739456*y^3+385092117683114579108352*y^4- ...
数学星空 发表于 2013-1-21 23:49

次数高了不一定行

wayne

76# 数学星空
这个函数不是算出根式解，而是算出根所在的代数域的单位元素。

计算花了点时间：




17.pdf (17.69 KB, 下载次数: 8)

2013-1-22 20:25 上传

点击文件名下载附件

数学星空

根所在的代数域的单位元素??
不太理解，与我们说的方程根有什么关系呢？