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". best wishes Robin On Jul 13, 10:11 am, robin hankin <hankin.ro...@gmail.com> wrote: > Hi. > > The psi function is defined over the entire complex plane. > > But sage doesn't seem to know anything about its properties. > > For example, I happen to know that psi(1-z) == pi/tan(pi*z) + psi(z) > > So I would expect the following sage command: > > sage: (psi(1-z)- psi(z)-pi/tan(pi*z)).full_simplify() > > [complicated expression deleted]. > > to give zero. > > How do I tell sage to simplify this expression? > > -- > Robin Hankin > Uncertainty Analyst > hankin.ro...@gmail.com -- 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
