On May 4, 2009, at 11:19 AM, kcrisman wrote:

>
>> Actually, Dokchitser's algorithm only handles functions with finitely
>> many poles, so it won't be able to handle this if L(s) = 1/zeta(s).
>
> Yes, the series which comes from Moebius mu ends up being 1/zeta,
> essentially "because" mu is the Dirichlet inverse of the unit function
> u (where u(n)=1 for all n).  The Euler product makes this trivial by
> hand as well, but I didn't know if the computer also could do that
> manipulation, similarly to when one "verifies" that diff(x^3,x)==3*x^2
> with Sage to show it at least does the right thing for obvious
> examples.
>
> Hmm, so what now?  I would have tried using lcalc but it doesn't seem
> to have a way to accept input of this type.  I really just want to
> show a few values/graph this function.

Given that it's a theorem that (your) L(s) = 1/zeta(s), then just  
plot 1/zeta(s).

- Robert


--~--~---------~--~----~------------~-------~--~----~
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
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to