Как проверить, образуют ли элементы примитивную систему решетки

Question

Для набора векторов $V = {v_1, v_2, ..., v_k}$, принадлежащих решетке $ L $ с базисом $B$, существует ли эффективная процедура, которая может определить, образует ли $V$ примитив или нет система для $L$? Это означает, что если $ L $ имеет ранг $n \geq k$, вы можете расширить $V$, добавив $ nk $ векторов таким образом, что результирующий набор является базисом для $ L $.