Ejercicio 18

18)
problema EliminarEtiqueta (e:Etiqueta, s:SA) = result:SA
asegura If ¬en(e, etiquetas(s)) Then
(result == s Else ( ( ¥ t ← temas (result)) ¬en(e,etiquetas(t)))
y ( mismos ( cons(e, etiquetas(result), s)
y ( ¥ i ← [0...|etiquetas(s)|), i < ordenE(e,s)) etiquetas(s)[i] == etiquetas(result)[i]
y ( ¥ i ← [0...|etiquetas(s)|), i > ordenE(e,s)) etiquetas(s)[i] == etiquetas(result)[i-1])
}


/// los puse en orden porq son muchos y en una sola clausula,... entiendanme son las 4 am.. :p

No entiendo bien que quisiste ayer, yo tampoco estoy en mis mejores estado a pesar de ser un horario razonable.
Pero yo haría algo así... pero con todos los observadores :
asegura (en(e,etiquetas(s))--->mismos(etiquetas(s),etiquetas(result)++e);
asegura (¬en(e,etiquetas(s))--->mismos(etiquetas(s),etiquetas(result));

donde dice ayer, leasé hacer

caste acordate que es importante el orden en las etiqeutas del sistema de archivos. por q a partir de ese orden se los ordena a los temas. por eso es importante. q si la eliminas no cambies el orden.

Lo que quise hacer fue lo siguiente:

problema EliminarEtiqueta (e:Etiqueta, s:SA) = result:SA
asegura If ¬en(e, etiquetas(s)) Then
(result == s Else ( ( ¥ t ← temas (result)) ¬en(e,etiquetas(t)))
y ( mismos ( cons(e, etiquetas(result), etiquetas(s))
y ( ¥ i ← [0...|etiquetas(s)|), i < ordenE(e,s)) etiquetas(s)[i] == etiquetas(result)[i]
y ( ¥ i ← [0...|etiquetas(s)|), i > ordenE(e,s)) etiquetas(s)[i] == etiquetas(result)[i-1])
}

Lo que esta en negrita es todo lo q tengo q asegurar si lo modifico... entonces hago un if then else para q no haga nada en el caso de q la etiqueta no este, y si esta, aseguro lo siguiente:
o) Para todos los temas, ninguno tiene esa etiqueta.
o) La lista de etiquetas nueva mas la etiqueta q saque tiene los mismos elementos q la lista vieja
o) Para todas las etiquetas que estaban antes q e las deja igual, y para todas las q estaban despues las corre un lugar a la izquierda (asi mantengo el orden de etiquetas q tenia antes)

me gusto