diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index a89816d..1b45068 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -152268,8 +152268,27 @@ TranscendentalManipulations(R, F): Exports == Implementation where rule(sin(XX)*sin(YY),(cos(XX-YY)-cos(XX+YY))/2::F) cosCosRule : RewriteRule(R,R,F) := rule(cos(XX)*cos(YY),(cos(XX-YY)+cos(XX+YY))/2::F) + sinhSum : RewriteRule(R,R,F) := + rule(sinh(XX+YY),(sinh(XX)*cosh(YY)+cosh(XX)*sinh(YY))::F) + coshSum : RewriteRule(R,R,F) := + rule(cosh(XX+YY),(cosh(XX)*cosh(YY)+sinh(XX)*sinh(YY))::F) + tanhSum : RewriteRule(R,R,F) := + rule(tanh(XX+YY),((tanh(XX)+tanh(YY))/(1+tanh(XX)*tanh(YY)))::F) + cothSum : RewriteRule(R,R,F) := + rule(coth(XX+YY),((coth(XX)*coth(YY)+1)/(coth(YY)+coth(XX)))::F) + sinhpsinh : RewriteRule(R,R,F) := + rule(sinh(XX)+sinh(YY),(2*sinh(1/2*(XX+YY))*cosh(1/2*(XX-YY)))::F) + sinhmsinh : RewriteRule(R,R,F) := + rule(sinh(XX)-sinh(YY),(2*cosh(1/2*(XX+YY))*sinh(1/2*(XX-YY)))::F) + coshpcosh : RewriteRule(R,R,F) := + rule(cosh(XX)+cosh(YY),(2*cosh(1/2*(XX+YY))*cosh(1/2*(XX-YY)))::F) + coshmcosh : RewriteRule(R,R,F) := + rule(cosh(XX)-cosh(YY),(2*sinh(1/2*(XX+YY))*sinh(1/2*(XX-YY)))::F) expandTrigProducts(e:F):F == - applyRules([sinCosRule,sinSinRule,cosCosRule],e,10)$ApplyRules(R,R,F) + applyRules([sinCosRule,sinSinRule,cosCosRule, + sinhSum,coshSum,tanhSum,cothSum, + sinhpsinh,sinhmsinh,coshpcosh, + coshmcosh],e,10)$ApplyRules(R,R,F) logArgs(l:List F):F == -- This function will take a list of Expressions (implicitly a sum) and diff --git a/changelog b/changelog index 9b0d43c..8cfbeaa 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20130124 tpd src/axiom-website/patches.html 20130124.02.tpd.patch +20130124 tpd books/bookvol10.4 expand hyperbolic identities 20130124 tpd src/axiom-website/patches.html 20130124.01.tpd.patch 20120124 tpd books/bookvol10.4 document htrigs function in TRMANIP 20130123 tpd src/axiom-website/patches.html 20130123.03.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index b6faeb7..ff185ed 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -3957,5 +3957,7 @@ src/doc/endpaper fixed format src/Makefile clean up src/algebra properly 20130124.01.tpd.patch books/bookvol10.4 document htrigs function in TRMANIP +20130124.02.tpd.patch +books/bookvol10.4 expand hyperbolic identities