On 27 Mrz., 10:14, Simon King <simon.k...@uni-jena.de> wrote: > Hi Keshav, > > On 2012-03-26, Keshav Kini <keshav.k...@gmail.com> wrote: > > > Simon King <simon.k...@uni-jena.de> writes: > >> sage: is_Integer(int(5)) > >> False > >> sage: is_Integer(5/1) > >> False > >> sage: int(5) in ZZ > >> True > >> sage: 5/1 in ZZ > >> True > > > Huh. It seems like this is the opposite of what you'd expect, doesn't > > it? "object in object" seems to be a query of whether a certain thing is > > in a certain data structure, > > I couldn't disagree more. "object in object" is a query whether a > certain thing is in a certain *mathematical* structure.
You're probably confusing 'in' and '\in'... ;-) 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.? -leif -- 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
