00:49 -!- martin3z(n=martin3z@pc1-74.gwardii.osi.pl) has joined #maxima 00:53 -!- martin3z(n=martin3z@pc1-74.gwardii.osi.pl) has left #maxima 01:10 -!- trebor_home(n=trebor@dslb-084-058-236-129.pools.arcor-ip.net) has joined #maxima 02:31 -!- HaraldG(n=rldprog@g4v1.g4.wien.funkfeuer.at) has joined #maxima 02:38 -!- Prax01D(n=Prax01D@tor58-4-74-144.dynamic.rogerstelecom.net) has joined #maxima 03:45 -!- trebor_h_(n=trebor@dslb-084-058-222-081.pools.arcor-ip.net) has joined #maxima 03:48 -!- istefano(n=istefano@65.39.87.25) has joined #maxima 06:36 -!- stw_(n=stw@e176168183.adsl.alicedsl.de) has joined #maxima 07:24 -!- istefano(n=istefano@65.39.87.25) has left #maxima 07:41 -!- ASau(n=user@80.250.218.3) has joined #maxima 08:34 -!- Prax01D(n=Prax01D@tor58-23b-94-71.dynamic.rogerstelecom.net) has joined #maxima 10:01 -!- ruxpin(n=pkunk@195.148.225.17) has joined #maxima 11:30 -!- gabkdll1(n=gabriel@dslb-088-073-055-150.pools.arcor-ip.net) has joined #maxima 12:02 -!- cunzhang(n=chatzill@218.7.43.195) has joined #maxima 14:40 -!- Prax01D(n=Prax01D@149.99.86.175) has joined #maxima 15:03 -!- eggauah(n=daniel@201.82.11.172) has joined #maxima 15:50 -!- trebor_dki(n=user@mail.dki.tu-darmstadt.de) has joined #maxima 16:51 -!- Sprinter(i=Sprinter@2002:3e4b:dc76:0:0:0:0:1) has joined #maxima 17:46 -!- turn-omg(n=turn-omg@FLH1Aah250.fki.mesh.ad.jp) has joined #maxima 17:53 -!- szymon(n=szymon@cbc123.neoplus.adsl.tpnet.pl) has joined #maxima 18:08 -!- lisppaste4(n=lisppast@common-lisp.net) has joined #maxima 19:18 -!- gabkdlly(n=gabriel@dslb-088-073-055-150.pools.arcor-ip.net) has joined #maxima 19:18 -!- gabkdlly(n=gabriel@dslb-088-073-055-150.pools.arcor-ip.net) has left #maxima 20:40 -!- Prax01D(n=Prax01D@tor58-23b-94-248.dynamic.rogerstelecom.net) has joined #maxima 21:14 -!- stw_(n=stw@e176168183.adsl.alicedsl.de) has joined #maxima 21:14 -!- klutometis(i=klutomet@pdpc/supporter/active/klutometis) has joined #maxima 21:50 -!- runix(n=michael@users.kollegienet.dk) has joined #maxima 21:51 -!- chagall(n=meiser@dslb-088-070-066-011.pools.arcor-ip.net) has joined #maxima 21:51 I can't seem to find a function to check if two different expressions are equal, if that is supported by maxima 21:53 -!- chagall(n=meiser@dslb-088-070-066-011.pools.arcor-ip.net) has left #maxima 21:55 do anyone know where in the manual I can find information about fullratsimp (simplifying functions in generel) in the manual, found the function through an external website? 22:50 -!- martin3z(n=martin3z@pc1-74.gwardii.osi.pl) has joined #maxima 23:43 -!- klutometis(i=klutomet@pdpc/supporter/active/klutometis) has joined #maxima 23:43 -!- stw_(n=stw@e176168183.adsl.alicedsl.de) has joined #maxima 23:43 -!- lisppaste4(n=lisppast@common-lisp.net) has joined #maxima 23:43 -!- szymon(n=szymon@cbc123.neoplus.adsl.tpnet.pl) has joined #maxima 23:43 -!- turn-omg(n=turn-omg@FLH1Aah250.fki.mesh.ad.jp) has joined #maxima 23:43 -!- Sprinter(i=Sprinter@2002:3e4b:dc76:0:0:0:0:1) has joined #maxima 23:43 -!- trebor_dki(n=user@mail.dki.tu-darmstadt.de) has joined #maxima 23:43 -!- eggauah(n=daniel@201.82.11.172) has joined #maxima 23:43 -!- ruxpin(n=pkunk@195.148.225.17) has joined #maxima 23:43 -!- ASau(n=user@80.250.218.3) has joined #maxima 23:43 -!- AnMaster(n=AnMaster@unaffiliated/anmaster) has joined #maxima 23:43 -!- rtoym(n=chatzill@user-0c8hpll.cable.mindspring.com) has joined #maxima 23:43 -!- faroe(n=faroe@port487.ds1-od.adsl.cybercity.dk) has joined #maxima 23:43 -!- lindi-(n=lindi@kulho150.adsl.netsonic.fi) has joined #maxima