mathhook-core 0.2.0

Core mathematical engine for MathHook - expressions, algebra, and solving
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

//! Pattern matching and substitution system for MathHook
//!
//! This module provides the fundamental pattern matching and substitution capabilities
//! that enable equation solving, transformation rules, and algebraic manipulation.
//!
//! # Core Functionality
//!
//! 1. **Basic Substitution**: Replace variables or subexpressions with values
//! 2. **Multiple Substitution**: Apply several substitutions simultaneously
//! 3. **Pattern Matching**: Match structural patterns with wildcards
//! 4. **Pattern Replacement**: Apply transformation rules
//!
//! # Examples
//!
//! ```
//! use mathhook_core::prelude::*;
//! use mathhook_core::pattern::Substitutable;
//!
//! let x = symbol!(x);
//! let expr = expr!(x + 1);
//!
//! // Basic substitution: replace x with 5
//! let result = expr.subs(&Expression::symbol(x), &Expression::integer(5));
//! assert_eq!(result, Expression::integer(6));
//! ```

pub mod matching;
pub mod substitution;

pub use matching::{Matchable, Pattern, PatternMatches};
pub use substitution::Substitutable;