On Jun 1, 2012, at 10:01 AM, Ralf Hemmecke wrote: > If I understood your problem correctly then you can do it as follows.
It doesn't look to me like you're solving a system of equations. Also, it looks like you're doing something in 3 dimensions and with specific values: I need something that will solve symbolically and regardless the dimension. My input and output should look something like: input: Solve( system : [ z = y+ax, p^tz =0 ], for : [ a,z ], with : [ Scalar(a), Vector(x), ….. ] ) output: [ z = y+ax, a = -(p^ty)/(p^tx) ] That is: dimension independent formulas in, dimension-independent formulas out. Compare it to what I've seen algebra systems do: input: Solve ( y = x^2, for : x, with Positive(x) ) output: x = +- sqrt(y) input: Solve( y = x^2, for : y ) output y = x^2 Victor. _______________________________________________ Axiom-mail mailing list Axiom-mail@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-mail