Quotient of CombinatorialFreeModule
I'm writing a small programm and came to the following problem: I have a list W os some objects, and works with the free module on it:
Now I generate a list of (redundant) linear relation among element of W, ie a list of linear combination of elements of W which I want to be 0. So I make a matrix of all corresponding vectors. So if K is the sub vector space generated by the lines of my matrix, I want to know the best way to work in the quotient vector space V/K, ie choose a basis B of it and rewrite every linear combination of element of W as a linear combination of element of B. I can probably do soemthing by hand, for example by taking the echelon form of my matrix, but I would be happy to have a more convenient way of doing this.