b in QQ is (or should be) equivalent to QQ(b) not throwing an error. But if that fails, it only means that Sage can't convert it to a rational directly, it is perfectly possible that after a series of (computationally expensive) steps one could transform b into a rational. But if we would always try every possible simplification then Sage would run very slow. Also, if "in" were mathematical equivalence, what should Sage return for zeta(5) in QQ?
-- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org