On Wed, Jan 20, 2016, 22:11 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. >
Yes, that's me. This proposal closed that ticket. 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 > In terms of numerics though, it would be beneficial to get sage to simplify to the regularized function before computation. I can't see how this can happen under the above scheme. (assuming that a=s, otherwise I don't understand the relations you list). > Apologies. That was a faulty find-replace, fixed now. 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. > As William noted, I had hoped pynac would be an option. I don't know whether pynac is allowed to drift in feature set from ginac though. Is it true that sage has no facility for defining identities for simplification, other than drilling down into lower level tools? -- 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.
