summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <schanzen@gnunet.org>2022-03-12 08:57:14 +0100
committerMartin Schanzenbach <schanzen@gnunet.org>2022-03-12 08:57:14 +0100
commit848bdae1a2ad5495da88edc22db1ce6184eb9ecf (patch)
tree4cc2962dc5432f3e343e2980a8692e666452918e
parent79acd5b791f4d6fd5afe6ef00efd2748e3459c53 (diff)
downloadlsd0004-848bdae1a2ad5495da88edc22db1ce6184eb9ecf.tar.gz
lsd0004-848bdae1a2ad5495da88edc22db1ce6184eb9ecf.zip
modulo
-rw-r--r--draft-schanzen-r5n.xml12
1 files changed, 6 insertions, 6 deletions
diff --git a/draft-schanzen-r5n.xml b/draft-schanzen-r5n.xml
index 9bb2d5e..8c00c48 100644
--- a/draft-schanzen-r5n.xml
+++ b/draft-schanzen-r5n.xml
@@ -749,7 +749,7 @@ bchar = *(ALPHA / DIGIT)
749 a BF is either "no" or "maybe". 749 a BF is either "no" or "maybe".
750 </t> 750 </t>
751 <t> 751 <t>
752 Bloom filters are defined as a string of <tt>N</tt> bits always 752 Bloom filters are defined as a string of <tt>L</tt> bits always
753 initially empty, consisting only of zeroes. 753 initially empty, consisting only of zeroes.
754 There are two functions which can be invoked on the Bloom filter: 754 There are two functions which can be invoked on the Bloom filter:
755 BF-SET(bf, e) and BF-TEST(bf, e) where "e" is an element which is to 755 BF-SET(bf, e) and BF-TEST(bf, e) where "e" is an element which is to
@@ -763,14 +763,14 @@ bchar = *(ALPHA / DIGIT)
763 </t> 763 </t>
764 <t> 764 <t>
765 When adding an element to the bloom filter <tt>bf</tt> using 765 When adding an element to the bloom filter <tt>bf</tt> using
766 <tt>BF-SET(bf,e)</tt>, each number <tt>n</tt> in the mapping 766 <tt>BF-SET(bf,e)</tt>, each integer <tt>n</tt> of the mapping
767 <tt>M(e)</tt> is interpreted as a bit offset within <tt>bf</tt> and set 767 <tt>M(e)</tt> is interpreted as a bit offset <tt>n mod L</tt> within
768 to 1. 768 <tt>bf</tt> and set to 1.
769 </t> 769 </t>
770 <t> 770 <t>
771 When testing if an element is in the bloom filter <tt>bf</tt> using 771 When testing if an element is in the bloom filter <tt>bf</tt> using
772 <tt>BF-TEST(bf,e)</tt>, each number <tt>n</tt> in the mapping 772 <tt>BF-TEST(bf,e)</tt>, each bit offset <tt>n mod L</tt> within
773 <tt>M(e)</tt> <bcp14>MUST</bcp14> have been set to 1. 773 <tt>bf</tt> <bcp14>MUST</bcp14> have been set to 1.
774 Otherwise, the element is not considered to be in the bloom filter. 774 Otherwise, the element is not considered to be in the bloom filter.
775 </t> 775 </t>
776 </section> 776 </section>