help links subscribe changes refresh edit

	IssueTracker
#354 Complex R is not necessarily a field when R is a field ←	↑	→ #356 domain for general constants

#355 Wrong sign in derivation of besselK

Edit detail for #355 Wrong sign in derivation of besselK revision 2 of 2

	1 2
Editor: kratt6 Time: 2007/12/28 14:57:27 GMT-8
Note:

added:

From kratt6 Fri Dec 28 14:57:26 -0800 2007
From: kratt6
Date: Fri, 28 Dec 2007 14:57:26 -0800
Subject: 
Message-ID: <20071228145726-0800@axiom-wiki.newsynthesis.org>

Category: Axiom Mathematics => Axiom Library

D(besselK(a,x),x) misses a minus sign

fricas

(1) -> D(besselK(a,x),x)

$\label{eq1}\frac{-{besselK \left({{a + 1}, \: x}\right)}-{besselK \left({{a - 1}, \: x}\right)}}{2}$

(1)

Type: Expression(Integer)

Several bugs... --kratt6, Sat, 02 Jun 2007 07:40:05 -0500 reply

The patch attached here corrects the bug reported and additionally several documentation bugs. In particular, note that axiom (currently) regards these special functions as functions in the second variable only, when it comes to differentiation. special.patch combfunc-special.patch

fix on email list, couldn't upload --kratt6, Sat, 02 Jun 2007 08:19:17 -0500 reply

Status: open => fix proposed

closed in --patch-51, fixed in silver for --patch-50 --daly, Sat, 02 Jun 2007 20:21:24 -0500 reply

The new result for

D(besselK(a,x),x)

- besselK(a + 1,x) - besselK(a - 1,x)
-------------------------------------
2

due to changes in special.spad and combfunc.spad submitted by Martin Rubey.

... --kratt6, Fri, 28 Dec 2007 14:57:26 -0800 reply

Category: Axiom Mathematics => Axiom Library