From: Christoph Fuerst <ch.fuerst@gmx.at>
Date: Fri, 14 Apr 2017 16:36:05 +0000 (+0200)
Subject: optimized algorithm
X-Git-Url: http://git.risc.jku.at/gitweb/?a=commitdiff_plain;h=d1341efad092388222b5ee21d8183410f62bbf20;p=cfuerst%2Fformal-numbers.git

optimized algorithm
---

diff --git a/sieveEratosthenes.txt b/sieveEratosthenes.txt
index 4790088..0ae53d4 100644
--- a/sieveEratosthenes.txt
+++ b/sieveEratosthenes.txt
@@ -40,10 +40,9 @@ proc SieveOfErathostenes(m:nat): Array[MAX,Bool]
    {
 	  if ret[i] = true then
 	  {
-             j = i^2;
 	     for k=0;i^2+k*i<MAX;k=k+1 do
 	     {
-                j=i^2+k*i;
+            j=i^2+k*i;
 	        ret[j] = false;
 	     }
 	  }
@@ -82,3 +81,4 @@ proc SieveOfErathostenesSet(m:ℕ[MAX]): Set[ℕ[MAX]]
    return ret;
 }
 
+