Linear-1 4 LU decomposition definition PLU factorization definition Vector space definition Checking if set of vectors is a field lemma