OFFSET
0,1
COMMENTS
LINKS
Jose Capco and Claus Scheiderer, Expository notes on sum of square of polynomials with rational coefficients, Research Institute for Symbolic Computation, Johannes Kepler Universitaet Linz, Technical report, 2019 (see Example 1, page 3).
EXAMPLE
0.547423794586058597522831865993036666857208161949756527904813189143588759...
MATHEMATICA
RealDigits[Abs[Re[N[Root[x^4+x^2+x+1, 1], 120]]]][[1]] (* Harvey P. Dale, Nov 28 2023 *)
PROG
(PARI) abs (real (polroots (x^4 + x^2 + x + 1)[1]))
(PARI) polrootsreal(64*x^6 + 32*x^4 - 12*x^2 - 1)[2] \\ Charles R Greathouse IV, Oct 27 2023
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Hugo Pfoertner, Oct 02 2023
STATUS
approved