La lista de objetos de alto nivel que es capaz de manejar incluye: cuerpos finitos, anillos polinómicos, álgebras exteriores, álgebras de Weyl; anillos, módulos, complejos de cadenas y aplicaciones entre ellos; variedades algebraicas y haces coherentes.