Sylvester's sequence: Difference between revisions
SqrtNegInf (talk | contribs) Added Perl |
|||
Line 155: | Line 155: | ||
Sum of reciprocals of first 10: 0.9999999999999999999999999999999999999999999999999999999999999999999999999999914 |
Sum of reciprocals of first 10: 0.9999999999999999999999999999999999999999999999999999999999999999999999999999914 |
||
</pre> |
</pre> |
||
=={{header|Perl}}== |
|||
<lang perl>use strict; |
|||
use warnings; |
|||
use feature 'say'; |
|||
use List::Util 'reduce'; |
|||
use Math::AnyNum ':overload'; |
|||
local $Math::AnyNum::PREC = 845; |
|||
my(@S,$sum); |
|||
push @S, 1 + reduce { $a * $b } @S for 0..10; |
|||
shift @S; |
|||
$sum += 1/$_ for @S; |
|||
say "First 10 elements of Sylvester's sequence: @S"; |
|||
say "\nSum of the reciprocals of first 10 elements: " . float $sum;</lang> |
|||
{{out}} |
|||
<pre>First 10 elements of Sylvester's sequence: 2 3 7 43 1807 3263443 10650056950807 113423713055421844361000443 12864938683278671740537145998360961546653259485195807 165506647324519964198468195444439180017513152706377497841851388766535868639572406808911988131737645185443 |
|||
Sum of the reciprocals of first 10 elements: 0.9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999635</pre> |
|||
=={{header|Phix}}== |
=={{header|Phix}}== |
Revision as of 15:58, 31 May 2021
This page uses content from Wikipedia. The original article was at Sylvester's sequence. The list of authors can be seen in the page history. As with Rosetta Code, the text of Wikipedia is available under the GNU FDL. (See links for details on variance) |
In number theory, Sylvester's sequence is an integer sequence in which each term of the sequence is the product of the previous terms, plus one.
Its values grow doubly exponentially, and the sum of its reciprocals forms a series of unit fractions that converges to 1 more rapidly than any other series of unit fractions with the same number of terms. Further, the sum of the first k terms of the infinite series of reciprocals provides the closest possible underestimate of 1 by any k-term Egyptian fraction.
- Task
- Write a routine (function, procedure, generator, whatever) to calculate Sylvester's sequence.
- Use that routine to show the values of the first 10 elements in the sequence.
- Show the sum of the reciprocals of the first 10 elements on the sequence;
- See also
ALGOL 68
Uses Algol 68G's LONG LONG INT and LONG LONG REAL which have specifiable precision. The sum of the reciprocols in the output has been manually edited to replace a large number of nines with ... to reduce the width. <lang algol68>BEGIN # calculate elements of Sylvestor's Sequence #
PR precision 200 PR # set the number of digits for LONG LONG modes # # returns an array set to the forst n elements of Sylvestor's Sequence # # starting from 2, the elements are the product of the previous # # elements plus 1 # OP SYLVESTOR = ( INT n )[]LONG LONG INT: BEGIN [ 1 : n ]LONG LONG INT result; LONG LONG INT product := 2; result[ 1 ] := 2; FOR i FROM 2 TO n DO result[ i ] := product + 1; product *:= result[ i ] OD; result END; # find the first 10 elements of Sylvestor's Seuence # []LONG LONG INT seq = SYLVESTOR 10; # show the sequence and sum the reciprocols # LONG LONG REAL reciprocol sum := 0; FOR i FROM LWB seq TO UPB seq DO print( ( whole( seq[ i ], 0 ), newline ) ); reciprocol sum +:= 1 / seq[ i ] OD; print( ( "Sum of reciprocols: ", reciprocol sum, newline ) )
END </lang>
- Output:
2 3 7 43 1807 3263443 10650056950807 113423713055421844361000443 12864938683278671740537145998360961546653259485195807 165506647324519964198468195444439180017513152706377497841851388766535868639572406808911988131737645185443 Sum of reciprocols: +9.99999999999999999999999999999999999999999...999999999999999999999999999964e -1
Factor
Note that if the previous element of the sequence is x, the next element is x2-x+1.
<lang factor>USING: io kernel lists lists.lazy math prettyprint ;
- lsylvester ( -- list ) 2 [ dup sq swap - 1 + ] lfrom-by ;
"First 10 elements of Sylvester's sequence:" print 10 lsylvester ltake dup [ . ] leach nl
"Sum of the reciprocals of first 10 elements:" print 0 [ recip + ] foldl .</lang>
- Output:
First 10 elements of Sylvester's sequence: 2 3 7 43 1807 3263443 10650056950807 113423713055421844361000443 12864938683278671740537145998360961546653259485195807 165506647324519964198468195444439180017513152706377497841851388766535868639572406808911988131737645185443 Sum of the reciprocals of first 10 elements: 27392450308603031423410234291674686281194364367580914627947367941608692026226993634332118404582438634929548737283992369758487974306317730580753883429460344956410077034761330476016739454649828385541500213920805/27392450308603031423410234291674686281194364367580914627947367941608692026226993634332118404582438634929548737283992369758487974306317730580753883429460344956410077034761330476016739454649828385541500213920806
Or, in other words, the sum is 2739245…3920805/2739245…3920806
.
Haskell
<lang haskell>sylvester :: [Integer] sylvester = map s [0 ..]
where s 0 = 2 s n = succ $ foldr ((*) . s) 1 [0 .. pred n]
main :: IO () main = do
putStrLn "First 10 elements of Sylvester's sequence:" putStr $ unlines $ map show $ take 10 sylvester
putStr "\nSum of reciprocals by sum over map: " print $ sum $ map ((1 /) . fromInteger) $ take 10 sylvester
putStr "Sum of reciprocals by fold: " print $ foldr ((+) . (1 /) . fromInteger) 0 $ take 10 sylvester</lang>
- Output:
First 10 elements of Sylvester's sequence: 2 3 7 43 1807 3263443 10650056950807 113423713055421844361000443 12864938683278671740537145998360961546653259485195807 165506647324519964198468195444439180017513152706377497841851388766535868639572406808911988131737645185443 Sum of reciprocals by sum over map: 0.9999999999999999 Sum of reciprocals by fold: 1.0
Julia
<lang julia>sylvester(n) = (n == 1) ? big"2" : prod(sylvester, 1:n-1) + big"1"
foreach(n -> println(rpad(n, 3), " => ", sylvester(n)), 1:10)
println("Sum of reciprocals of first 10: ", sum(big"1.0" / sylvester(n) for n in 1:10))
</lang>
- Output:
1 => 2 2 => 3 3 => 7 4 => 43 5 => 1807 6 => 3263443 7 => 10650056950807 8 => 113423713055421844361000443 9 => 12864938683278671740537145998360961546653259485195807 10 => 165506647324519964198468195444439180017513152706377497841851388766535868639572406808911988131737645185443 Sum of reciprocals of first 10: 0.9999999999999999999999999999999999999999999999999999999999999999999999999999914
Perl
<lang perl>use strict; use warnings; use feature 'say'; use List::Util 'reduce'; use Math::AnyNum ':overload'; local $Math::AnyNum::PREC = 845;
my(@S,$sum); push @S, 1 + reduce { $a * $b } @S for 0..10; shift @S; $sum += 1/$_ for @S;
say "First 10 elements of Sylvester's sequence: @S"; say "\nSum of the reciprocals of first 10 elements: " . float $sum;</lang>
- Output:
First 10 elements of Sylvester's sequence: 2 3 7 43 1807 3263443 10650056950807 113423713055421844361000443 12864938683278671740537145998360961546653259485195807 165506647324519964198468195444439180017513152706377497841851388766535868639572406808911988131737645185443 Sum of the reciprocals of first 10 elements: 0.9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999635
Phix
standard precision
atom n, rn = 0, lim = power(2,iff(machine_bits()=32?53:64)) for i=1 to 10 do n = iff(i=1?2:n*n-n+1) printf(1,iff(n<=lim?"%d: %d\n":"%d: %g\n"),{i,n}) rn += 1/n end for printf(1,"sum of reciprocals: %g\n",{rn})
- Output:
1: 2 2: 3 3: 7 4: 43 5: 1807 6: 3263443 7: 10650056950807 8: 1.13424e+26 9: 1.2865e+52 10: 1.65507e+104 sum of reciprocals: 1
mpfr version
Note the (minimal) precision settings of 698 and 211 were found by trial and error (ie larger values gain nothing but smaller ones lose accuracy).
include mpfr.e mpz n = mpz_init(2), nm1 = mpz_init() mpfr_set_default_prec(698) mpfr {rn, tmp} = mpfr_inits(2) for i=1 to 10 do if i>1 then mpz_sub_ui(nm1,n,1) mpz_mul(n,nm1,n) mpz_add_ui(n,n,1) end if printf(1,"%d: %s\n",{i,mpz_get_str(n)}) mpfr_set_z(tmp,n) mpfr_si_div(tmp,1,tmp) mpfr_add(rn,rn,tmp) end for printf(1,"sum of reciprocals: %s\n",{shorten(mpfr_sprintf("%.211Rf",rn))})
- Output:
1: 2 2: 3 3: 7 4: 43 5: 1807 6: 3263443 7: 10650056950807 8: 113423713055421844361000443 9: 12864938683278671740537145998360961546653259485195807 10: 165506647324519964198468195444439180017513152706377497841851388766535868639572406808911988131737645185443 sum of reciprocals: 0.999999999999999999...99999999999999999635 (213 digits)
Raku
<lang perl6>my @S = {1 + [*] @S[^($++)]} … *;
put 'First 10 elements of Sylvester\'s sequence: ', @S[^10];
say "\nSum of the reciprocals of first 10 elements: ", sum @S[^10].map: { FatRat.new: 1, $_ };</lang>
- Output:
First 10 elements of Sylvester's sequence: 2 3 7 43 1807 3263443 10650056950807 113423713055421844361000443 12864938683278671740537145998360961546653259485195807 165506647324519964198468195444439180017513152706377497841851388766535868639572406808911988131737645185443 Sum of the reciprocals of first 10 elements: 0.9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999635
Wren
<lang ecmascript>import "/big" for BigInt, BigRat
var sylvester = [BigInt.two] var prod = BigInt.two var count = 1 while (true) {
var next = prod + 1 sylvester.add(next) count = count + 1 if (count == 10) break prod = prod * next
} System.print("The first 10 terms in the Sylvester sequence are:") System.print(sylvester.join("\n"))
var sumRecip = sylvester.reduce(BigRat.zero) { |acc, s| acc + BigRat.new(1, s) } System.print("\nThe sum of their reciprocals as a rational number is:") System.print (sumRecip) System.print("\nThe sum of their reciprocals as a decimal number (to 211 places) is:") System.print(sumRecip.toDecimal(211))</lang>
- Output:
The first 10 terms in the Sylvester sequence are: 2 3 7 43 1807 3263443 10650056950807 113423713055421844361000443 12864938683278671740537145998360961546653259485195807 165506647324519964198468195444439180017513152706377497841851388766535868639572406808911988131737645185443 The sum of their reciprocals as a rational number is: 27392450308603031423410234291674686281194364367580914627947367941608692026226993634332118404582438634929548737283992369758487974306317730580753883429460344956410077034761330476016739454649828385541500213920805/27392450308603031423410234291674686281194364367580914627947367941608692026226993634332118404582438634929548737283992369758487974306317730580753883429460344956410077034761330476016739454649828385541500213920806 The sum of their reciprocals as a decimal number (to 211 places) is: 0.9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999635