Planarity test across a cubic-to-tetragonal twin

ID: planarity-test-across-a-cubic-to-tetragonal-twin

Let , with , , and be a twin-related gradient with , , . Their jump is .
A plane through the origin with normal is spanned by and . Both gradients map to the same direction, so the two image half-planes are coplanar exactly when and are parallel in their transverse section. Direct calculation gives
Its nonzero prefactor makes planarity equivalent to , the twin normal. On that plane the two affine maps agree, proving sufficiency as well. The restriction on the third normal component matters; this statement is not a classification of every possible material plane.

New to topics? Read the docs here!