chyanog 发表于 2013-1-21 16:03:54

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

wayne 发表于 2013-1-21 21:20:52

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

mathe 发表于 2013-1-21 21:25:27

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

wayne 发表于 2013-1-21 21:39:27

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

wayne 发表于 2013-1-21 23:29:35

搞定了：f := UnivariatePolynomial( Rationals, );
RootsOfPolynomialAsRadicals(f);



数学星空 发表于 2013-1-21 23:49:00

呵呵，的确很神奇哟…………
是否能根式解的都能给出表达式吗？
例如求解一下：
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 发表于 2013-1-22 12:34:51

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

mathe 发表于 2013-1-22 19:02:35

呵呵，的确很神奇哟…………
是否能根式解的都能给出表达式吗？
例如求解一下：
6484591447895521-3109710821335221600*y+367081320495641587776*y^2-16753488126971906739456*y^3+385092117683114579108352*y^4- ...
数学星空 发表于 2013-1-21 23:49 http://bbs.emath.ac.cn/images/common/back.gif
次数高了不一定行

wayne 发表于 2013-1-22 19:49:19

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

计算花了点时间：




数学星空 发表于 2013-1-22 20:53:44

根所在的代数域的单位元素??
不太理解，与我们说的方程根有什么关系呢？
页: 1 2 3 4 5 6 7 [8] 9 10 11
查看完整版本: 如何求一个一元八次方程的符号解