This is going to be an abstract math library providing algebraic structures as well as several algorithms and stuff.