ocas-poly 0.24.0

Polynomial algorithms for oCAS
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

//! Polynomial data structures and algorithms for oCAS.

#![warn(missing_docs)]

pub mod dense;
pub mod factor;
pub mod gcd;
pub mod groebner;
pub mod ideal;
pub mod matrix;
pub mod multivariate_gcd;
pub mod rational;
pub mod rational_reconstruction;
pub mod resultant;
pub mod roots;
pub mod sparse;

#[cfg(feature = "flint")]
pub mod flint_poly;

#[cfg(feature = "ntt")]
pub mod ntt;

#[cfg(feature = "sprs")]
pub mod sprs_backend;

pub use dense::DenseUnivariatePolynomial;
pub use groebner::{Algorithm, GroebnerBasis, buchberger, eliminate, f4, f5, groebner_basis};
pub use matrix::{Matrix, MatrixError};
pub use multivariate_gcd::{bivariate_gcd, gcd_modular, lift_from_fp, reduce_mod};
pub use rational::RationalPolynomial;
pub use roots::RootInterval;
pub use sparse::{
    BlockOrder, Grevlex, Grlex, Lex, MatrixOrder, MonomialOrder, SparseMultivariatePolynomial,
    SubOrder, WeightOrder, monomial_are_coprime, monomial_divides, monomial_lcm,
};