On Wed, Jan 20, 2016 at 10:11 PM, Nils Bruin <nbr...@sfu.ca> wrote: > On Wednesday, January 20, 2016 at 9:25:59 PM UTC-8, Buck Evan wrote: >> >> I've written up a proposal in this google document, and set it to be >> globally readable, commentable. >> >> >> https://docs.google.com/document/d/1zEzIz0TCgC1aEKCQmHQkI5EVLlRnwsvrZOnAAClUcdM/edit# >> >> >> I have the next couple of weeks to try to get (parts of) this implemented. >> Let me know which parts are most/least disagreeable, if you would. > > There is already a ticket that significantly overlaps in scope: > > http://trac.sagemath.org/ticket/16697 > > It even has comment from someone who shares your name. > > In general, for functions like the "regularized" gamma function, the best > you can probably do for "canonical" simplification is always write it as a > quotient of (incomplete) gamma functions (assuming that a=s, otherwise I > don't understand the relations you list). Also be aware that any nontrivial > application of rewrite rules for special functions currently happens > entirely in Maxima or sympy, so implementing anything for simplification > will be easiest by directly contributing to one of those.
Or maybe pynac? > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
