MathGroup Archive 2007

[Date Index] [Thread Index] [Author Index]

Search the Archive

PolyLogs

  • To: mathgroup at smc.vnet.net
  • Subject: [mg77339] PolyLogs
  • From: dimitris <dimmechan at yahoo.com>
  • Date: Thu, 7 Jun 2007 03:42:03 -0400 (EDT)

Hello.

The following is part from my answer in another forum.

In[602]:=
o = -(Pi^2/12) - ArcSinh[1]*Log[68 - 48*Sqrt[2]] + I*Pi*Log[3 -
2*Sqrt[2]] - (1/2)*Log[3 - 2*Sqrt[2]]^2 +
    4*PolyLog[2, 2 - Sqrt[2]] - PolyLog[2, 3 + 2*Sqrt[2]] - Log[1 +
Sqrt[2]]^2;

In[603]:=
Developer`ZeroQ[o] (*version 5.2*)
Out[603]=
True

However ZeroQ uses internally numerical evaluations so that its
application can be considered
as "...an plausibility argument but not a rigorous proof..." (I
adopted this quote from Daniel Lichtblau).

Can anyone really show within Mathematica that above expression
simplifies really to 0?

Dimitris



  • Follow-Ups:
  • Prev by Date: Re: How to show the plot in Module[{}, ]?
  • Next by Date: Re: Polynomial as a List
  • Previous by thread: Re: Customising syntax colouring
  • Next by thread: Re: PolyLogs