The paper introduces a software package called LipschitzSaturation for a computer algebra system called Macaulay2. The package automates the computation of something called "Lipschitz saturations," which are mathematical tools used to study the geometry of singular spaces, meaning spaces that have points where the usual smooth structure breaks down. Lipschitz saturations help mathematicians understand how badly behaved these singular points are by measuring, in a precise algebraic sense, how functions near those points can grow or change. Having software that computes these objects automatically is valuable because doing so by hand is extremely tedious and error-prone.
The package handles two main types of geometric objects. For the first type, called modules over a space, it can compute three different versions of Lipschitz saturation, each capturing slightly different geometric information. It also builds an auxiliary object called the double module, which is a stepping stone in some of these calculations. For the second type, called toric varieties, which are geometric spaces built from combinatorial data like cones and fans, the package implements a dedicated construction algorithm tailored to their special structure.
One of the key technical contributions is a clever workaround for a serious computational bottleneck. The most natural algebraic method for computing one of the saturation types becomes hopelessly slow or runs out of memory when dealing with families of examples that depend on parameters. The authors replaced this approach with a "curve-based membership test," which checks the saturation condition by probing the space along curves rather than performing a full multivariate algebraic computation. This substitution keeps the runtime nearly constant even on examples that would otherwise cause the straightforward method to fail entirely. The package is freely available and works with Macaulay2 version 1.22 or later.