> More importantly, what happens if coercion etc. fails?  Will Sage then
> potentially make false mathematical statements, or raise an
> exception / return "unknown" or "undecidable" etc.


No.  It catches the ValueErrors and TypeErrors, and returns False (so
ZZ['x'].gen() is not in QQ).
David

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to