(y_{m}\in \mathbb {R}^{m}\). The vectorymcan be computed in different ways which depend on the selected Krylov method. The most common schemes are based either on a (Petrov-)Galerkin condition on the residual v
7.2. Bound on the Feng–Rao Numbers To prove the new bound, we first need the next lemma, whose proof can be found in [6], and then we can state the theorem with the bound. The proof of the theorem uses that δ r ( m ) counts the number of elements of a numerical semigroup ...