Before revision:  To compute the error estimator, we solve efficiently a linear system on the spanning tree and then a least-squares problem on the cycle space.
After revision:  To compute the error estimator, we solve efficiently the linear system on the spanning tree and then a least-squares problem on the cycle space.