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

Last modified 19 years ago

#480 closed defect (fixed)

Wrong behaviour of some logic functions involving unknown values

Reported by: imendez Owned by: Víctor de Buen Remiro
Priority: high Milestone:
Component: Math Version: 1.1.5
Severity: major Keywords:
Cc:

Description

This code doesn't work fine:

Real a = Log(0);
Real b = Not(a); returns 1 while should be ?
Real c = If(b, 4, -4); returns nothing and sends an error while should be ?

Regards.

Change History (4)

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

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

Thanks to report

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

Status: new → assigned

We are working about this bug

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

Resolution: → fixed
Status: assigned → closed

Problem ahs been solved in Tol versions 1.1.5 and CVS trunk that you can download for windows in

​http://www.tol-project.org/pub/bin/win/tolbase-1.1.5-setup.exe
​http://www.tol-project.org/pub/bin/win/tolbase-cvstrunk-setup.exe

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

bug_file_loc: → http://cvs.tol-project.org/viewcvs.cgi/tol_tests/tol/Bugzilla/bug_000480

Added new Tol standard test

​http://cvs.tol-project.org/viewcvs.cgi/tol_tests/tol/Bugzilla/bug_000480

Note: See TracTickets for help on using tickets.