INTLAB は verifylss() という関数を提供している。 と のいずれか一方が区間である場合、 割り算演算子 \ は、 verifylss() の呼び出しと等価である。 この関数は、疎行列に対しても、過剰決定系に対しても、 underdetermined system に対しても、利用することが出来るが、 ここでは の場合のみ論じることにする。
(準備中)