Skip to main content

ocas_poly/
lib.rs

1//! Polynomial data structures and algorithms for oCAS.
2
3#![warn(missing_docs)]
4
5pub mod dense;
6pub mod factor;
7pub mod gcd;
8pub mod groebner;
9pub mod ideal;
10pub mod matrix;
11pub mod multivariate_gcd;
12pub mod rational;
13pub mod rational_reconstruction;
14pub mod resultant;
15pub mod roots;
16pub mod sparse;
17
18#[cfg(feature = "flint")]
19pub mod flint_poly;
20
21#[cfg(feature = "ntt")]
22pub mod ntt;
23
24#[cfg(feature = "sprs")]
25pub mod sprs_backend;
26
27pub use dense::DenseUnivariatePolynomial;
28pub use groebner::{Algorithm, GroebnerBasis, buchberger, eliminate, f4, f5, groebner_basis};
29pub use matrix::{Matrix, MatrixError};
30pub use multivariate_gcd::{bivariate_gcd, gcd_modular, lift_from_fp, reduce_mod};
31pub use rational::RationalPolynomial;
32pub use roots::RootInterval;
33pub use sparse::{
34    BlockOrder, Grevlex, Grlex, Lex, MatrixOrder, MonomialOrder, SparseMultivariatePolynomial, SubOrder,
35    WeightOrder, monomial_are_coprime, monomial_divides, monomial_lcm,
36};