Haskell and mathematics/Hierarchy
Jump to navigation
Jump to search
Mathematical Hierarchy
Here is a place to discuss ideas for a mathematician-attracting hierarchy of mathematics modules that incorporate a sound algebraic class structure.
For me that probably starts with the semigroup/group/ring setup, and good arbitrary-precision as well as approximate linear algebra support.
I agree: semigoups like lattices are everywhere. Then there could be a uniform treatment of linear algebra, polynomial equations, operator algebra, etc.