E-graphs are something we looked at a bit back when we did our CZI grant application. I think we came to the conclusion that they are too slow to be useful for the core, but I agree that they are interesting for use in code generation optimization applications.
Aaron Meurer On Thu, Mar 20, 2025 at 9:21 AM Jason Moore <[email protected]> wrote: > > Hi, > > I just saw this: > > https://vectorfold.studio/blog/egglog > > and thought it might be interesting for our code generation tools. I haven't > read it deeply enough to understand if it is directly useful, but the E-graph > representation and rewrites for computational efficiency could give ideas of > how to improve our code generation optimizations. > > Jason > moorepants.info > +01 530-601-9791 > > -- > 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 [email protected]. > To view this discussion visit > https://groups.google.com/d/msgid/sympy/CAP7f1AgXM0dkW_fd3mN3aM%3Dm0WuLMXWVPg6TaKKCLBRePT0HCQ%40mail.gmail.com. -- 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 [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6J6qX1O2UGiVR11RTVuZ_pJbCpso_TXnetgWah7WNFEXw%40mail.gmail.com.
