Hi, a formal symbolic "element of" function is necessary to represent solver results from SymPy. The second parameter to it would be a set, i.e., one of the usual domains used in calculus, or a finite set of numbers. This needs conversion of sets to the symbolic ring.
The problem is: "r" (the R interpreter object), as well as other interpreters, is in the Sets category too, and converting it to symbolic should raise an error. How can interpreters be differentiated from domain sets, if not by category? See https://trac.sagemath.org/ticket/24171 for further details. Regards, -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
