Basic computational algebraic geometry library