X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=ranking.tex;h=3d546608c31815ab462292b32d97f2b8465f3031;hb=HEAD;hp=c5aa008dd9fe893607a6d58be207c6180b42b2ce;hpb=2621bc3962d0f9a3d12b2318aeb3f425fe6a28c7;p=topbloke-formulae.git

diff --git a/ranking.tex b/ranking.tex
index c5aa008..3d54660 100644
--- a/ranking.tex
+++ b/ranking.tex
@@ -27,7 +27,7 @@ $$
          \{ \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 \}$
@@ -64,8 +64,6 @@ $$
   }
 $$
 
-TODO define $\setmerge$
-
 \item Finalise our putative direct dependencies
 $
 \Gamma \assign g(\pc, \Gamma)