Skip to content

Poly Mojo 1.0.0

Choose a tag to compare

View all tags
@anatolvitold anatolvitold released this 15 Oct 10:40
· 14 commits to main since this release
v1.0.0
95de248

The first release of Poly Mojo: exact and validated polynomial algebra for Mojo 1.1, with independently checkable certificates.

  • Exact algebra: dense and sparse polynomials over integers, rationals, Gaussian rationals and prime fields, with division, gcds, resultants, factorization (including over real and complex algebraic numbers) and Gröbner bases with ideal membership.
  • Roots: exact real and complex algebraic roots with multiplicities, and validated numerical root enclosures that refine to a requested width.
  • Inequalities: cylindrical algebraic decomposition, cell location and selective coverings, including fixed coordinates and real algebraic coefficients.
  • Numerics: arbitrary-precision floating-point and ball coefficient arrays with explicit contexts, and certified evaluation toward an accuracy target.
  • Certificates: independent checkers for factor products, membership identities, enclosure bounds, and root and CAD evidence, with streaming checks that need not retain complete certificates.
  • Toolkit: calculus, interpolation, formal series, Newton/Chebyshev/Bernstein bases, rational functions, serialization and batch maps.

Works with Mojo 1.1.x on Linux x86-64, Linux ARM64 and macOS arm64.

Install from the Modular community channel (available once modular/modular-community#403 is merged):

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

Documentation: https://spellbound-mojo.github.io/poly_mojo/

Assets 2
Loading