scivex-sym 0.1.0

Scivex — Symbolic math, CAS, and expression simplification
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
32
33
34
35
36
37
38

# scivex-sym

Symbolic mathematics for Scivex. Computer algebra system with expression
manipulation, calculus, and equation solving.

## Highlights

- **Expression AST** — Variables, constants, arithmetic, functions, powers
- **Simplification** — Algebraic simplification, constant folding, canonical forms
- **Differentiation** — Symbolic derivatives with chain rule
- **Integration** — Symbolic integration for common patterns
- **Equation solving** — Solve single-variable equations symbolically
- **Polynomials** — Polynomial arithmetic, roots, GCD, factoring
- **Substitution** — Variable substitution and evaluation
- **Pretty printing** — Human-readable expression formatting
- **LaTeX output** — Render expressions as LaTeX strings

## Usage

```rust
use scivex_sym::prelude::*;

let x = Expr::var("x");
let f = &x * &x + 2.0 * &x + 1.0;

// Differentiate
let df = f.diff("x");  // 2*x + 2

// Simplify
let simplified = f.simplify();  // (x + 1)^2

// Solve
let roots = solve(&f, "x").unwrap();
```

## License

MIT