Contoh 8 langkah, dijalankan mengikut urutan dalam satu sesi. Setiap langkah dilaksanakan terhadap enjin dan output di bawah ialah apa yang dihasilkannya.

Langkah 1

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

Output

Cross[v, w] . v == 0

Langkah 2

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

Output

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

Langkah 3

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

Output

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

Langkah 4

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

Output

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

Langkah 5

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

Output

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

Langkah 6

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

Output

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

Langkah 7

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

Output

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

Langkah 8

$Line = 0

Output

Jalankan ini di Qurak Semua resipi

Derive and verify vector identities

Fungsi yang digunakan