Ask Your Question

adrien's profile - activity

2012-05-11 10:02:06 +0200 received badge  Student (source)
2012-05-11 09:01:50 +0200 asked a question 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.

Thanks !