Boundary operator (source code)

= Boundary operator
{title2=$\partial$}
{wiki}

The boundary operator of a <chain complex> is its degree-minus-one differential $\partial:C_i\to C_{i-1}$. The identity $\partial^2=0$ says that every <chain boundary> is a <chain cycle>.