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

Closed 17 years ago

#346 closed defect (fixed)

1+1+1 Not Equal SetSun(SetOfReal(1,1,1))

Reported by: asalafranca Owned by: Víctor de Buen Remiro
Priority: normal Milestone:
Component: Math Version: head
Severity: normal Keywords:
Cc:

Description

Set s = SetOfReal(1,1,1);
Real If (SetSum(s) == 3, 1, 2);
Real If (1+1+1 == 3, 1, 2);

Change History (6)

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

Owner: changed from danirus to Víctor de Buen Remiro

comment:2 Changed 18 years ago by imendez

Curious, if you add a line:

Set s = SetOfReal(1,1,1);
Real SetSum(s);
Real If (SetSum(s) == 3, 1, 2);
Real If (1+1+1 == 3, 1, 2);

It works right.

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

Resolution: → remind
Status: new → closed

This bug is due to the inconsistence of language and cannot be solved without a deep and extended change of almost all internal code.

However, it has been easy to display an error

Error: There are non Text objects in the set argument of function Text SetSum

that can helps user to write code in a non ambiguous way.

A test has been added to tol_tests/tol/Bugzilla/bug_000346

comment:4 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_000346

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

Resolution: remind
Status: closed → reopened

comment:6 Changed 17 years ago by Víctor de Buen Remiro

Resolution: → fixed
Status: reopened → closed
Note: See TracTickets for help on using tickets.