From 1fca1b5e98a2b841451bffad9e9acb61f2ca8f51 Mon Sep 17 00:00:00 2001 From: Shankara Pailoor Date: Fri, 18 Aug 2023 10:21:52 -0500 Subject: [PATCH] BUG FIX: basis2 lemma only valid for bit sizes < 254. --- picus/algorithms/lemmas/basis2-lemma.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/picus/algorithms/lemmas/basis2-lemma.rkt b/picus/algorithms/lemmas/basis2-lemma.rkt index 1f5c985..2c3fc1a 100644 --- a/picus/algorithms/lemmas/basis2-lemma.rkt +++ b/picus/algorithms/lemmas/basis2-lemma.rkt @@ -30,7 +30,7 @@ (values tmp-ks tmp-us) ) -(define basis2-seqs (for/set ([i (range 270)]) +(define basis2-seqs (for/set ([i (range 253)]) (for/set ([j (range (+ 1 i))]) (expt 2 j) ) @@ -207,4 +207,4 @@ ] ) (values tmp-ks tmp-us) -) \ No newline at end of file +)