Path: csiph.com!news.mixmin.net!newsreader4.netcologne.de!news.netcologne.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Axel Vogt <&noreply@axelvogt.de> Newsgroups: comp.soft-sys.math.maple,sci.math.symbolic Subject: Re: Simplify trigonometric expressions Date: Fri, 14 Aug 2015 23:45:43 +0200 Lines: 42 Message-ID: References: Reply-To: &noreply@axelvogt.de Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Trace: individual.net lVsnXTxRRW/hrhel5dXL5g+gQVOQ2lWhkvklY7SVdHeDpOvx8= Cancel-Lock: sha1:xkVreYLlv4FHEge8SYQwybfpjbA= User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.1.0 In-Reply-To: Xref: csiph.com comp.soft-sys.math.maple:1183 sci.math.symbolic:5462 On 14.08.2015 18:45, Peter Luschny wrote: > On Friday, August 14, 2015 at 4:02:34 PM UTC+2, Axel Vogt wrote: >> On 14.08.2015 15:00, Peter Luschny wrote: >>> How can I teach Maple to simplify these expressions? >>> I thought this would be peanuts for Maple >>> (especially as it is peanuts for the competitor). >>> >> ... >> >> Depends on what one wants do have ... If L denotes >> the list of your equations then for example >> >> convert(L, radical): >> simplify(%); > > OK. So what about these? > > [1] -1/7+x-(2/7)*cos((2/7)*Pi)+(2/7)*cos((3/7)*Pi)+(2/7)*cos((1/7)*Pi) > > [2] (4/7)*x*cos((1/7)*Pi)-(2/7)*cos((1/7)*Pi)-(4/7)*x*cos((2/7)*Pi)+(2/7)*cos((2/7)*Pi)+(4/7)*x*cos((3/7)*Pi)-(2/7)*cos((3/7)*Pi)+1/7-(2/7)*x+x^2 > > [3] (2/7)*cos((1/7)*Pi)+(6/7)*x^2*cos((1/7)*Pi)-(6/7)*x*cos((1/7)*Pi)-(2/7)*cos((2/7)*Pi)-(6/7)*cos((2/7)*Pi)*x^2+(6/7)*x*cos((2/7)*Pi)+(2/7)*cos((3/7)*Pi)+(6/7)*x^2*cos((3/7)*Pi)-(6/7)*x*cos((3/7)*Pi)-1/7+(3/7)*x-(3/7)*x^2+x^3 > > [4] -(2/7)*cos((1/7)*Pi)-(12/7)*x^2*cos((1/7)*Pi)+(8/7)*x*cos((1/7)*Pi)+(8/7)*x^3*cos((1/7)*Pi)-(8/7)*cos((2/7)*Pi)*x^3+(2/7)*cos((2/7)*Pi)+(12/7)*cos((2/7)*Pi)*x^2-(8/7)*x*cos((2/7)*Pi)-(2/7)*cos((3/7)*Pi)-(12/7)*x^2*cos((3/7)*Pi)+(8/7)*x*cos((3/7)*Pi)+(8/7)*x^3*cos((3/7)*Pi)+1/7-(4/7)*x+(6/7)*x^2-(4/7)*x^3+x^4 > evalf[20](L): fnormal(%): identify(%); # to have a guess 2 3 4 [x, x , x , x ] convert(L, RootOf): # nun aber in echt ... simplify(%); 2 3 4 [x, x , x , x ] I think it is also "what is intended by simplify (and should trig survive)?" Thus I included sci.math.symbolic for further answers. PS: would you mind to post as list PPS: well, it may break down at some degree