All standard constructions with nearrings, like direct products, factors, and subnearrings are implemented, as well as algorithms for analyzing their structure, like computing the lattices of subnearrings or ideals, isomorphism types, commutators of ideals in the sense of universal algebra, radicals, and so on.