/extra/project-euler/013/013.factor

http://github.com/abeaumont/factor · Factor · 233 lines · 110 code · 12 blank · 111 comment · 0 complexity · b32b26e2e78d653037f4e349ace79af4 MD5 · raw file

  1. ! Copyright (c) 2007 Aaron Schaefer.
  2. ! See http://factorcode.org/license.txt for BSD license.
  3. USING: math.parser sequences project-euler.common ;
  4. IN: project-euler.013
  5. ! http://projecteuler.net/index.php?section=problems&id=13
  6. ! DESCRIPTION
  7. ! -----------
  8. ! Work out the first ten digits of the sum of the following one-hundred
  9. ! 50-digit numbers.
  10. ! 37107287533902102798797998220837590246510135740250
  11. ! 46376937677490009712648124896970078050417018260538
  12. ! 74324986199524741059474233309513058123726617309629
  13. ! 91942213363574161572522430563301811072406154908250
  14. ! 23067588207539346171171980310421047513778063246676
  15. ! 89261670696623633820136378418383684178734361726757
  16. ! 28112879812849979408065481931592621691275889832738
  17. ! 44274228917432520321923589422876796487670272189318
  18. ! 47451445736001306439091167216856844588711603153276
  19. ! 70386486105843025439939619828917593665686757934951
  20. ! 62176457141856560629502157223196586755079324193331
  21. ! 64906352462741904929101432445813822663347944758178
  22. ! 92575867718337217661963751590579239728245598838407
  23. ! 58203565325359399008402633568948830189458628227828
  24. ! 80181199384826282014278194139940567587151170094390
  25. ! 35398664372827112653829987240784473053190104293586
  26. ! 86515506006295864861532075273371959191420517255829
  27. ! 71693888707715466499115593487603532921714970056938
  28. ! 54370070576826684624621495650076471787294438377604
  29. ! 53282654108756828443191190634694037855217779295145
  30. ! 36123272525000296071075082563815656710885258350721
  31. ! 45876576172410976447339110607218265236877223636045
  32. ! 17423706905851860660448207621209813287860733969412
  33. ! 81142660418086830619328460811191061556940512689692
  34. ! 51934325451728388641918047049293215058642563049483
  35. ! 62467221648435076201727918039944693004732956340691
  36. ! 15732444386908125794514089057706229429197107928209
  37. ! 55037687525678773091862540744969844508330393682126
  38. ! 18336384825330154686196124348767681297534375946515
  39. ! 80386287592878490201521685554828717201219257766954
  40. ! 78182833757993103614740356856449095527097864797581
  41. ! 16726320100436897842553539920931837441497806860984
  42. ! 48403098129077791799088218795327364475675590848030
  43. ! 87086987551392711854517078544161852424320693150332
  44. ! 59959406895756536782107074926966537676326235447210
  45. ! 69793950679652694742597709739166693763042633987085
  46. ! 41052684708299085211399427365734116182760315001271
  47. ! 65378607361501080857009149939512557028198746004375
  48. ! 35829035317434717326932123578154982629742552737307
  49. ! 94953759765105305946966067683156574377167401875275
  50. ! 88902802571733229619176668713819931811048770190271
  51. ! 25267680276078003013678680992525463401061632866526
  52. ! 36270218540497705585629946580636237993140746255962
  53. ! 24074486908231174977792365466257246923322810917141
  54. ! 91430288197103288597806669760892938638285025333403
  55. ! 34413065578016127815921815005561868836468420090470
  56. ! 23053081172816430487623791969842487255036638784583
  57. ! 11487696932154902810424020138335124462181441773470
  58. ! 63783299490636259666498587618221225225512486764533
  59. ! 67720186971698544312419572409913959008952310058822
  60. ! 95548255300263520781532296796249481641953868218774
  61. ! 76085327132285723110424803456124867697064507995236
  62. ! 37774242535411291684276865538926205024910326572967
  63. ! 23701913275725675285653248258265463092207058596522
  64. ! 29798860272258331913126375147341994889534765745501
  65. ! 18495701454879288984856827726077713721403798879715
  66. ! 38298203783031473527721580348144513491373226651381
  67. ! 34829543829199918180278916522431027392251122869539
  68. ! 40957953066405232632538044100059654939159879593635
  69. ! 29746152185502371307642255121183693803580388584903
  70. ! 41698116222072977186158236678424689157993532961922
  71. ! 62467957194401269043877107275048102390895523597457
  72. ! 23189706772547915061505504953922979530901129967519
  73. ! 86188088225875314529584099251203829009407770775672
  74. ! 11306739708304724483816533873502340845647058077308
  75. ! 82959174767140363198008187129011875491310547126581
  76. ! 97623331044818386269515456334926366572897563400500
  77. ! 42846280183517070527831839425882145521227251250327
  78. ! 55121603546981200581762165212827652751691296897789
  79. ! 32238195734329339946437501907836945765883352399886
  80. ! 75506164965184775180738168837861091527357929701337
  81. ! 62177842752192623401942399639168044983993173312731
  82. ! 32924185707147349566916674687634660915035914677504
  83. ! 99518671430235219628894890102423325116913619626622
  84. ! 73267460800591547471830798392868535206946944540724
  85. ! 76841822524674417161514036427982273348055556214818
  86. ! 97142617910342598647204516893989422179826088076852
  87. ! 87783646182799346313767754307809363333018982642090
  88. ! 10848802521674670883215120185883543223812876952786
  89. ! 71329612474782464538636993009049310363619763878039
  90. ! 62184073572399794223406235393808339651327408011116
  91. ! 66627891981488087797941876876144230030984490851411
  92. ! 60661826293682836764744779239180335110989069790714
  93. ! 85786944089552990653640447425576083659976645795096
  94. ! 66024396409905389607120198219976047599490197230297
  95. ! 64913982680032973156037120041377903785566085089252
  96. ! 16730939319872750275468906903707539413042652315011
  97. ! 94809377245048795150954100921645863754710598436791
  98. ! 78639167021187492431995700641917969777599028300699
  99. ! 15368713711936614952811305876380278410754449733078
  100. ! 40789923115535562561142322423255033685442488917353
  101. ! 44889911501440648020369068063960672322193204149535
  102. ! 41503128880339536053299340368006977710650566631954
  103. ! 81234880673210146739058568557934581403627822703280
  104. ! 82616570773948327592232845941706525094512325230608
  105. ! 22918802058777319719839450180888072429661980811197
  106. ! 77158542502016545090413245809786882778948721859617
  107. ! 72107838435069186155435662884062257473692284509516
  108. ! 20849603980134001723930671666823555245252804609722
  109. ! 53503534226472524250874054075591789781264330331690
  110. ! SOLUTION
  111. ! --------
  112. <PRIVATE
  113. : source-013 ( -- seq )
  114. {
  115. 37107287533902102798797998220837590246510135740250
  116. 46376937677490009712648124896970078050417018260538
  117. 74324986199524741059474233309513058123726617309629
  118. 91942213363574161572522430563301811072406154908250
  119. 23067588207539346171171980310421047513778063246676
  120. 89261670696623633820136378418383684178734361726757
  121. 28112879812849979408065481931592621691275889832738
  122. 44274228917432520321923589422876796487670272189318
  123. 47451445736001306439091167216856844588711603153276
  124. 70386486105843025439939619828917593665686757934951
  125. 62176457141856560629502157223196586755079324193331
  126. 64906352462741904929101432445813822663347944758178
  127. 92575867718337217661963751590579239728245598838407
  128. 58203565325359399008402633568948830189458628227828
  129. 80181199384826282014278194139940567587151170094390
  130. 35398664372827112653829987240784473053190104293586
  131. 86515506006295864861532075273371959191420517255829
  132. 71693888707715466499115593487603532921714970056938
  133. 54370070576826684624621495650076471787294438377604
  134. 53282654108756828443191190634694037855217779295145
  135. 36123272525000296071075082563815656710885258350721
  136. 45876576172410976447339110607218265236877223636045
  137. 17423706905851860660448207621209813287860733969412
  138. 81142660418086830619328460811191061556940512689692
  139. 51934325451728388641918047049293215058642563049483
  140. 62467221648435076201727918039944693004732956340691
  141. 15732444386908125794514089057706229429197107928209
  142. 55037687525678773091862540744969844508330393682126
  143. 18336384825330154686196124348767681297534375946515
  144. 80386287592878490201521685554828717201219257766954
  145. 78182833757993103614740356856449095527097864797581
  146. 16726320100436897842553539920931837441497806860984
  147. 48403098129077791799088218795327364475675590848030
  148. 87086987551392711854517078544161852424320693150332
  149. 59959406895756536782107074926966537676326235447210
  150. 69793950679652694742597709739166693763042633987085
  151. 41052684708299085211399427365734116182760315001271
  152. 65378607361501080857009149939512557028198746004375
  153. 35829035317434717326932123578154982629742552737307
  154. 94953759765105305946966067683156574377167401875275
  155. 88902802571733229619176668713819931811048770190271
  156. 25267680276078003013678680992525463401061632866526
  157. 36270218540497705585629946580636237993140746255962
  158. 24074486908231174977792365466257246923322810917141
  159. 91430288197103288597806669760892938638285025333403
  160. 34413065578016127815921815005561868836468420090470
  161. 23053081172816430487623791969842487255036638784583
  162. 11487696932154902810424020138335124462181441773470
  163. 63783299490636259666498587618221225225512486764533
  164. 67720186971698544312419572409913959008952310058822
  165. 95548255300263520781532296796249481641953868218774
  166. 76085327132285723110424803456124867697064507995236
  167. 37774242535411291684276865538926205024910326572967
  168. 23701913275725675285653248258265463092207058596522
  169. 29798860272258331913126375147341994889534765745501
  170. 18495701454879288984856827726077713721403798879715
  171. 38298203783031473527721580348144513491373226651381
  172. 34829543829199918180278916522431027392251122869539
  173. 40957953066405232632538044100059654939159879593635
  174. 29746152185502371307642255121183693803580388584903
  175. 41698116222072977186158236678424689157993532961922
  176. 62467957194401269043877107275048102390895523597457
  177. 23189706772547915061505504953922979530901129967519
  178. 86188088225875314529584099251203829009407770775672
  179. 11306739708304724483816533873502340845647058077308
  180. 82959174767140363198008187129011875491310547126581
  181. 97623331044818386269515456334926366572897563400500
  182. 42846280183517070527831839425882145521227251250327
  183. 55121603546981200581762165212827652751691296897789
  184. 32238195734329339946437501907836945765883352399886
  185. 75506164965184775180738168837861091527357929701337
  186. 62177842752192623401942399639168044983993173312731
  187. 32924185707147349566916674687634660915035914677504
  188. 99518671430235219628894890102423325116913619626622
  189. 73267460800591547471830798392868535206946944540724
  190. 76841822524674417161514036427982273348055556214818
  191. 97142617910342598647204516893989422179826088076852
  192. 87783646182799346313767754307809363333018982642090
  193. 10848802521674670883215120185883543223812876952786
  194. 71329612474782464538636993009049310363619763878039
  195. 62184073572399794223406235393808339651327408011116
  196. 66627891981488087797941876876144230030984490851411
  197. 60661826293682836764744779239180335110989069790714
  198. 85786944089552990653640447425576083659976645795096
  199. 66024396409905389607120198219976047599490197230297
  200. 64913982680032973156037120041377903785566085089252
  201. 16730939319872750275468906903707539413042652315011
  202. 94809377245048795150954100921645863754710598436791
  203. 78639167021187492431995700641917969777599028300699
  204. 15368713711936614952811305876380278410754449733078
  205. 40789923115535562561142322423255033685442488917353
  206. 44889911501440648020369068063960672322193204149535
  207. 41503128880339536053299340368006977710650566631954
  208. 81234880673210146739058568557934581403627822703280
  209. 82616570773948327592232845941706525094512325230608
  210. 22918802058777319719839450180888072429661980811197
  211. 77158542502016545090413245809786882778948721859617
  212. 72107838435069186155435662884062257473692284509516
  213. 20849603980134001723930671666823555245252804609722
  214. 53503534226472524250874054075591789781264330331690
  215. } ;
  216. PRIVATE>
  217. : euler013 ( -- answer )
  218. source-013 sum number>string 10 head string>number ;
  219. ! [ euler013 ] 100 ave-time
  220. ! 0 ms ave run time - 0.31 SD (100 trials)
  221. SOLUTION: euler013