nombres menos imbeciles

template/templateTP.tex

@@ -200,23 +200,22 @@
        {\newline [ pais(ranking(c)[a]) | a  \leftarrow [0.. |ranking(c) |-1 ], a <= 2 ]}
 
 	// genera lista de pares con la coordenada de cada (0, 1) \newline
-	\aux{f1}{ls:[\ent]}{[(\ent,\ent)]}
+	\aux{generoTodosLosParesCeroComaUno}{ls:[\ent]}{[(\ent,\ent)]}
 	{[ (c,c1) | c \leftarrow [0..|ls|-1], c1 \leftarrow [c.. |ls|-1], ls[c]==0 \wedge ls[c1]==1 ]}
 
 	//Filtra para que no repita prim() en la lista \newline
-	\aux{f2}{ls:[(\ent,\ent)]}{[(\ent,\ent)]}
+	\aux{uniqPrmLista}{ls:[(\ent,\ent)]}{[(\ent,\ent)]}
 		{[ ls(i) | i \leftarrow [0..|ls|-1], j\leftarrow [i..|ls|-1], prm(ls[i]) \neq prm(ls[j]) ]}
 
 	//Filtra para que no repita sgd() en la lista \newline
-	\aux{f3}{ls:[(\ent,\ent)]}{[(\ent,\ent)]}
+	\aux{uniqSgdLista}{ls:[(\ent,\ent)]}{[(\ent,\ent)]}
 		{[ ls(i) | i \leftarrow [0..|ls|-1], j\leftarrow [i..|ls|-1], sgd(ls[i]) \neq sgd(ls[j]) ]}
 
-	//me da la diferencia de (a,b) como b-a \newline
-	\aux{f4}{ls:[(\ent,\ent)]}{[\ent]}
+	\aux{diferenciaPrmSgd}{ls:[(\ent,\ent)]}{[\ent]}
 		{[ sgd(el) - prm(el) | el \leftarrow ls]}
 	
 	\aux{cerosSeguidos}{ls:[Bool]}{\ent}
-		{max(f4(f3(f2(f1(ls)))))}
+		{\newline max(diferenciaPrmSgd(uniqSgdLista(uniqPrmLista(generoTodosLosParesCeroComaUno(ls)))))}
 \end{problema}
 
 \begin{problema}{transcurrirDia}{j: JJOO}{}