# Reducing a system of vector equations

I'm trying to solve a system of vector equations. I know this is solvable since I've done it myself by hand (I reduced it to solving the root of a quartic anyway). I'm trying to do it in Mathematica because I have another similar one I want to solve that I'm getting the same error for.

$Assumptions = (p | q | u | v | a | b) ∈ Vectors[3, Reals];$Assumptions = (t | k) ∈ Reals;
Reduce[{{1/2 a t^2 + u t + p == 1/2 b t^2 + v t + q}, {Norm[a] == k}}, {a, t}];


Evaluating this shows:

Solve::naqs: "{p+(a\t^2)/2+t\ u==q+(b\t^2)/2+t\ v}&&{Norm[a]==k} is not a quantified system of equations and inequalities."

• here, and in your answer, your second $Assumptions overwrites the first one. Sort of moot though because I'm pretty sure Reduce cant make any use of the vector assumption. Jun 4, 2015 at 21:12 • @george2079 Thanks for mentioning it... both those points answer my other question, which then that brings up the question of how do you solve a system of vector equations? Jun 4, 2015 at 21:31 • Closely related to the futility of $Assumptions here : Inequalities with assumptions and constraints.
– Jens
Jun 4, 2015 at 21:36
• The brute force approach is to express all of your vectors as lists with symbolic components. The results are usually pretty unwieldy however. Jun 4, 2015 at 21:48

$Assumptions = (p | q | u | v | a | b) \[Element] Vectors[3, Reals]$Assumptions = (t | k) \[Element] Reals