例 8 ステップを1つのセッション内で順に実行します。各ステップはエンジンで実行済みで、以下の出力は実際に生成されたものです。
TensorExpand[(v⨯w).v == 0]Cross[v, w] . v == 0TensorExpand[a⨯(b⨯c) == b(a.c) - c (a.b)]Cross[a, Cross[b, c]] == -(c*a . b) + b*a . cTensorExpand[(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 . dTensorExpand[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 == 0TensorExpand[(a⨯b)⨯(c⨯d)]Cross[Cross[a, b], Cross[c, d]]TensorExpand[a⨯b⨯c == b⨯c⨯a]Cross[a, b, c] == Cross[b, c, a]TensorExpand[(a⨯b⨯c).(d⨯e⨯f)]Cross[a, b, c] . Cross[d, e, f]$Line = 00