Le vendredi 23 mars 2012 à 21:56 -0700, Peter Davies a écrit : > I'm a gsoc applicant, who's particularly interested in formal logics > and set theory. I'd be quite interested in working on those sorts of > areas over the summer. It says on the ideas page about logic and set > theory, "This task is heavily tied to the assumptions system.". Does > this mean that coding in this area should wait for revision of the > assumption module? In what sort of way would logic/set theory code be > using the assumptions system?
Actually, it's rather the other way round: the (new-style) assumption system depends heavily on logic. So making sure that improvements to logic translate into improvements to assumptions is an important goal. -- You received this message because you are subscribed to the Google Groups "sympy" 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?hl=en.
