The url above is a link to the ecls-list post where upstream acknowledge the bug. The bug is more clearly described here: http://www.math.utexas.edu/pipermail/maxima/2011/023868.html I will attach a patch derived from the commit solving this bug upstream. It applies cleanly and solve the bug. It has been tested in the sage-on-gentoo overlay. http://ecls.git.sourceforge.net/git/gitweb.cgi?p=ecls/ecl;a=commit;h=ce19c67a1b9f63cd232e7c0a621b6ca87aaa7214
Created attachment 264657 [details, diff] fix the typo causing numerical constants in logical expressions not to be determined correctly. here the cherry-picked patch
(In reply to comment #1) > here the cherry-picked patch Thanks, revbumped in cvs