There are three major enhancements visible to the user. They all arise as part of the re-implementation of the geometry types. The first is that with the types now part of the Magma kernel, objects interact more effectively with other parts of Magma. For example, it is now possible to have sets of points.
The second is the new point types allow coordinates of points to lie in rings other than the base ring of the scheme. This is especially useful for schemes defined over fields, since the field extension machinery is now tied more closely to the Gröbner basis machinery for operations like finding the singularities of a curve.
The third is far more powerful mapping types, including new constructors and more familiar usage. Maps can now be defined between arbitrary schemes (with some conditions on the base ring when Gröbner basis techniques are required).
Beyond these, there are a number of new object types.
New Features: