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. -- 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.
