oxiz-math 0.3.1

Mathematical foundations for OxiZ SMT solver
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
37

//! SIMD-Accelerated Mathematical Operations.
//!
//! Provides vectorized implementations of common mathematical operations
//! using Rust's portable SIMD support.
//!
//! # `no_std`
//!
//! The integer kernels ([`polynomial_simd`], [`vector_ops`]) build without
//! `std`. The floating-point kernels ([`matrix_simd`], [`simplex_simd`])
//! require `num_traits::Float`, which is only available with `std`, so they
//! are gated behind the `std` feature rather than being silently reduced to
//! a stub.

#[allow(unused_imports)]
use crate::prelude::*;

#[cfg(feature = "std")]
pub mod matrix_simd;
pub mod polynomial_simd;
#[cfg(feature = "std")]
pub mod simplex_simd;
pub mod vector_ops;

#[cfg(feature = "std")]
pub use matrix_simd::{
    simd_determinant, simd_lu_decomposition, simd_lu_solve, simd_matrix_inverse, simd_matrix_mul,
    simd_matrix_vec_mul as matrix_vec_mul_enhanced, simd_qr_decomposition, transpose,
};
pub use polynomial_simd::{
    poly_add_coeffs, poly_dot_product, poly_eval_horner_i64, poly_mul_scalar, poly_sub_coeffs,
    simd_poly_add, simd_poly_eval, simd_poly_mul,
};
#[cfg(feature = "std")]
pub use simplex_simd::{
    SimplexError, SimplexSolution, SimplexTableau, simd_dual_simplex, simd_simplex_solve,
};
pub use vector_ops::{simd_dot_product, simd_matrix_vec_mul, simd_norm_squared, simd_sum};