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
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
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.
This is underspecified. I have to guess what
On Jun 1, 2012, at 2:22 PM, Ralf Hemmecke wrote:
input:
Solve( system : [ z = y+ax, p^tz =0 ],
for : [ a,z ],
with : [ Scalar(a), Vector(x), ….. ] )
Obviously, in the above input there are two types of multiplication. So you
have a field K and a vector space