4
$\begingroup$

Given the following expression

Assuming[(n | d | t) ∈ Vectors[3, Reals] && n.t == 0, FullSimplify[(n + d).t]]

Why does mathematica give me the below instead of simplifying to d.t?

(d + n).t
$\endgroup$
4
$\begingroup$

You can add TensorExpand to achieve this:

Assuming[(n | d | t) ∈ Vectors[3, Reals] && n.t == 0, 
   TensorExpand[(n + d).t] // FullSimplify]

(* d.t *)

As I understand it, manipulating symbolic tensors should generally be done with the Tensor* family of functions (guide page). This is not built-in in functions like FullSimplify .

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.