create-base: Add a $\qed$

[topbloke-formulae.git] / ranking.tex

diff --git a/ranking.tex b/ranking.tex
index e705a56c949fa1f9b6b28a3c7ce74bd73f5c3227..3d546608c31815ab462292b32d97f2b8465f3031 100644 (file)
--- a/ranking.tex
+++ b/ranking.tex
@@ -18,17 +18,16 @@ $\alg{Rank-Recurse}(\pc)$ is:
 ranking iteration, do nothing.  Otherwise:
 
 \item Add $\pc$ to $\allpatches$ if it is not there already.
+If it was added, recalculate $\allsrcs$ accordingly.
 
 \item Set
 $$
   \set S \iassign h(\pcn)
-     \cup 
-        \bigcup_{\p \in \allpatches}
-        \bigcup_{H \in h(\pn) \lor H \in h(\py)}
-         \{ \baseof{E} \; | \; E \in \pendsof{H}{\pcy} \}
+     \cup
+         \{ \baseof{E} \; | \; E \in \pendsof{\allsrcs}{\pcy} \}
 $$
 
-and $W \iassign w(h(\pcn))$
+and $W \iassign w(\pcn)$
 
 \item While $\exists_{S \in \set S} S \ge W$,
 update $W \assign S$ and $\set S \assign \set S \, \backslash \{ S \}$
@@ -65,8 +64,6 @@ $$
   }
 $$
 
-TODO define $\setmerge$
-
 \item Finalise our putative direct dependencies
 $
 \Gamma \assign g(\pc, \Gamma)