a-conjecture-of-mine

An exercise on polyglossy: the same problem solved on multiple languages

commit 925bec27a0f8fadc7ea1260a3e4714d45422a7cc
parent 232f6d2a6fe228746645816ef71fb7c2ec674c1c
Author: Pablo Escobar Gaviria <gark.garcia@protonmail.com>
Date:   Wed,  5 Feb 2020 20:14:07 -0200

Formatted the Ruby implementation.

Diffstat:
AExtra/brainfuck/main.bf | 22++++++++++++++++++++++
Mscript.rb | 3++-
2 files changed, 24 insertions(+), 1 deletion(-)
diff --git a/Extra/brainfuck/main.bf b/Extra/brainfuck/main.bf
@@ -0,0 +1,22 @@
+[This script is a simple test for the following conjecture:]
+
+[Let S: N -> N be the sum of the digits of a positive integer.]
+[For all A and B in N, S(A + B) = S(A) + S(B) - 9k, where k is an interger.]
+
+[The value of `a` is stored in `#1`]
+[The value of `b` is stored in `#2`]
+[The value of `c` is stored in `#3`]
+[The adress `#4` is used as a temporara variable]
+>[
+    Copy the value of `a` to `b`
+    >>>[-]
+    <<[-]
+    <[>+>>+<<<-]
+    >>>[<<<+>>>-]
+
+    [
+       I give up      
+    ]
+    -
+]
+
diff --git a/script.rb b/script.rb
@@ -19,7 +19,7 @@ end
 def get_sums(max)
     output = []
     
-    for i in 0..((max + 1) * 2)
+    for i in 0..(2 * max + 1)
         output << sum_digits(i)
     end
 
@@ -41,3 +41,4 @@ def counterexempl(max)
 
     return false
 end
+