Actually I think deleting the is_functions deserves it's own thread,
so ignore my last message and see:
http://groups.google.com/group/sage-devel/browse_thread/thread/e8c2470e270f616b
-Jim
On Tue, Mar 27, 2012 at 10:06 AM, Starx wrote:
> There are 260 functions defined in Sage of the form def is
There are 260 functions defined in Sage of the form def is_Name(x)
where Name starts with a capitol letter (my script didn't count the
cdef functions so there might actually be more). Of those 110 of them
simply return isinstance(x, Name) and I think those 110 can definitely
be deleted. Deleting
> 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
--