Main Page | Report this Page
 
   
Science Forum Index  »  Math - Symbolic Forum  »  An exact simplification challenge - 15
Page 1 of 1    
Author Message
Vladimir Bondarenko
Posted: Sat Jun 02, 2007 8:23 am
Guest
Hello the computer algebra fans,

Is there a person who can show in steps using a
CAS how to simplify the following expression

sqrt(32)*arctan(1/sqrt(2))+LerchPhi(-1/2,1,3/2)

?

Best wishes,

Vladimir Bondarenko

VM and GEMM architect
Co-founder, CEO, Mathematical Director

http://www.cybertester.com/ Cyber Tester, LLC
http://maple.bug-list.org/ Maple Bugs Encyclopaedia
http://www.CAS-testing.org/ CAS Testing
David W. Cantrell
Posted: Sat Jun 02, 2007 9:30 am
Guest
Vladimir Bondarenko <vb@cybertester.com> wrote:
Quote:
Hello the computer algebra fans,

Is there a person who can show in steps using a
CAS how to simplify the following expression

sqrt(32)*arctan(1/sqrt(2))+LerchPhi(-1/2,1,3/2)

?

Using Mathematica 5.2:

In[1]:= Simplify[Sqrt[32]*ArcTan[1/Sqrt[2]] + LerchPhi[-1/2, 1, 3/2]]

Out[1]= 4

David
dimitris
Posted: Sat Jun 02, 2007 10:08 am
Guest
Hi Vladimir.

I don't see a challenge here.
Various functions in Mathematica can be used

In[111]:=
o = Sqrt[32]*ArcTan[1/Sqrt[2]] + LerchPhi[-2^(-1), 1, 3/2]
Out[111]=
4*Sqrt[2]*ArcTan[1/Sqrt[2]] - 2*(-2 + 2*Sqrt[2]*ArcTan[1/Sqrt[2]])

In[112]:=
Through[{TrigExpand, Simplify, TrigFactor, TrigToExp, FullSimplify}
[o]]
Out[112]=
{4, 4, 4, 4, 4}

Dimitris

/ Vladimir Bondarenko :
Quote:
Hello the computer algebra fans,

Is there a person who can show in steps using a
CAS how to simplify the following expression

sqrt(32)*arctan(1/sqrt(2))+LerchPhi(-1/2,1,3/2)

?

Best wishes,

Vladimir Bondarenko

VM and GEMM architect
Co-founder, CEO, Mathematical Director

http://www.cybertester.com/ Cyber Tester, LLC
http://maple.bug-list.org/ Maple Bugs Encyclopaedia
http://www.CAS-testing.org/ CAS Testing
Vladimir Bondarenko
Posted: Sat Jun 02, 2007 11:30 am
Guest
On Jun 2, 8:08 am, dimitris <dimmec...@yahoo.com> writes:

DA> I don't see a challenge here.

Hi Dimitris,

You are absolutely right that this simplification
presents no challenge for Mathematica at all. I
do realize this fact and enjoy the powers behind
Mathematica.

In fact, over a decade Mathematica cracks this in
a split of a second.

I hear often that Maple is so much strong. This is
a myth. And now the time is coming to put, without
bias, Mathematica and Maple on the balance of
comparison. (In fact, this would take millions
of comparisons etc)

I just meant that some Maple persons would try to
handle this.



Quote:
Hi Vladimir.

I don't see a challenge here.
Various functions in Mathematica can be used

In[111]:=
o = Sqrt[32]*ArcTan[1/Sqrt[2]] + LerchPhi[-2^(-1), 1, 3/2]
Out[111]=
4*Sqrt[2]*ArcTan[1/Sqrt[2]] - 2*(-2 + 2*Sqrt[2]*ArcTan[1/Sqrt[2]])

In[112]:=
Through[{TrigExpand, Simplify, TrigFactor, TrigToExp, FullSimplify}
[o]]
Out[112]=
{4, 4, 4, 4, 4}

Dimitris

/ Vladimir Bondarenko :

Hello the computer algebra fans,

Is there a person who can show in steps using a
CAS how to simplify the following expression

sqrt(32)*arctan(1/sqrt(2))+LerchPhi(-1/2,1,3/2)

?

Best wishes,

Vladimir Bondarenko

VM and GEMM architect
Co-founder, CEO, Mathematical Director

http://www.cybertester.com/ Cyber Tester, LLC
http://maple.bug-list.org/ Maple Bugs Encyclopaedia
http://www.CAS-testing.org/ CAS Testing
Mate
Posted: Sat Jun 02, 2007 1:10 pm
Guest
On Jun 2, 4:23 pm, Vladimir Bondarenko <v...@cybertester.com> wrote:
Quote:
Hello the computer algebra fans,

Is there a person who can show in steps using a
CAS how to simplify the following expression

sqrt(32)*arctan(1/sqrt(2))+LerchPhi(-1/2,1,3/2)


convert(%,compose,hypergeom,elementary);
4


Mate
 
Page 1 of 1       All times are GMT - 5 Hours
The time now is Thu Jan 08, 2009 1:06 am