I am not sure if the following, related to the logic module, will be major/minor contributions. So I am asking here first, before adding to the doc-
1. Addition of SOPform and POSform functions to sympy.logic to generate boolean expressions from truth tables. 2. Addition of simplify_logic function and enabling simplify() to reduce logic expressions to their simplest forms. 3. Addition of bool_equals function to check equality of boolean expressions and return a mapping of variables from one expr to other that leads to the equality. 4. Addition of disjunctive normal form methods - to_dnf, is_dnf On Friday, June 28, 2013 10:26:30 PM UTC+5:30, Matthew wrote: > > We're working on the release at SciPy2013. > > Please help by responding to this e-mail with a brief description of any > contributions you (or others) have made since 0.7.2 (last October). Feel > free to list contributions made by others. > > Alternatively you can add contributions directly to > > https://docs.google.com/document/d/1teb0wYaIw2Ko0n8fbXxNs8oYUyyuaRg-d_5nHFO5w2I/edit?usp=sharing > > Old Release Notes > https://github.com/sympy/sympy/wiki/Release-Notes-for-0.7.2 > > Example of "Major Contribution" > > A physics submodule named machanics was added which assists in formation > of equations of motion for constrained multi-body systems. It is the result > of 3 GSoC projects. Some nontrivial systems can be solved, and examples are > provided.Example of a "Minor Contribution" > Example of a "Minor Contribution" > > In the simplify module, the algorithms for denesting of radicals > (sqrtdenest) and simplifying gamma functions (in combsimp) has been > significantly improved. > -- 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 sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
