Yoneda Representatives

[dalcde]

We can now compute Yoneda representatives! 9ed92e4 . Run it with cargo run --release test and then input your favorite class to decompose.

There is much room for improvement in the code

• Implement a version of Subspace that is suitable when most of the basis vectors of the subspace are also basis vectors of the total space. This way we can replace a lot of row reduction by simple masking.
• Implement a smarter algorithm for finding Yoneda representatives.
• If the Yoneda representatives obtained after the previous step is small enough, replace the resulting modules with equivalent finite dimensional modules.
• Use this for something!