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 <[email protected]> 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 <[email protected]> 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 <[email protected]> >> 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 [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. >>> >> >> -- >> 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. > > -- > 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. > -- 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.
