A question about Axiom capabilities

Mike Valenzuela <[email protected]> Tue, 26 Feb 2013 15:14:22 -0700
Newsgroups gmane.comp.mathematics.axiom.user
Message-ID <CABhj+WzY=0eTo7Kv2y3e1uqR_iXwuQ-wzomSt=R1Sr77TQ0HKA@mail.gmail.com>
--===============7699189869554639153==
Content-Type: multipart/alternative; boundary=bcaec51ba51fd130db04d6a7fa1e

--bcaec51ba51fd130db04d6a7fa1e
Content-Type: text/plain; charset=ISO-8859-1

Hello, I'm investigating several CA systems currently and I am wondering if
Axiom has certain capabilities.

Specifically:
(A) Differentiation through indefinite sums with respect to
indexed/subscripted variables. E.g., D( sum(p[i]*x[i],i)^2, j ) --> 2* p[j]
* sum(p[i]*x[i],i)
(B) Matrix Calculus. E.g.,
  D( sum( p[k] * multivariate_normal(mu[k], Sigma[k]), k), Sigma[j] ) -->
 Some large awful thing defined in equation 373 from the Matrix
Cookbook, Version:
November 14, 2008.

As I do some work with random variables and certainty equivalents, it would
be nice to find a CAS that allows me to easily double check my math.

--bcaec51ba51fd130db04d6a7fa1e
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Hello, I&#39;m investigating several CA systems currently and I am wonderin=
g if Axiom has certain capabilities.<div><br></div><div>Specifically:</div>=
<div>(A)=A0Differentiation through indefinite sums with respect=A0to indexe=
d/subscripted variables. E.g., D( sum(p[i]*x[i],i)^2, j ) --&gt; 2* p[j] * =
sum(p[i]*x[i],i)</div>
<div>(B) Matrix Calculus. E.g.,=A0<br>=A0 D( sum( p[k] * multivariate_norma=
l(mu[k], Sigma[k]), k), Sigma[j] ) --&gt; =A0Some large=A0awful=A0thing def=
ined in equation 373 from the Matrix Cookbook,=A0<span style=3D"background-=
color:rgb(255,255,255);color:rgb(34,34,34);font-family:arial,sans-serif;lin=
e-height:16px">Version: November 14, 2008.</span></div>
<div><span style=3D"background-color:rgb(255,255,255);color:rgb(34,34,34);f=
ont-family:arial,sans-serif;line-height:16px"><br></span></div><div><span s=
tyle=3D"background-color:rgb(255,255,255);color:rgb(34,34,34);font-family:a=
rial,sans-serif;line-height:16px">As I do some work with random variables a=
nd certainty equivalents, it would be nice to find a CAS that allows me to =
easily double check my math.</span></div>

--bcaec51ba51fd130db04d6a7fa1e--


--===============7699189869554639153==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Axiom-mail mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-mail

--===============7699189869554639153==--