[Axiom-math] Very simple calculus on matrix and vector.

[Francois Maltey]

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