On 03-19-2011, at 12:46 AM, Ronan Lamy wrote: > It's done (sort of). What we actually have is a good system for > propositional logic (with an inconvenient API though) but it needs to be > hooked up with the core and there are missing pieces (indexing the > knowledge base, handling binary predicates,...). > Also, the old assumption system is tightly integrated with the core and > it's difficult to prise it out. I have some code lying around where I > tortuously made a small bit of progress towards that goal - I'll try to > update it and put it on GitHub.
Ugh. Updating the core to use Cython is one thing, overhauling assumptions is a pretty major topic itself. Thanks, Tim. --- Tim Lahey PhD Candidate, Systems Design Engineering University of Waterloo http://about.me/tjlahey -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.