Skip to content

Poly Mojo 1.0.1

Choose a tag to compare

View all tags
@anatolvitold anatolvitold released this 25 Oct 21:26
· 2 commits to main since this release
v1.0.1
650780c

Poly Mojo 1.0.1 updates the library to Mojo 1.2.0 and APN Mojo 1.0.2, improves polynomial computation and certificate handling, and introduces compact final certificates for cylindrical algebraic decomposition.

Changes

  • CAD: construct and independently check final decomposition data, with Brown–McCallum projection reductions, Lazard lifting, one algebraic field per base sample, and explicit cell and sample materialization.
  • Gröbner bases: F4 computation over eligible prime fields, modular rational reconstruction, and improved basis and trace checking.
  • GCDs and certificates: recognize monomial GCDs earlier and use compact modular coprimality certificates to avoid unnecessary large exact certificates.
  • Arithmetic: reduce copying and bookkeeping, and use SIMD in eligible native-integer kernels, including CAD sign evaluation and resultant cofactor operations, with exact fallbacks.
  • Documentation: updated public API references, mathematical explanations, and examples; development notes and obsolete private benchmark machinery are excluded.

Compatibility

This release requires Mojo 1.2.0 and APN Mojo 1.0.2. Rebuild consumers and precompiled packages when upgrading from the Mojo 1.1 release.

CAD decomposition and full-covering evidence now uses CADFinalCertificate. Callers that inspected the old .projection, .cells, or .stacks fields must migrate to the certificate's metadata methods and explicit materialization APIs. See the CAD API and final-data construction.

Installation

Once version 1.0.1 is available in the Modular community channel:

[workspace]
channels = ["https://conda.modular.com/max", "https://repo.prefix.dev/modular-community", "conda-forge"]
pixi add "poly_mojo==1.0.1"

The package provides poly and polynomials and depends on apn_mojo 1.0.2. Until the channel update is published, build from the tagged source using pixi install --locked and pixi run --locked build.

Documentation · Changes since v1.0.0

Assets 2
Loading