[Axiom-developer] [AldorForAxiom]

[Bill Page]

Changes http://www.axiom-developer.org/zope/mathaction/AldorForAxiom/diff
--

??changed:
-functions which you then can use Axiom.
functions which you then can use Axiom. For details see:

- http://www.aldor.org/docs/HTML/chap18.html

??changed:
-See also a more complex example in [Sandbox Aldor Testing]
Here is an example from http://www.aldor.org/docs/HTML/chap18.html

\begin{aldor}
#include "axiom.as"
#pile

MatrixSymmetry(R:Field): with
        symmetricPart : Matrix R -> Matrix R
                ++ `symmetricPart(M)' returns a symmetric
                ++ matrix `S', computed as `(M + transpose M)/2'.
                ++ The difference `M - S' is antisymmetric.

        antisymmetricPart : Matrix R -> Matrix R
                ++ `antisymmetricPart(M)' returns an antisymmetric
                ++ matrix `A', computed as `(M - transpose M)/2'.
                ++ The difference `M - A' is symmetric.
== add
        import from R, Integer

        symmetricPart(m: Matrix R): Matrix R ==
                mt := transpose m
                inv(2::R) * (m + mt)

        antisymmetricPart(m: Matrix R): Matrix R ==
                mt := transpose m
                inv(2::R) * (m - mt)
\end{aldor}

\begin{axiom}
m := matrix[[1/2,1/3],[1/4,1/5]]
s := symmetricPart m
a := antisymmetricPart m
\end{axiom}

See also a more complex example in [RandomAlgebra]

--
forwarded from http://www.axiom-developer.org/zope/mathaction/address@hidden