axiom-math
[Top][All Lists]

## [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

```