mathhook 0.2.0

High-performance educational computer algebra system with ergonomic Rust macros
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! Step-by-step verification tests

use mathhook::prelude::*;

#[test]
fn test_step_verification() {
    let x = symbol!(x);

    let expr = Expression::add(vec![
        Expression::integer(5),
        Expression::integer(3),
        Expression::symbol(x.clone()),
    ]);

    let result = expr.simplify();
    println!("Step verification: 5 + 3 + x = {}", result);

    // Should combine to 8 + x
    assert!(!result.is_zero());
}