Module algebra 

Algebraic operations and traits for the hybrid API

Re-exports

pub use advanced_simplify::AdvancedSimplify;

pub use collect::Collect;

pub use complex::ComplexOperations;

pub use expand::Expand;

pub use factor::Factor;

pub use gcd::PolynomialGcd;

pub use polynomial_advanced::AdvancedPolynomial;

pub use rational::RationalSimplify;

pub use zero_detection::ZeroDetection;

pub use polynomial_division::polynomial_div;

pub use polynomial_division::polynomial_quo;

pub use polynomial_division::polynomial_rem;

pub use gcd::polynomial_gcd;

pub use gcd::univariate_gcd;

pub use gcd::univariate_gcd_modular;

pub use equation_analyzer::EquationAnalyzer;

pub use equation_analyzer::EquationType;

pub use equation_analyzer::SmartEquationSolver;

pub use solvers::EquationSolver;

pub use solvers::SolverResult as AlgebraSolverResult;

pub use groebner::buchberger_algorithm;

pub use groebner::poly_reduce;

pub use groebner::poly_reduce_completely;

pub use groebner::s_polynomial;

pub use groebner::GroebnerBasis;

pub use groebner::MonomialOrder;

pub use groebner::MonomialOrdering;

pub use simplification::get_simplification_registry;

pub use simplification::SimplificationRegistry;

pub use simplification::SimplificationStrategy;

pub use simplification::SIMPLIFICATION_REGISTRY;

pub use crate::core::polynomial::finite_field::is_prime;

pub use crate::core::polynomial::finite_field::FiniteFieldError;

pub use crate::core::polynomial::finite_field::FiniteFieldResult;

pub use crate::core::polynomial::finite_field::PolyZp;

pub use crate::core::polynomial::finite_field::Zp;

pub use crate::core::polynomial::poly::IntPoly;

pub use multivariate_gcd::multivariate_gcd;

Modules

advanced_simplify

Advanced simplification operations including special functions Handles factorial, trigonometric functions, logarithms, and complex simplifications

collect

Term collection and combination operations Handles collecting like terms, combining coefficients, and organizing expressions

complex

Complex number operations and arithmetic

diagonal_matrix_tests

Comprehensive tests for DiagonalMatrix mathematical properties and optimizations

equation_analyzer

Analyzes LaTeX equations and routes to appropriate solvers This is the “brain” that decides which solver to use

expand

Expression expansion operations Handles polynomial expansion, distribution, and algebraic expansion

factor

Factorization operations for expressions Handles polynomial factorization, common factor extraction, and algebraic factoring

gcd

Greatest Common Divisor operations for polynomials and expressions

groebner

Gröbner Basis Computation

matrix_correctness_tests

Mathematical correctness tests for the unified matrix system

multivariate_gcd

Multivariate polynomial GCD computation using evaluation-interpolation

polynomial_advanced

Advanced polynomial operations Implements polynomial arithmetic, division, and advanced algorithms

polynomial_division

Polynomial long division operations

rational

Rational expression operations and simplification Handles rational functions, fraction simplification, and rational arithmetic

root_finding

Root-finding algorithms

simplification

Algebraic Simplification System

solvers

Equation solvers module with modern Rust structure

zero_detection

Advanced zero detection and algebraic simplification Handles complex expressions that should simplify to zero