Skip to main content

Crate scivex_sym

Crate scivex_sym 

Source
Expand description

scivex-sym — Symbolic math, CAS, and expression simplification.

Provides from-scratch implementations of:

  • Symbolic expression AST with evaluation, substitution, and operator overloading
  • Algebraic simplification with constant folding and identity reduction
  • Symbolic differentiation with chain rule support
  • Algebraic expansion and factoring
  • Linear and quadratic equation solving
  • Coefficient-based polynomials with Horner evaluation and root finding
  • Symbolic integration (power rule, trig, exp, integration by parts)
  • Taylor / Maclaurin series expansion

Re-exports§

pub use algebra::expand;
pub use algebra::factor_out;
pub use diff::diff;
pub use diff::diff_n;
pub use error::Result;
pub use error::SymError;
pub use expr::Expr;
pub use expr::MathFn;
pub use expr::abs;
pub use expr::constant;
pub use expr::cos;
pub use expr::e;
pub use expr::exp;
pub use expr::ln;
pub use expr::one;
pub use expr::pi;
pub use expr::sin;
pub use expr::sqrt;
pub use expr::tan;
pub use expr::var;
pub use expr::zero;
pub use integrate::definite_integral;
pub use integrate::integrate;
pub use polynomial::Polynomial;
pub use simplify::simplify;
pub use solve::solve_linear;
pub use solve::solve_quadratic;
pub use taylor::maclaurin;
pub use taylor::taylor;

Modules§

algebra
Algebraic expansion and factoring.
diff
Symbolic differentiation.
error
Symbolic math error types.
expr
Expression AST, evaluation, substitution, and operator overloading.
integrate
Symbolic integration (indefinite and definite). Symbolic integration.
polynomial
Coefficient-based polynomials with Horner evaluation and root finding.
prelude
Items intended for glob-import: use scivex_sym::prelude::*;
simplify
Algebraic simplification and constant folding.
solve
Linear and quadratic equation solving.
taylor
Taylor and Maclaurin series expansion. Taylor series expansion.