Recall that sets mostly lives in the core. In particular I think that Interval and maybe Union have been used in the core for some time and FiniteSet has made itself useful in the last couple years.
On Sun, Mar 16, 2014 at 3:31 PM, Matthew Rocklin <[email protected]> wrote: > > By the way, I didn't know that the sets use exclusively the new > assumptions (assuming that is indeed what you are saying here). > > That is not what I'm saying. S.Integers and S.Naturals use new > assumptions. Most of the logic behind core sets doesn't explicitly think > about assumptions at all. So, perhaps worse, sets implicitly uses some > combination of the two. > > > On Sun, Mar 16, 2014 at 2:16 PM, Harsh Gupta <[email protected]>wrote: > >> Sorry I accidently pushed Send, ( I was unconsciously entering some vim >> commands). Ignore the "For" after the example. >> >> -- >> Harsh >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sympy" 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 http://groups.google.com/group/sympy. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sympy/CADN8iupYZiJoBNQxCiAtg0Y-bXF1fNs2PbQtdh9qvYd765L7Sw%40mail.gmail.com<https://groups.google.com/d/msgid/sympy/CADN8iupYZiJoBNQxCiAtg0Y-bXF1fNs2PbQtdh9qvYd765L7Sw%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> >> For more options, visit https://groups.google.com/d/optout. >> > > -- You received this message because you are subscribed to the Google Groups "sympy" 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 http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAJ8oX-FnZjs4vfBFh%3D2WtMvRdaEM-ndNW%2BqL-rNk5EYQhQ3hVQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
