Pull -> Push

template/auxiliares.tex

@@ -10,3 +10,5 @@
 \aux{primeros}{l: [(T,S)]}{[T]}{\comp{prm(x)}{x \selec l}}
 \aux{reverso}{l: [T]}{[T]}{\comp{l_{\longitud{x}-i-1}}{i \selec [0.. \longitud{l})}}
 \aux{sacarRepetidos}{l: [T]}{[T]}{\comp{l_i}{i \selec [0.. \longitud{l}), l_i \notin l_{[0..i)}}}
+
+

template/auxiliaresTipos.tex

@@ -8,6 +8,15 @@
 \aux{ordenada}{l:[T]}{\bool}{(\forall i \selec [0.. \longitud{l}-1)) l_i \leq l_{i+1}}
 \aux{sinRepetidos}{l: [T]}{\bool}{(\forall i, j \selec [0.. \longitud{l}), i \neq j) l_i \neq l_j}
 
+%agregadas por nosotros
+\aux{maximoLista}{ls:[\ent]}{\ent}{[x|x\leftarrow ls, (\forall y \leftarrow ls) x \geq y][0]}
+\aux{cuenta}{x:T, a:[T]}{\ent}{|([y | y \leftarrow a, y == x])|} 
+\aux{mismos}{a:[t], b:[T]}{Bool}{|a|==|b| \wedge (\forall c \leftarrow a) cuenta(c,a) == cuenta(c,b)}
+\aux{listaDoping}{c:competencia, a:[atleta]}{[atleta]}{[x | x \leftarrow a, leDioPositivo(c,x)]}
+\aux{todasLasCompetencias}{j:JJOO}{[competencia]}{[x | y \leftarrow [1..cantDias(j)], x \leftarrow cronogramas(j,y) ] }
+\aux{listaNacionalidadesAtletas}{j: JJOO}{[Pais]}{[nacionalidad(at) | at \leftarrow atletas(j)]}
+\aux{sacarRepeticiones}{ls : [T]}{[T]}{[ls[x] | x \leftarrow [0..|ls|-1], \neg en(ls[x], ls[0..x-1])]}
+\aux{listaPaises}{j:JJOO}{[Pais]}{sacarRepeticiones(listaNacionalidadesAtletas(j))}
 
 
 

template/templateTP.log

@@ -1,4 +1,4 @@
-This is pdfTeX, Version 3.14159265-2.6-1.40.15 (TeX Live 2015/dev/Debian) (preloaded format=pdflatex 2016.9.3)  4 SEP 2016 21:45
+This is pdfTeX, Version 3.14159265-2.6-1.40.15 (TeX Live 2015/dev/Debian) (preloaded format=pdflatex 2016.9.3)  4 SEP 2016 23:41
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -348,7 +348,7 @@ File: umsb.fd 2013/01/14 v3.01 AMS symbols B
 (./tipos/competencia.tex [1
 
 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]) (./tipos/jjoo.tex [2])
-Overfull \hbox (12.46289pt too wide) in paragraph at lines 122--122
+Overfull \hbox (12.46289pt too wide) in paragraph at lines 121--121
  \OT1/cmr/m/n/10 [Atleta] = $[\OML/cmm/m/it/10 atl\OMS/cmsy/m/n/10 j\OML/cmm/m/
 it/10 dia \OMS/cmsy/m/n/10   \OT1/cmr/m/n/10 [1\OML/cmm/m/it/10 ::cantDias\OT1/
 cmr/m/n/10 (\OML/cmm/m/it/10 j\OT1/cmr/m/n/10 )]\OML/cmm/m/it/10 ; comp \OMS/cm
@@ -360,7 +360,7 @@ t/10 comp\OT1/cmr/m/n/10 ))]$\OT1/cmr/bx/n/10 ;
  []
 
 [3] [4]
-Overfull \hbox (6.0771pt too wide) in paragraph at lines 246--246
+Overfull \hbox (6.0771pt too wide) in paragraph at lines 240--240
  \OML/cmm/m/it/10 ifthenelse\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 contar\OT1/cmr/m/
 n/10 (\OML/cmm/m/it/10 cab\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 mejoresPaises\OT1/c
 mr/m/n/10 (\OML/cmm/m/it/10 j\OT1/cmr/m/n/10 ))) ==  1  \OMS/cmsy/m/n/10 ^  j\O
