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

Is there an soul who can come up with a sequence
of a CAS commands comressing this lengthy elliptic
expression

sqrt(sqrt(-Pi)*(
2*EllipticE(1/sqrt(2))
- 2*EllipticE(sqrt(2), 1/sqrt(2))
- EllipticK(1/sqrt(2))
+ EllipticF(sqrt(2),1/sqrt(2))
)
)

into a concise f(a) ?

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
dimitris
Posted: Sat Jun 02, 2007 10:30 am
Guest
The result is Gamma(3/4)?

The method I used to find is not probably what you have in mind
but anyway...

o:=sqrt(sqrt(-Pi)*(
2*EllipticE(1/sqrt(2))
- 2*EllipticE(sqrt(2), 1/sqrt(2))
- EllipticK(1/sqrt(2))
+ EllipticF(sqrt(2),1/sqrt(2)))):

Re(evalf(o,30));

1.22541670246517764512909830337

After getting the last estimation go to

http://pi.lacim.uqam.ca/eng/

(Plouffe's Inverter!)

paste this value and get Gamma(3/4)

http://bootes.math.uqam.ca/cgi-bin/ipcgi/lookup.pl?Submit=GO+&number=1.22541670246517764512909830337&lookup_type=simple

evalf(GAMMA(3/4),30);

1.22541670246517764512909830336

Ok I steal but that's life!!!

Cheers
Dimitris




/ Vladimir Bondarenko :
Quote:
Hello computer algebra buffs,

Is there an soul who can come up with a sequence
of a CAS commands comressing this lengthy elliptic
expression

sqrt(sqrt(-Pi)*(
2*EllipticE(1/sqrt(2))
- 2*EllipticE(sqrt(2), 1/sqrt(2))
- EllipticK(1/sqrt(2))
+ EllipticF(sqrt(2),1/sqrt(2))
)
)

into a concise f(a) ?

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
 
Page 1 of 1       All times are GMT - 5 Hours
The time now is Wed Jan 07, 2009 11:51 pm