2

当我运行以下命令时

g := UnivariatePolynomial(Rationals, [12,-5,0,0,0,1]);
RootsOfPolynomialAsRadicals(g);

我收到这个错误

  ***   too many arguments: ...;,nf=nfinit([f,nfbasis(f,1)]);fac=lift(nffact
  ***                                                   ^--------------------
  ***   at top-level: for(i=1,#fac[,1],for(j=1,fac[i,2
  ***                             ^--------------------
  ***   incorrect type in _[,_] OCcompoC [not a matrix] (t_POL).
Error, List Element: <list>[1] must have an assigned value in
  faktoren[1] := lcoeff * faktoren[1]; at /proc/cygdrive/C/gap486/pkg/Alnuth-3.0.0/gap/factors.gi:99 called from
FactorsPolynomialPari( AlgExtEmbeddedPol( H, poly )
 ) at /proc/cygdrive/C/gap486/pkg/Alnuth-3.0.0/gap/factors.gi:51 called from
FactorsPolynomialAlgExt( erw.H, poly ) at /proc/cygdrive/C/gap486/pkg/radiroot/lib/SplittField.gi:237 called from
RR_Zerfaellungskoerper( poly, rec(
    roots := [  ],
    degs := [  ],
    coeffs := [  ],
    K := FieldByMatrices( [ [ [ 1 ] ] ] ),
    H := Rationals ) ) at /proc/cygdrive/C/gap486/pkg/radiroot/lib/Radicals.gi:293 called from
CallFuncList( RootsOfPolynomialAsRadicalsNC, arg
 ) at /proc/cygdrive/C/gap486/pkg/radiroot/lib/Radicals.gi:253 called from
<function "RootsOfPolynomialAsRadicals">( <arguments> )
 called from read-eval loop at line 2 of *stdin*
you can 'return;' after assigning a value

我在 Windows 10 上使用 GAP 4.8.6，从 GAP 下载页面上的 Windows 安装程序安装，以及 PARI/GP 2.9.1 64 位（稳定安装程序）。我也尝试过手动下载和使用最新版本的 Alnuth 和 Radiroot，但我仍然遇到同样的错误。有谁知道如何解决这一问题？

4

1 回答 1

0

这现在适用于 GAP 4.11.0，在 macOS 下使用 Alnuth 3.1.2、RadiRoot 2.8 和 Pari/GP 2.9.3：

g := UnivariatePolynomial(Rationals, [12,-5,0,0,0,1]);
RootsOfPolynomialAsRadicals(g);

启动显示结果的 xdvi 查看器。作为图像很难阅读，所以我提供了 LaTeX 源代码，这可能更有用：

\documentclass[fleqn]{article} 
\setlength{\paperwidth}{84cm} 
\setlength{\textwidth}{80cm} 
\setlength{\paperheight}{59.5cm} 
\setlength{\textheight}{57cm} 
\begin{document} 
\noindent
An expression by radicals for the roots of the polynomial $x^{5} - 5x + 12$ with the $n$-th root of unity $\zeta_n$ and
\\
$\omega_1 = \sqrt[2]{ - 10}$,\\
$\omega_2 = \sqrt[5]{\left( - \frac{421}{5}\zeta_{5} - \frac{449}{5}\zeta_{5}^{2} - \frac{49}{5}\zeta_{5}^{3} + \frac{229}{5}\zeta_{5}^{4}\right) + \left( - \frac{168}{25}\zeta_{5} - \frac{849}{25}\zeta_{5}^{2} - \frac{1101}{25}\zeta_{5}^{3} - \frac{582}{25}\zeta_{5}^{4}\right)\omega_1}$,\\
\\
is:
\\
\noindent
$\left( - \frac{2}{11}\zeta_{5} - \frac{1}{11}\zeta_{5}^{2} + \frac{4}{11}\zeta_{5}^{3} - \frac{4}{11}\zeta_{5}^{4}\right)\omega_2 + \left( - \frac{42}{121}\zeta_{5} + \frac{34}{121}\zeta_{5}^{2} - \frac{92}{121}\zeta_{5}^{3} + \frac{15}{121}\zeta_{5}^{4}\right)\omega_2^2 + \left(\frac{91}{605}\zeta_{5} + \frac{7}{605}\zeta_{5}^{2} + \frac{38}{605}\zeta_{5}^{3} + \frac{149}{605}\zeta_{5}^{4}\right)\omega_1\omega_2^2 + \left(\frac{175}{1331}\zeta_{5} + \frac{302}{1331}\zeta_{5}^{2} + \frac{706}{1331}\zeta_{5}^{3} + \frac{482}{1331}\zeta_{5}^{4}\right)\omega_2^3 + \left(\frac{255}{1331}\zeta_{5} + \frac{364}{1331}\zeta_{5}^{2} + \frac{40}{1331}\zeta_{5}^{3} + \frac{246}{1331}\zeta_{5}^{4}\right)\omega_1\omega_2^3 + \left( - \frac{11480}{14641}\zeta_{5} + \frac{420}{14641}\zeta_{5}^{2} + \frac{7725}{14641}\zeta_{5}^{3} - \frac{740}{14641}\zeta_{5}^{4}\right)\omega_2^4 + \left(\frac{786}{14641}\zeta_{5} + \frac{6399}{14641}\zeta_{5}^{2} + \frac{45}{14641}\zeta_{5}^{3} + \frac{1275}{14641}\zeta_{5}^{4}\right)\omega_1\omega_2^4$
\end{document}

很难说最初的问题是什么，两个包都有很多变化，现在托管在 GitHub 上 - 源代码存储库是https://github.com/gap-packages/radiroot和https://github。 com/gap-packages/alnuth。

于 2020-07-14T17:04:26.593 回答