Main changes:

(1) A rearrangement of the constructor/compute interplay has made it possible to insert certain boolean valued options after the constructor.

(2) The bugs

#439
#440

have been fixed.

(3) The auxiliary packages have been updated. In particular nauty 2.9.1 is used now. See #436 for the changes it presents.

Due to an incompatibililty of Flint 3.3.1 vs. e-antic 2.1.0 these packages could not be updated for the Windows binary.

(4) The potential problems on i386 systems caused by floating point computations should have been resolved.

PyNormaliz has been updated to version 2.23.

The option ExploitAutomsVectors has been activated. It uses the automorphism group for the computation of Hilbert bases and lattice points.

The interface for fusion rings has been extended by the computation of induction matrices also for noncommutative fusion rings of rank <= 8.

The options NoQuasiPolynomial and OnlyCyclotomicHilbSe are useful especially for file based interfaces by providing compact output files.

The computation of minimal Markov bases contained a bug that is now circumvented.

This release has added induction matrices and tests for ring homomorphisms to the fusion ring solver.
Note that there are two binary distributions for MacOS now:

• MacOSIntel for Intel CPUs
• MacOS for Apple M CPUs

These binary distributions have been updated on NOv. 11, 2024. The binary normaliz now contains libomp.a so that the bundling with libomp.dylib has become obsolete.

We have added MSYS_tools.zip on November 28, 2024. See INSTALL in branch master.

This release adds computation goals and variants for fusion rinmgs:

• SingleFusionRing
• ModularGradings
• UseModularGrading

Moreover, the HPC management has been improved.

Note: The MacOS binary is based on MacOs 12. We did not succeed to compile it with a newer version and the corresponding LLVM from Homebrew.

CoCoALib: Since the CoCoALib servere is down at present, CoCoALib-0.99818.tgz has been added to this release on September 18, 2025. It is the release presently used in the installation of Normaliz. To make the install script download this source, change install_scripts_opt/install_nmz_cocoa.sh as follows:

## COCOA_URL="https://cocoa.dima.unige.it/cocoa/cocoalib/tgz/CoCoALib-${COCOA_VERSION}.tgz"
COCOA_URL="https://github.com/Normaliz/Normaliz/releases/download/v3.10.3/CoCoALib-0.99818.tgz"

Additions:

• Special input types and computation goals for fusion rings
• Refined management of computations on an HPC for the patching version of project-and-lift algorithm for lattice points (used for fusion rings)
• Processing of lists of input files
• Orbit versions of (dual) face lattice and f-vector
• Update of auxiliary packages, especially to Flint 3 (except MS windows binary)
• Full implementation of SingleLatticePoint

PyNormaliz has been updated to version 2.19.

This release significantly improves the patching variant of the project-and-lift algorithm for lattice points in polytopes. It has been used for the computations reported on in the preprint https://arxiv.org/abs/2302.01613.

Further additions:

• weight vector for Gröbner basis computations
• time bound (so far only in project-and-lift)
• option NoOutputOnInterrupt

PyNormaliz 2.18 is still used for this release.

This release adds general affine monoids and binomial ideals to Normaliz. In particular it computes

• minimal systems of generators (Hilbert bases) of affine monoids
• Hilbert series of affine monoids
• singular loci of affine monoid algebras
• Markov and Gröbner bases of lattice ideals
• affine monoids from binomial ideals

Moreover, the functions introduced with 3.9.4 have been improved.

PyNormaliz has been updated to version 2.18.

Dear friends of Normaliz,

version 3.9.4 adds the following major features:

1. A variant of project-and-lift for "positive systems", i.e. diophantine linear systems whose solutions are nonnegative and for which Normaliz can derive upper bounds for all coordinates directly from the input inequalities and equations. The variant does not try to compute the exact projection polytopes, which can be a very time consuming task, but computes the lattice points from relaxed inequalities. Under suitable hypotheses a "patching variant" is applied that often is extremely fast.

2. Lattice points in polytopes can be constrained by polynomial equations and inequalities. The polynomials may have rational coefficients. In the project-and-lift algorithm the constraints are applied as soon as possible.

The Normaliz team

This release fixes a bug in configure.ac that blocked the use of --with-gmp if configure was run outside the installation scripts. Some other weak points have been taken care of.

The installation scripts have been augmented so that it is possible to compile a static normaliz.exe under MSYS2 MinGW64 without user interaction. The MS Windows binary of this release uses all optional packages of Normaliz.

There is now a short reference manual NmzShortRef.pdf in doc, a structured list of keywords with brief explanations.

normaliz.lib for Singular has been updated so that essentially all input types and functions of Normaliz have become accessible.

PyNormaliz has not changed.

This release modifies the Normaliz code such that the parallelization by OpenMP does also work with the newer clang compilers, which are used in building Normaliz for MacOS and the Conda distribution. (See #385 and #383.)

The MS Windows binary has been built with MSYS MinGW64 (instead of the Intel compiler). It contains nauty as an optional library. (See INSTALL for details.)

It is now possible to construct a cone in libnormaliz or PyNormaliz from an input file, and input files now allow the definition of sparse vectors with ranges of indices.

February 27, 2022: An experimental MS Windows binary with all optional packages has been added.

March 5, 2022: Archives for the MS Windows build added.