A summary would indeed help. I have another fear though, that this idea (while enticing) is not largely understood (afaik). This puts the burden of re-working SymPy into mainly your hands, Fredrik, where patching SymPy to work with the new assumptions can be jointly tackled (evidenced by the vast number of branches that exist for doing just that).
On Mon, May 2, 2011 at 1:42 PM, Tom Bachmann <ness...@googlemail.com> wrote: > On 2 Mai, 18:26, Fredrik Johansson <fredrik.johans...@gmail.com> > wrote: > > On Mon, May 2, 2011 at 5:46 PM, Haz <christian.mu...@gmail.com> wrote: > > > Tom: Apologies, but I'm having trouble inferring what you github > username is > > > -- where is the branch? > > > Fredrik: I like the idea, but that seems like a massive shift in the > SymPy > > > core that I don't feel is possible in the time frame that the > assumptions > > > need to be fixed in. > > > > I don't think it's necessarily that much work. The only essential > > thing that needs to be done is to provide every expression object with > > a reference to its parent algebra, and to overwrite sympification to > > convert inputs to have the same parent. Everything else can be > > implemented gradually. The major obstacles ought to be caching and the > > current assumptions -- which need to go anyway. > > > > Would it be too much to ask for a coherent outline of this proposal on > the wiki? (By coherent I don't mean "less confused" but "more > complete".) What you describe indeed sounds nice and clean to me, but > I have difficulty piecing things together (in particular I know e.g. > nothing about sage). > > Tom > > -- > 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.