This library is cool and I may end up cribbing some of its design. It's unfortunate that they did not include semirings directly, which have many interesting algebraic uses. [0]<p>[0] <a href="http://stedolan.net/research/semirings.pdf" rel="nofollow">http://stedolan.net/research/semirings.pdf</a>
This sounds nice. As a quantum optics programmer, I really like the idea of a generic polynomial and matrix library that is careful not to assume products are commutative.
Also for F#: <a href="https://github.com/allisterb/Sylvester/tree/master/src/Math/Sylvester.AbstractAlgebra" rel="nofollow">https://github.com/allisterb/Sylvester/tree/master/src/Math/...</a><p>Contains both rigorous definitions and theories for use by the Sylph prover.