Expand description
Core mathematical engine for MathHook
This crate provides the foundational types and operations for symbolic mathematics, implementing a hybrid API architecture optimized for both performance and usability.
Re-exports§
pub use core::expression::eval_numeric::EvalContext;pub use core::expression::eval_numeric::EvalNumeric;pub use core::Commutativity;pub use core::Expression;pub use core::MathConstant;pub use core::Number;pub use core::NumericMatrix;pub use core::Symbol;pub use core::SymbolType;pub use algebra::multivariate_gcd;pub use algebra::multivariate_gcd;pub use algebra::polynomial_div;pub use algebra::polynomial_quo;pub use algebra::polynomial_rem;pub use algebra::AdvancedPolynomial;pub use algebra::AdvancedSimplify;pub use algebra::Collect;pub use algebra::ComplexOperations;pub use algebra::EquationAnalyzer;pub use algebra::EquationType;pub use algebra::Expand;pub use algebra::Factor;pub use algebra::PolynomialGcd;pub use algebra::RationalSimplify;pub use algebra::SmartEquationSolver;pub use algebra::ZeroDetection;pub use calculus::derivatives::Derivative;pub use calculus::BasicDerivatives;pub use calculus::BasicIntegrals;pub use calculus::ChainRule;pub use calculus::ComplexAnalysis;pub use calculus::FunctionIntegrals;pub use calculus::HigherOrderDerivatives;pub use calculus::Integration;pub use calculus::IntegrationMethods;pub use calculus::LimitDirection;pub use calculus::Limits;pub use calculus::PowerRule;pub use calculus::ProductRule;pub use calculus::ResidueCalculus;pub use calculus::SeriesExpansion;pub use calculus::SeriesType;pub use calculus::Summation;pub use calculus::SummationMethods;pub use solvers::MathSolver;pub use solvers::SolverConfig;pub use solvers::SolverResult;pub use pattern::Matchable;pub use pattern::Pattern;pub use pattern::PatternMatches;pub use pattern::Substitutable;pub use parser::config::ParserConfig;pub use parser::error::ParseError;pub use parser::Parser;pub use error::MathError;pub use formatter::LaTeXFormatter;pub use formatter::MathLanguage;pub use formatter::SimpleFormatter;pub use formatter::WolframFormatter;pub use functions::elementary;pub use functions::polynomials;pub use functions::special;pub use simplify::Simplify;
Modules§
- algebra
- Algebraic operations and traits for the hybrid API
- calculus
- Calculus operations module
- core
- Core mathematical types and operations
- educational
- Educational features and step-by-step explanations
- error
- Mathematical error types for domain violations and computation failures
- formatter
- Formatting traits for mathematical expressions
- functions
- Function Intelligence System
- macros
- Ergonomic macros for MathHook expression construction
- matrices
- Matrix operations and linear algebra
- parser
- Multi-format mathematical expression parser for MathHook
- pattern
- Pattern matching and substitution system for MathHook
- prelude
- Convenience prelude for common imports
- serialize
- Clean parse and stringify API for mathematical expressions
- simplify
- Minimal overhead, maximum performance implementation
- solvers
- Solver objects for the hybrid API
Macros§
- expr
- Procedural macro for creating mathematical expressions with full syntax support
- function
- Procedural macro for creating function expressions
- impl_
function_ family - Macro for easily implementing function family extensions
- parse
- Parse mathematical expressions from strings
- symbol
- Procedural macro for creating symbols with optional type specification
- symbols
- Procedural macro for creating multiple symbols at once