示例 8 步，在同一个会话中按顺序运行。每一步都在引擎上执行过，下面的输出就是它实际产生的。

第 1 步

TensorExpand[(v⨯w).v == 0]

输出

Cross[v, w] . v == 0

第 2 步

TensorExpand[a⨯(b⨯c) == b(a.c) - c (a.b)]

输出

Cross[a, Cross[b, c]] == -(c*a . b) + b*a . c

第 3 步

TensorExpand[(a⨯b).(c⨯d) == a.c b.d - a.d b.c]

输出

Cross[a, b] . Cross[c, d] == -(a . d*b . c) + a . c*b . d

第 4 步

TensorExpand[a (b⨯c).d - b(a⨯c).d + c(a⨯b).d - d(a⨯b).c == 0]

输出

-(d*Cross[a, b] . c) + c*Cross[a, b] . d - b*Cross[a, c] . d + a*Cross[b, c] . d == 0

第 5 步

TensorExpand[(a⨯b)⨯(c⨯d)]

输出

Cross[Cross[a, b], Cross[c, d]]

第 6 步

TensorExpand[a⨯b⨯c == b⨯c⨯a]

输出

Cross[a, b, c] == Cross[b, c, a]

第 7 步

TensorExpand[(a⨯b⨯c).(d⨯e⨯f)]

输出

Cross[a, b, c] . Cross[d, e, f]

第 8 步

$Line = 0

输出

Derive and verify vector identities

用到的函数