It’s the season for it! For those of you who work with normal surfaces, Regina 4.94 also came out last week. It adds triangulated vertex links, edge drilling, and a *lot* more speed and grunt.

Take the new linear/integer programming machinery for a spin with the pre-rolled triangulation of the Weber Seifert dodecahedral space. Regina can now prove 0-efficiency in just 10 seconds, or enumerate all 1751 vertex surfaces in ~10 minutes, or (with a little extra code to coordinate the slicing and searching for compressing discs) prove the entire space to be non-Haken in ~2 hours.

Read more of what’s new, or download and tinker at regina.sourceforge.net.