Haskell and mathematics/Hierarchy
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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.