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 10 years ago by test1

Edit detail for #154 integrate does not produce asinh revision 1 of 2
1 2
Editor:
Time: 2007/11/17 21:59:07 GMT-8
Note: property change 
changed:
-
Why doesn't Axiom express antiderivatives in terms of hyperbolic
trig functions since in can differentiate such functions? For example:
\begin{axiom}
integrate(1/sqrt(1+x^2),x)
simplifyLog(%)
differentiate(%,x)
differentiate(asinh(x),x)
\end{axiom}



From kratt6 Mon Jul 3 15:19:53 -0500 2006
From: kratt6
Date: Mon, 03 Jul 2006 15:19:53 -0500
Subject: property change
Message-ID: <20060703151953-0500@wiki.axiom-developer.org>

Category: MathAction => Axiom Library 
Severity: minor => normal 
Status: pending (next release) => open

Submitted by : (unknown) at: 2007-11-17T21:59:07-08:00 (16 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:

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

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