Skip to content

poly.mojo v1.0.2

Search /

Welcome

Get started

Installation
Your first polynomial
Choose a coefficient domain
Example gallery

Tutorials

Polynomial arrays
Exact algebra
Check exact algebra results
Roots
Algebraic coefficients
Gröbner bases and membership
Inequalities and CAD
Specialized CAD workflows
Formal series
Alternative bases
Rational functions
Numerical coefficients
Certified evaluation
Batch calculations
Save and restore values

Guides

Errors and work limits
Certificate claims
Interchange and streaming
Support and limitations

API reference

Find an operation
Array API
Dense arrays
Sparse arrays
Checked exact results
Root results and refinement
Exact algebraic values
CAD and sign constraints
Formal series
Alternative bases
Rational functions
Numerical coefficients
Certified evaluation
Batch maps and broadcasting
Value serialization

Mathematics

Overview
Polynomial rings
Division
Greatest common divisors
Resultants
Rational functions
Factorization
Gröbner bases
Real roots
Algebraic numbers and CAD
Numerical guarantees
References

Architecture

Overview
Representations and shared kernels
Exact algorithms
Numerical certification
Streaming and memory

Core API

Overview
Representations and arithmetic
Division, gcds, and resultants
Univariate factorization
Gröbner bases
Exact real roots
Polynomial toolkit
Numerical polynomials
Real algebraic numbers
Multivariate factorization
CAD
Source compatibility

For Mojo 1.2
Polynomial algorithms with certificates.

Poly Mojo documentation

Search the documentation¶

Search concepts and names such as conversion, export, codec, or scalar.

Search terms

Loading search index…

Poly Mojo v1.0.2 for Mojo 1.2 · Apache License 2.0 · Source on GitHub

On this page