Hello Michael thanks for this.
Mathematica allows you to specify the metric by which you measure simplicity (actually, it's called "ComplexityFunction" and IIRC there are five or six builtins). As for sage, how about just counting the number of calls to psi()? This would just be an integer, with "small" being Good. This would make sense because the psi function is difficult to evaluate. Is this crazy enough for you? ;-) best wishes; keep me posted! Robin On Jul 14, 3:23 am, Michael Orlitzky <mich...@orlitzky.com> wrote: > On 07/12/11 22:07, robin wrote: > > > Hi again > > > [replying to self] > > > I didn't make myself clear here. What I meant to ask was, I think, > > > "Look, sage doesn't seem to know this fact about psi(). Does sage > > store a list of known facts about the psi function anywhere? > > > Because, if it does, I would like to suggest that the following list > > of identities > > be added to sage's list, so that this simplification works nicely". > > Sage calls out to Maxima for all of the simplify_foo() functions. It > wouldn't be too hard to tell Sage about the identity and make the > substitution yourself (I was going to attempt it), but doing so is > dependent on having some notion of "simpler" since you don't want it to > return a more complicated expression. > > If there isn't one, I will probably try to think up a crazy heuristic. -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
