moessner_miracle.sf 1.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061
  1. #!/usr/bin/ruby
  2. # Daniel "Trizen" Șuteu
  3. # Date: 23 July 2021
  4. # https://github.com/trizen
  5. # Simple implementation of the Moessner extension for computing k-th powers of integers and factorials, using only addition.
  6. # See also the following Mathlogger video:
  7. # The Moessner Miracle. Why wasn't this discovered for over 2000 years?
  8. # https://www.youtube.com/watch?v=rGlpyFHfMgI
  9. func moessner(n, k=2) {
  10. var arr = @(1..n)
  11. for (true; k > 1; --k) {
  12. arr = gather {
  13. var acc = 0
  14. arr.each_kv {|i,v|
  15. if (!(k `divides` (i+1))) {
  16. take(acc += v)
  17. }
  18. }
  19. }
  20. }
  21. return arr
  22. }
  23. say moessner(20, 2) #=> [1, 4, 9, 16, 25, 36, 49, 64, 81, 100]
  24. say moessner(20, 3) #=> [1, 8, 27, 64, 125, 216, 343]
  25. say moessner(20, 4) #=> [1, 16, 81, 256, 625]
  26. say moessner(20, 5) #=> [1, 32, 243, 1024]
  27. func moessner_factorial(n) {
  28. var arr = @(1..n)
  29. var factorials = []
  30. while (arr.len) {
  31. factorials << arr.head
  32. arr = gather {
  33. var acc = 0
  34. arr.each_kv {|k,v|
  35. if (!is_polygonal(k+1, 3)) {
  36. take(acc += v)
  37. }
  38. }
  39. }
  40. }
  41. return factorials
  42. }
  43. say ''
  44. say moessner_factorial(polygonal(14, 3)) #=> [1, 2, 6, 24, 120, 720, 5040, 40320, 362880, 3628800, 39916800, 479001600, 6227020800, 87178291200]