Cross products #
This module defines the cross product of vectors in $R^3$ for $R$ a commutative ring, as a bilinear map.
Main definitions #
crossProductis the cross product of pairs of vectors in $R^3$.
Main results #
Matrix gives the following notation:
×₃for the cross product
The scalar quadruple product identity, related to the Binet-Cauchy identity.
Jacobi identity: For a cross product of three vectors, their sum over the three even permutations is equal to the zero vector.