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
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-mail