@@ -377,7 +377,7 @@ LaTeX Info: Redefining \% on input line 6.
 Here is how much of TeX's memory you used:
  3624 strings out of 494958
  49091 string characters out of 6179387
- 128894 words of memory out of 5000000
+ 129894 words of memory out of 5000000
  6769 multiletter control sequences out of 15000+600000
  7923 words of font info for 31 fonts, out of 8000000 for 9000
  40 hyphenation exceptions out of 8191
@@ -395,7 +395,7 @@ s/cm/cmss10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/c
 msy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.p
 fb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></u
 sr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
-Output written on templateTP.pdf (6 pages, 164212 bytes).
+Output written on templateTP.pdf (6 pages, 164215 bytes).
 PDF statistics:
  79 PDF objects out of 1000 (max. 8388607)
  56 compressed objects within 1 object stream

template/templateTP.tex

@@ -39,7 +39,6 @@
 	\asegura{res \in deportes(a)}
 	\asegura{capacidad(a,res)==maximoLista(listarCapacidades(a))}
 	\aux{listarCapacidades}{a:Atleta}{[\ent]}{[capacidad(a,x) | x \leftarrow deportes(a) ]}
-	\aux{maximoLista}{ls:[\ent]}{\ent}{[x|x\leftarrow ls, (\forall y \leftarrow ls) x \geq y][0]}
 \end{problema}
 
 %Seen by martu
@@ -126,10 +125,6 @@
 \begin{problema}{medallero}{j: JJOO}{[(Pais, [\ent])]}
 	\asegura{mismos(result, sacarSinMedallas(crearMedallero(j)))}
 	\asegura{medalleroOrdenado(result)}
-	\aux{listaNacionalidadesAtletas}{j: JJOO}{[Pais]}{[nacionalidad(at) | at \leftarrow atletas(j)]}
-	\aux{sacarRepeticiones}{ls : [T]}{[T]}{[ls[x] | x \leftarrow [0..|ls|-1], \neg en(ls[x], ls[0..x-1])]}
-	\aux{listaPaises}{j: JJOO}{[Pais]}{sacarRepeticiones(listaNacionalidadesAtletas(j))}
-	\aux{cuenta}{x: T, a: [T]}{\ent}{|[y | y \leftarrow a, y == x]|}
 	\aux{nacionalidadPrimerosTres}{c:Competencia}{[Pais]}{\newline
 	[ifthenelse(i \leq |ranking (c)|-1, nacionalidad(ranking(c)[i]), "Narnia") | i \leftarrow [0..2]]}
 	\aux{ganadoresMTotales}{M: \ent, j: JJOO}{[Pais]}{\newline
@@ -167,7 +162,6 @@
 		[x | x \leftarrow participantes(competenciaFiltrada(pre(j),cat)), nacionalidad(x) \neq p])}
 	\asegura{ res == |[x | comp \leftarrow todasLasCompetencias(pre(j)),\newline
 		x \leftarrow participantes(comp), (categoria(comp) == cat \wedge nacionalidad(x) == p)]|}
-	\aux{todasLasCompetencias}{j:JJOO}{[competencia]}{[x | y \leftarrow [1..cantDIas(j)], x \leftarrow cronogramas(j,y) ] }
 	\aux{competenciaFiltrada}{j:JJOO, c:(deporte,sexo)}{competencia}{
 		\newline cab( [x | x \leftarrow todasLasCompetencias(j), c== categoria(x) ] )}
 \end{problema}
@@ -315,7 +309,6 @@
 		| comp \leftarrow cronograma(j,jornadaActual(j))])}
 	\aux{capacidadEnOrden}{x: \ent, c:Competencia}{Bool}{\newline
 	capacidad(ranking(c)[x], prm(categoria(c))) \geq capacidad(ranking(c)[x + 1], prm(categoria(c)))}
-	\aux{listaDoping}{c:Competencia, a:[Atleta]}{[Atleta]}{[x|x \leftarrow a, leDioPositivo(c, x)]}
 \end{problema}
 
 \section{Auxiliares}