One may also look at ways to do this without changing SymPy at all, as is done with the differentiation step-by-step code in SymPy Gamma. One could probably do the whole thing just using Python's builtin tracing functionality, or we could make it a little easier by putting minimal (optional) tracing in some core routines.
Aaron Meurer On Sat, Jan 18, 2014 at 10:03 PM, Matthew Rocklin <mrock...@gmail.com> wrote: > For step-by-step, what about treating this as a logging problem? Lets > forget algorithms like Risch integration that are inherently not > step-by-stepable. I think that a lot of good could come out of decorating > the `_eval_foo` and `eval` methods with the sort of logging/tracing > capability commonly used for debugging. > > > On Sat, Jan 18, 2014 at 6:17 PM, Aaron Meurer <asmeu...@gmail.com> wrote: >> >> For the groups module, we do still need a way to represent groups >> symbolically, not just as a list of permutations. >> >> Aaron Meurer >> >> On Sat, Jan 18, 2014 at 8:09 PM, David Joyner <wdjoy...@gmail.com> wrote: >> > On Sat, Jan 18, 2014 at 8:06 PM, Aaron Meurer <asmeu...@gmail.com> >> > wrote: >> >> The new year is here, and GSoC is right around the corner. >> >> >> >> I've updated some stuff on the GSoC ideas page, including a new idea >> >> relating to the solvers: >> >> https://github.com/sympy/sympy/wiki/gsoc-2014-ideas >> >> >> >> It would be great if any of you have some free time to browse through >> >> the page and remove any stuff that shouldn't be there any more, and >> >> add any stuff that is missing. You should especially do this if you >> >> were a student or mentor last year, as I know a lot of last year's >> >> projects are still on that page. >> > >> > The group theory stuff is out of date. >> > http://docs.sympy.org/latest/modules/combinatorics/perm_groups.html >> > http://docs.sympy.org/latest/modules/combinatorics/named_groups.html >> > http://docs.sympy.org/latest/modules/combinatorics/group_constructs.html >> > I'll try to edit it later. >> >> >> >> Aaron Meurer >> >> >> >> -- >> >> 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. >> > >> > -- >> > 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. >> >> -- >> 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. > > > -- > 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. -- 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.
