symplex 0.15.0

Exact symbolic mathematics for Rust: calculus, summation, solving, linear algebra, transforms, compile-time dimensional analysis, and Rust/C code generation
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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101

//! Tests for simplify(), sqrt(x^2)→abs(x) rule, and related simplifications.

use symplex::prelude::*;

// ═══════════════════════════════════════════════════════════════════════════
// full_simplify()
// ═══════════════════════════════════════════════════════════════════════════

#[test]
fn full_simplify_expand_plus_cancel() {
    let ctx = Context::new();
    // (x+1)^2 - x^2 - 2*x should become 1 after expand + canonicalization
    let x = ctx.symbol("x");
    let expr = &(&x + 1).powi(2) - &x.powi(2) - &x * 2;
    assert_eq!(format!("{}", expr.simplify()), "1");
}

#[test]
fn full_simplify_trig_identity() {
    let ctx = Context::new();
    let x = ctx.symbol("x");
    let expr = &x.sin().powi(2) + &x.cos().powi(2);
    assert_eq!(format!("{}", expr.simplify()), "1");
}

#[test]
fn full_simplify_exp_ln() {
    let ctx = Context::new();
    let x = ctx.symbol("x");
    let expr = x.ln().exp();
    assert_eq!(format!("{}", expr.simplify()), "x");
}

#[test]
fn full_simplify_nested_eval_then_simplify() {
    // sin(0) + cos(0) should become 0 + 1 = 1 after eval + canonicalization
    let ctx = Context::new();
    let zero = ctx.int(0);
    let expr = &zero.sin() + &zero.cos();
    assert_eq!(format!("{}", expr.simplify()), "1");
}

#[test]
fn full_simplify_already_simple() {
    let ctx = Context::new();
    let x = ctx.symbol("x");
    let expr = &x + 1;
    assert_eq!(format!("{}", expr.simplify()), "x + 1");
}

#[test]
fn full_simplify_pythagorean_in_larger_sum() {
    let ctx = Context::new();
    let x = ctx.symbol("x");
    let expr = &x.sin().powi(2) + &x.cos().powi(2) + 5;
    assert_eq!(format!("{}", expr.simplify()), "6");
}

// ═══════════════════════════════════════════════════════════════════════════
// sqrt(x^2) → abs(x) rule
// ═══════════════════════════════════════════════════════════════════════════

#[test]
fn simplify_sqrt_of_square() {
    let ctx = Context::new();
    let x = ctx.symbol("x");
    let expr = x.powi(2).sqrt();
    assert_eq!(format!("{}", expr.simplify()), "abs(x)");
}

#[test]
fn simplify_sqrt_of_square_in_sum() {
    let ctx = Context::new();
    let x = ctx.symbol("x");
    let expr = &x.powi(2).sqrt() + 1;
    let simplified = expr.simplify();
    let s = format!("{simplified}");
    assert!(s.contains("abs(x)"), "should contain abs(x): {s}");
}

// ═══════════════════════════════════════════════════════════════════════════
// simplify() on expressions that formerly tested full_simplify_trace()
// ═══════════════════════════════════════════════════════════════════════════

#[test]
fn simplify_pythagorean_identity() {
    let ctx = Context::new();
    let x = ctx.symbol("x");
    let expr = &x.sin().powi(2) + &x.cos().powi(2);
    let result = expr.simplify();
    assert_eq!(format!("{result}"), "1");
}

#[test]
fn simplify_no_change_on_simple_expr() {
    let ctx = Context::new();
    let x = ctx.symbol("x");
    let expr = &x + 1;
    let result = expr.simplify();
    assert_eq!(format!("{result}"), "x + 1");
}