Well I was thinking more of taking a piece of c code, but it could be take a python function, grab the code object and manipulate that.
What I really want is to play around with symbolic code optimizations and since we have quite a few tools to go from symbolics to code, it seems easy to do simple things in the other directions. I realize this isn't super well formed but after seeing a number of these symbolic executor papers, I think it is probably a good way to go. -- Andy On Tue, Mar 20, 2012 at 11:28 AM, Aaron Meurer <asmeu...@gmail.com> wrote: > Isn't this just a matter of turning some variables into Symbols and > wrapping your literals in sympify() calls, so that everything comes > out symbolically? > > Aaron Meurer > > On Tue, Mar 20, 2012 at 9:44 AM, Matthew Rocklin <mrock...@gmail.com> wrote: >> I'm confused. >> >> Are you talking about turning a python function into a sympy expression, >> optimizing the sympy expression and then going back? >> >> What's an example use case? >> >> -Matt >> >> >> On Tue, Mar 20, 2012 at 7:52 AM, Andy Ray Terrel <andy.ter...@gmail.com> >> wrote: >>> >>> We have code printer's it would be nice to take a function and turn it >>> into a symbolic expression. This would allow for symbolically >>> exploring optimizations. Lots of publishing on this, I can find a >>> reference or two (John Gunnels thesis is certainly a good read). >>> AFAIK this is how John optimizes codes for IBM and has won him 5 >>> Gordon Bell prizes. >>> >>> -- Andy >>> >>> -- >>> 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. >>> >> >> -- >> 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. > > -- > 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. > -- 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.
