a_1 = 0 ならば a_1 は一次従属。
a_1 ≠ 0 ならば a_1 は一次独立。
a_1 の成分のうちゼロでない成分が存在する。
第 i 成分がゼロでないとする。
a_{i, 1} * x_1 = a_{i, 2} を解く。
a_1 * x_1 = a_2 ならば a_1, a_2 は一次従属。
a_1 * x_1 ≠ a_2 ならば a_1, a_2 は一次独立。

a_{i_1}, …, a_{i_k} が一次独立であるとする。
行列 (a_{i_1}, …, a_{i_k}) の行から k 行選んだ結果できる k 次の部分正方行列 A' は正則行列。
ベクトル a_{i_{k+1}} の行から↑と全く同じように k 行選んだ結果できる k 次元の部分ベクトルを a' とする。
A' * x = a’ を解く。
x = (x_1, …, x_k) とする。
a_{i_1}*x_1 + … + a_{i_k}*x_k = a_{i_{k+1}} ならば、 a_{i_1}, …, a_{i_{k+1}} は一次従属。
a_{i_1}*x_1 + … + a_{i_k}*x_k ≠ a_{i_{k+1}} ならば、 a_{i_1}, …, a_{i_{k+1}} は一次独立。

とやればいいと思います。