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 mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
