You could iteratively orthogonalize v1 through vn, setting an orthogonal distance threshold for when to consider a new vector to be in the span of the previous vectors.
On Wednesday, October 5, 2016 at 5:25:26 AM UTC-4, harven wrote: > > Is there a way to check if a vector v is in the linear span of a given > family of vectors v1,...vn? > I don't think I saw such a function in the base library but I may have > missed it. > > I can use something like > > rank([v;v1...vn]) == rank([v1...vn]) > > but that looks inefficient. > > Also is there any facility to compute with matrices with integer/rational > coefficients? > It seems that the standard library focuses on floats. >
