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 20 years ago

Closed 20 years ago

Last modified 18 years ago

#254 closed defect (fixed)

Error en la sentencia interseccion de conjuntos

Reported by: icapel Owned by: danirus
Priority: normal Milestone:
Component: SetAlgebra Version: 1.1.2
Severity: normal Keywords:
Cc:

Description

He encontrado un error de concepto en la operación * de tipo Set en TOL

Sirva como ejemplo el siguiente

Set cto1 = "a", "a" ?;
Set cto2 = "a" ?;
inter = cto1 * cto2;

La intersección debería ser una única "a", mientras que TOL me reporta un
cardinal 2 para este conjunto inter, siendo sus elementos "a" repetido en dos
ocasiones.

Change History (3)

comment:1 Changed 20 years ago by danirus

Status: newassigned

comment:2 Changed 20 years ago by danirus

Resolution: fixed
Status: assignedclosed

This error has been resolved.
Sets Intersection must verify if the candidate element was added before.

comment:3 Changed 18 years ago by Víctor de Buen Remiro

bug_file_loc: http://cvs.tol-project.org/viewcvs.cgi/tol_tests/tol/Bugzilla/bug_000254
Note: See TracTickets for help on using tickets.