looks to me like you should use some kind of decision procedure that gets
the right answer.
Apparently you are using some part of maxima that does numerical
evaluation, which part is inappropriate for this use.
maybe
is(equal(sin(1+2^-200),sin(1)));
which returns true. Actually, I'd call that a bug in maxima, and
will report it.

##
Advertising

On Saturday, September 17, 2016 at 5:53:08 AM UTC-7, Ralf Stephan wrote:
>
> In other words your example was correctly determined as undecidable
> in the default domain CIF but Maxima then said the relation is true so
> __nonzero__ took that.
>
> sage: from sage.symbolic.relation import test_relation_maxima
> sage: test_relation_maxima(sin(1 + 2^-200) == sin(1))
> True
>
> This means for serious work not to use __nonzero__()
> at the moment until there is a solution returning three values
> (Yes/No/Maybe) like test_relation() above.
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.