If  X is a vector and omega a differential p-form, then the interior product or hook of  X and omega is the differential (p - 1)-form theta = Hook(X, omega) defined by theta(Y1, Y2, ..., Yq) = omega(X, Y1, Y2, ..., Yq), where q = p - 1 and Y1, Y2, ...,  Yq are arbitrary vectors.

More generally, given a list of vectors [X1, X2, ... , Xr] and a differential p-form omega then theta = Hook([X1, X2, ..., Xr], omega) is the differential form of degree p - r defined by theta(Y1, Y2, ..., Yq) = omega(X1, X2, ..., Xr, Y1, Y2, ..., Yq), where q = p - r and Y1, Y2, ...,Yq are arbitrary vectors.

If  Y = [X1, X2, alpha1, ..., Xr] is a list of  vectors or differential 1-forms and T is a tensor of total rank s = r, then the second calling sequence evaluates the scalar T(X1, X2, alpha1, ... , Xr).  If s > r and  indexlist = [i_1, i_2, ..., i_r], then Hook(Y, T, indexlist) calculates the rank s - r tensor obtained by evaluating the i_k-th argument of the tensor T on the k-th element of the list Y, for k = 1, 2, ... r.

This command is part of the DifferentialGeometry package, and so can be used in the form Hook(...) only after executing the command with(DifferentialGeometry).  It can always be used in the long form DifferentialGeometry:-Hook.

$\mathrm{with}\left(\mathrm{DifferentialGeometry}\right)\:$

$\mathrm{DGsetup}\left(\left[x\,y\,z\right]\,M\right)\:$

$\mathrm{X1}≔\mathrm{evalDG}\left(a\mathrm{D\_x}+b\mathrm{D\_y}+c\mathrm{D\_z}\right)$

$\mathrm{X1}≔a\mathrm{D\_x}+b\mathrm{D\_y}+c\mathrm{D\_z}$

$\mathrm{X2}≔\mathrm{evalDG}\left(2\mathrm{D\_y}-\mathrm{D\_z}\right)$

$\mathrm{X2}≔2\mathrm{D\_y}-\mathrm{D\_z}$

$\mathrm{X3}≔\mathrm{evalDG}\left(\mathrm{D\_x}+\mathrm{D\_z}\right)$

$\mathrm{X3}≔\mathrm{D\_x}+\mathrm{D\_z}$

$\mathrm{\alpha }≔\mathrm{evalDG}\left(3\mathrm{dx}+4\mathrm{dy}-7\mathrm{dz}\right)$

$\mathrm{\alpha }≔3\mathrm{dx}+4\mathrm{dy}-7\mathrm{dz}$

$\mathrm{\beta }≔\mathrm{evalDG}\left(\mathrm{dx}\&w\mathrm{dy}-3\mathrm{dx}\&w\mathrm{dz}\right)$

$\mathrm{\beta }≔\mathrm{dx}\bigwedge \mathrm{dy}-3\mathrm{dx}\bigwedge \mathrm{dz}$

$\mathrm{\omega }≔\mathrm{evalDG}\left(\left(\mathrm{dx}\&w\mathrm{dy}\right)\&w\mathrm{dz}\right)$

$\mathrm{\omega }≔\mathrm{dx}\bigwedge \mathrm{dy}\bigwedge \mathrm{dz}$

$f≔\mathrm{Hook}\left(\mathrm{X1}\,\mathrm{\alpha }\right)$

$f≔-7c+4b+3a$

$\mathrm{\theta }≔\mathrm{Hook}\left(\mathrm{X1}\,\mathrm{\beta }\right)$

$\mathrm{\theta }≔-\left(-3c+b\right)\mathrm{dx}+a\mathrm{dy}-3a\mathrm{dz}$

$\mathrm{Hook}\left(\mathrm{X2}\,\mathrm{\theta }\right)$

$5a$

$\mathrm{Hook}\left(\left[\mathrm{X1}\,\mathrm{X2}\right]\,\mathrm{\beta }\right)$

$5a$

$\mathrm{Hook}\left(\left[\mathrm{X2}\,\mathrm{X1}\right]\,\mathrm{\beta }\right)$

$-5a$

$\mathrm{Hook}\left(\left[\mathrm{X1}\,\mathrm{X2}\,\mathrm{X3}\right]\,\mathrm{\omega }\right)$

$2a-b-2c$

$T≔\mathrm{evalDG}\left(2\left(\left(\mathrm{dx}\&t\mathrm{dy}\right)\&t\mathrm{dz}\right)\&t\mathrm{D\_y}-3\left(\left(\mathrm{dy}\&t\mathrm{dx}\right)\&t\mathrm{dz}\right)\&t\mathrm{D\_z}\right)$

$T≔2\mathrm{dx}\mathrm{dy}\mathrm{dz}\mathrm{D\_y}-3\mathrm{dy}\mathrm{dx}\mathrm{dz}\mathrm{D\_z}$

$\mathrm{Hook}\left(\left[\mathrm{D\_x}\,\mathrm{D\_y}\,\mathrm{D\_z}\,\mathrm{dy}\right]\,T\right)$

$2$

$\mathrm{Hook}\left(\left[\mathrm{X1}\,\mathrm{X3}\right]\,T\right)$

$-3b\mathrm{dz}\mathrm{D\_z}$

$\mathrm{Hook}\left(\left[\mathrm{X1}\,\mathrm{X2}\,\mathrm{X3}\,\mathrm{\alpha }\right]\,T\right)$

$16a$

$\mathrm{Hook}\left(\left[\mathrm{D\_y}\,\mathrm{dz}\right]\,T\,\left[1\,4\right]\right)$

$-3\mathrm{dx}\mathrm{dz}$

$\mathrm{Hook}\left(\left[\mathrm{X1}\,\mathrm{X2}\right]\,T\,\left[1\,3\right]\right)$

$3b\mathrm{dx}\mathrm{D\_z}-2a\mathrm{dy}\mathrm{D\_y}$

$\mathrm{DGsetup}\left(\left[\left[\mathrm{\ω1}\,\mathrm{\ω2}\,\mathrm{\ω3}\right]\,\mathrm{\β1}=\mathrm{dgform}\left(2\right)\right]\,\left[d\left(\mathrm{\ω1}\right)=\mathrm{\ω2}\&w\mathrm{\ω3}\,d\left(\mathrm{\ω2}\right)=\mathrm{\β1}\right]\,\mathrm{M3}\right)$

$\mathrm{frame\; name:\; M3}$

$\mathrm{Hook}\left(\mathrm{D\_omega1}\,\mathrm{\ω1}\right)\;$$\mathrm{Hook}\left(\mathrm{D\_omega1}\,\mathrm{\β1}\right)$

$1$

${\mathrm{\iota }}_1\mathrm{\β1}$

$\mathrm{DGsetup}\left(\mathrm{M3}\,\left[\right]\,\left[\mathrm{hook}\left(\mathrm{D\_omega1}\,\mathrm{\β1}\right)=\mathrm{\ω3}\right]\right)$

$\mathrm{updated\; frame:\; M3}$

$\mathrm{Hook}\left(\mathrm{D\_omega1}\,\mathrm{\β1}\right)$

$\mathrm{\ω3}$