Computer Algebra Software for constructive Algebraic geometry. Designed for performing computations and reasoning about geometric objects in classical algebraic geometry, in particular affine and projective algebraic geometry over an algebraically clos