02:00 -!- faroe(n=faroe@port487.ds1-od.adsl.cybercity.dk) has joined #maxima 02:35 -!- errordev1loper(n=errordev@78-86-1-110.zone2.bethere.co.uk) has joined #maxima 02:41 -!- Prax01D(n=Prax01D@tor58-23b-95-60.dynamic.rogerstelecom.net) has joined #maxima 06:05 is there any way to coerce maxima into simplifying (exp(%i*x) + exp(-%i*x))/2 as cos(x)? 06:05 i.e. applying euler's formula? 06:35 -!- stw_(n=stw@e176185148.adsl.alicedsl.de) has joined #maxima 06:36 -!- stw(n=stw@e176185148.adsl.alicedsl.de) has joined #maxima 08:46 -!- Prax01D(n=Prax01D@tor58-24b-98-132.dynamic.rogerstelecom.net) has joined #maxima 12:20 -!- gabkdlly(n=pannwitz@rudin.mi.fu-berlin.de) has joined #maxima 12:52 -!- lisppaste4(n=lisppast@common-lisp.net) has joined #maxima 13:48 -!- errordeveloper(n=errordev@78-86-1-110.zone2.bethere.co.uk) has joined #maxima 14:06 -!- cunzhang(n=apzc2529@218.7.43.195) has joined #maxima 14:44 -!- Prax01D(n=Prax01D@tor58-7-82-188.dynamic.rogerstelecom.net) has joined #maxima 16:04 -!- tiglos(n=lily@221.221.80.106) has joined #maxima 16:05 -!- tiglos(n=lily@221.221.80.106) has left #maxima 18:19 -!- gabkdlly(n=gabriel@dslb-088-073-063-062.pools.arcor-ip.net) has joined #maxima 19:08 -!- szymon(n=szymon@cbb77.neoplus.adsl.tpnet.pl) has joined #maxima 20:15 -!- errordeveloper(n=errordev@78-86-1-110.zone2.bethere.co.uk) has joined #maxima 20:37 -!- szymon(n=szymon@bzy94.neoplus.adsl.tpnet.pl) has joined #maxima 20:46 -!- Prax01D(n=Prax01D@tor58-5-76-243.dynamic.rogerstelecom.net) has joined #maxima 20:48 -!- lisppaste4(n=lisppast@common-lisp.net) has joined #maxima 21:02 -!- errordeveloper(n=errordev@78-86-1-110.zone2.bethere.co.uk) has left #maxima