Re: Solving vector equations; is this possible?

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 l=
ooks 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 =3D y+ax, p^tz =3D0 ],
             for : [ a,z ],
             with : [ Scalar(a), Vector(x), =85.. ] )

output:
[ z =3D y+ax, a =3D -(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 =3D x^2, for : x, with Positive(x) )
output:
x =3D +- sqrt(y)

input:
Solve( y =3D x^2, for : y )
output
y =3D x^2

Victor.