MathAction #154 integrate does not produce asinh

login home contents what's new discussion bug reports help links subscribe changes refresh edit

IssueTracker
#153 make install does not install a needed libdb.text for HyperDoc ← ↑ → #155 failed coercion between Expression Fraction Integer and Expression Float in exponents

#154 integrate does not produce asinh
last edited 11 years ago by test1

Submitted by : (unknown) at: 2007年11月17日T21:59:07-08:00 (18 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :
Optional comment :

Why doesn't Axiom express antiderivatives in terms of hyperbolic trig functions since in can differentiate such functions? For example:

fricas
(1) -> integrate(1/sqrt(1+x^2),x)
\label{eq1}-{\log \left({{\sqrt{{{x}^{2}}+ 1}}- x}\right)} (1)
Type: Union(Expression(Integer),...)
fricas
simplifyLog(%)
\label{eq2}\log \left({\frac{1}{{\sqrt{{{x}^{2}}+ 1}}- x}}\right) (2)
Type: Expression(Integer)
fricas
differentiate(%,x)
\label{eq3}\frac{-{2 \ x \ {\sqrt{{{x}^{2}}+ 1}}}+{2 \ {{x}^{2}}}+ 1}{{{\left({2 \ {{x}^{2}}}+ 1 \right)}\ {\sqrt{{{x}^{2}}+ 1}}}-{2 \ {{x}^{3}}}-{2 \ x}} (3)
Type: Expression(Integer)
fricas
differentiate(asinh(x),x)
\label{eq4}\frac{1}{\sqrt{{{x}^{2}}+ 1}} (4)
Type: Expression(Integer)

property change --kratt6, 2006年7月03日 15:19:53 -0500 reply
Category: MathAction => Axiom Library Severity: minor => normal Status: pending (next release) => open

... --test1, 2014年4月23日 19:24:36 +0000 reply
Severity: normal => wishlist




Subject: Be Bold !!
( 15 subscribers )
Please rate this page:

AltStyle によって変換されたページ (->オリジナル) /