如何检查元素是否形成晶格的原始系统

Question

给定一组向量$ V = {v_1，v_2，...，v_k} $属于格子$ L $且基础为$ B $，是否有一个有效的程序可以确定是否$ V $ $ L $形成一个原始系统？这意味着如果$ L $的排名为$ n \ geq k $，您可以通过添加$ n-k $向量来扩展$ V $，这样得到的集合就是$ L $的基础。