[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-math] Very simple calculus on matrix and vector.

**From**: |
Francois Maltey |

**Subject**: |
[Axiom-math] Very simple calculus on matrix and vector. |

**Date**: |
24 Feb 2006 21:19:19 +0100 |

**User-agent**: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |

Hello,
Today I try to translate my first scholar work from mupad/maple to axiom.
With mupad/maple I have functions as :
kernel
find a basis (a list of vector) of the linear transform defined by a matrix
with axiom kernel is right.
basis
extract a basis from a family of vectors, the sub-family is linear free
sumBasis
compute a basis of a sum of space vectors defined by families of vectors
it isn't difficult to do when the basic function is defined.
intBasis
compute a basis of a intersect of space vectors.
linsolve
find a solution X of AX=B when A, B and X are matrix or vector.
Are theses functions present in axiom ?
I can't find it in the 30 years book.
Or must I play with kernel (horizConcat ...)
I can concat 2 vectors or 2 matrices with horizConcat.
U := vector [1,2,1]
V := vector [1,3,1]
W := vector [1,4,1]
M := horizConcat (U::Matrix Integer, V::Matrix Integer)
But can I concat 3 or 4 or more vectors with only ONE command ?
I don't know if I can define in axiom a function
with 1 or 2 or 3 or 4 ... arguments.
Sequences of maple or mupad allow this.
With axiom must I define a function with a list of arguments ?
Bill, Martin and others I don't forget to improve trigonometric expand.
But I prefer look an other aspect of axiom today.
Have a good day !
Francois

**[Axiom-math] Very simple calculus on matrix and vector.**,
*Francois Maltey* **<=**