[lsd0003] branch master updated: formatting

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository lsd0003.

The following commit(s) were added to refs/heads/master by this push:
     new 2a5b2ed  formatting
2a5b2ed is described below

commit 2a5b2edc7643f903d696a01f8368158a6e00e320
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Mon Jun 14 18:44:59 2021 +0200

    formatting
---
 draft-summermatter-set-union.xml | 22 ++++++++++------------
 1 file changed, 10 insertions(+), 12 deletions(-)

diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml
index dd73158..896556d 100644
--- a/draft-summermatter-set-union.xml
+++ b/draft-summermatter-set-union.xml
@@ -2789,31 +2789,29 @@ FUNCTION full_sync_plausibility_check 
(state,rs,lis,rd,rf)
 
     # Make sure that no element is received double when
     # all elements already are transmitted to the oder side.
-    IF (FULL_SENDING == state)
-        IF (rd > 0)
-            RETURN FALSE
-        IF END
-    IF END
+    IF ( (FULL_SENDING == state) && (rd > 0) )
+        RETURN FALSE
+    END IF
 
     # Probabilistic algorithm to check for plausible
     # element distribution
     IF (FULL_RECEIVING == state)
 
-        # Prevent divide by 0
+        # Prevent division by 0
         IF (0 <= rs)
             rs = 1
-        IF END
+        END IF
 
         # Formula to verify plausibility
-        base = (1 - ( rs / (lis + rs)))
-        exponent = (rd - (rf * (lis/rs)))
+        base = 1 - (rs / (lis + rs))
+        exponent = rd - rf * lis / rs
         value = POWER(base, exponent)
         IF ((value < security_level_lb) || (value > SECURITY_LEVEL)
             RETURN FALSE
-        IF END
-    IF END
+        END IF
+    END IF
     RETURN TRUE
-FUNCTION END
+END FUNCTION
                     ]]></artwork>
                 </figure>
             </section>

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.