[Axiom-mail] Solving vector equations; is this possible?

[Victor Eijkhout]

Can someone tell me if the following can be solved in Axiom, and hence whether I should bother learning the system?

I have two equations in vectors of arbitrary dimension: z = y + ax (a is scalar, x,y,z vector) & p^t z = 0 

(p another vector). Vectors  x,y,p are known, vector z and scalar a are unknown. Assume no two known vectors are orthogonal.

The solution of this is z = y + a x where a = -(p^t y) / (p^t x). 

Is this expressible and solvable in Axiom?

Victor.