close Warning: Can't synchronize with repository "(default)" (/var/svn/tolp does not appear to be a Subversion repository.). Look in the Trac log for more information.

Opened 14 years ago

Closed 14 years ago

#995 closed defect (fixed)

Classifying the Empty Set

Reported by: Pedro Gea Owned by: Víctor de Buen Remiro
Priority: high Milestone:
Component: Various Version:
Severity: major Keywords:
Cc:

Description

Al clasificar un conjunto sin elementos:

Set Classify(Empty, Compare);

se obtiene como resultado una "clase" sin elementos, cuando se esperaría obtener un conjunto vacío, sin clases.

Esta salida sería especialmente útil así, sobre todo cuando se agrupan elementos por clases sobre las que se espera realizar alguna acción.
Pues se supone que toda clase que devuelve la clasificación siempre tiene algún elemento.

Change History (5)

comment:1 Changed 14 years ago by Pedro Gea

Summary: Classifying de Empty SetClassifying the Empty Set

comment:2 Changed 14 years ago by Víctor de Buen Remiro

Status: newaccepted

Estoy de acuerdo en que tiene sentido, aunque me preocupa que dé problemas de compatibilidad hacia atrás. Hay que pensarlo

comment:3 Changed 14 years ago by Pedro Gea

Hoy he vuelto a encontrarme con unos errores por este motivo. Es incómodo tener que estar recordando que tengo que tener cuidado con Classify y la posibilidad de que le pase el conjunto vacío.

Yo no creo que tenga inconvenientes hacia atrás, ¿a quién se le ocurriría clasificar un conjunto de cero elementos y encontrar uno? Lo más normal es que si alguien se ha encontrado con esto antes ha añadido una comprobación del tipo If(Card(....

comment:4 Changed 14 years ago by Víctor de Buen Remiro

No es que se le ocurra, es que se lo encuentra y retuerce el código para evitarlo, en lugar de poner un ticket como has hecho tú. Yo estoy seguro de haberlo visto en el código de algún proyecto pero no recuerdo en cual. Lo que no estoy seguro es de que al arreglarlo pueda fastidiarle algo o no.

Pensándolo bien, quien haya obrado así merece lo que le pase cuando se arregle así que te voy a hacer caso. Si luego alguien se queja le diremos cómo arreglarlo.

comment:5 Changed 14 years ago by Víctor de Buen Remiro

Resolution: fixed
Status: acceptedclosed

(In [3248]) Fixes #995

Note: See TracTickets for help on using tickets.