/* sample.txt　加法定理*/
/*(kill(all), print("インストールMaximaでは、行頭の／*を、次行頭にCut
＆Paste"))$ */
(MONDAI:"sin(a+30)を加法定理で展開すると？(度数法)",print(MONDAI),
/**/End:"Mondai")$
(TEISUU:"",
Pi:%pi,deg:25/180*Pi,print([Pi,deg]),subl:[a=deg],/*print(subl)
*/End:"Teisuu")$
(KANSUU:"",
sind(t):=sin(t/180*Pi),cosd(t):=cos(t/180*Pi),
/**/End:"Kansuu")$/*
(TEJUN1: "1 解析的",
ev11:["与式=sin(a+30)=sin(a)*cos(30)+cos(a)*sin(30)",
/**/float(subst(subl,["与式
=",sind(a+30),"=",sind(a)*cosd(30)+cosd(a)*sind(30),"(加法定理)"]))],
/**/print(ev11),
/**/End:"Tejun1")$
*/Finished:""$