Skip to main content

proof_engine/symbolic/
mod.rs

1//! Symbolic Mathematics Engine — expression trees, differentiation, integration,
2//! simplification, equation solving, Taylor series, matrix operations, and
3//! mathematical typesetting.
4//!
5//! The chaos pipeline's equations are not just evaluated — they are visible, editable,
6//! and mathematically manipulable in-engine.
7
8pub mod expr;
9pub mod differentiate;
10pub mod integrate;
11pub mod simplify;
12pub mod solve;
13pub mod taylor;
14pub mod matrix;
15pub mod compile;
16pub mod typeset;
17
18pub use expr::{Expr, Var, Const};
19pub use differentiate::diff;
20pub use integrate::integrate;
21pub use simplify::simplify;
22pub use solve::{solve_linear, solve_quadratic};
23pub use taylor::taylor_expand;
24pub use matrix::SymMatrix;
25pub use compile::JitExpr;
26pub use typeset::TypesetExpr;