codifferential

The projected differential of an extensor field.

the formal adjoint of the exterior derivative; a differential-geometric version of the divergence operator; the exterior derivative sandwiched between two Hodge star operators with some additional factor(s) that take(s) care of the sign; the Hermitian conjugate of the exterior derivative under the inner product for k-form fields over some manifold M: (α,β)=∫_Mα∧⋆β, so that (α,dβ)=(δα,β).