Besides, I somewhat doubt that you want the category of sets - the objects would be *arbitrary* sets then. I am guessing that you want to consider only subsets of complex numbers, perhaps together with infinity, right? Or do you want finite fields, too?
Martin Am Sonntag, 31. Dezember 2017 08:32:06 UTC+1 schrieb Ralf Stephan: > > 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.
