diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-03-12 08:57:14 +0100 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-03-12 08:57:14 +0100 |
commit | 848bdae1a2ad5495da88edc22db1ce6184eb9ecf (patch) | |
tree | 4cc2962dc5432f3e343e2980a8692e666452918e | |
parent | 79acd5b791f4d6fd5afe6ef00efd2748e3459c53 (diff) | |
download | lsd0004-848bdae1a2ad5495da88edc22db1ce6184eb9ecf.tar.gz lsd0004-848bdae1a2ad5495da88edc22db1ce6184eb9ecf.zip |
modulo
-rw-r--r-- | draft-schanzen-r5n.xml | 12 |
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> |