Comment #3 on issue 3231 by [email protected]: Intersections of TransformationSets with monotonic expressions
http://code.google.com/p/sympy/issues/detail?id=3231
Even if it weren't monotonic, Interval(0, 10).intersect(S.Naturals) is finite, so you could just call solve(x**2 - n, x) for n in {1, 2, ... 10} and filter out those solutions that are not integers. The more general case becomes tricky because solve doesn't always find a solution when it exists, and the assumptions system doesn't always determine if an expression belongs to a given set (in this case, the positive integers). But we could be conservative at least for now and raise NotImplemented error if either solve or the assumption system can't do it.
-- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy-issues?hl=en.
