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.
