mathhook-core 0.2.0

Core mathematical engine for MathHook - expressions, algebra, and solving
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

//! Factoring step-by-step tests

use mathhook_core::prelude::*;

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

    let expr = Expression::add(vec![
        Expression::mul(vec![Expression::integer(2), Expression::symbol(x.clone())]),
        Expression::integer(4),
    ]);

    let result = expr.simplify();
    println!("Factoring steps: 2x + 4 = {}", result);

    assert!(!result.is_zero());
}

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

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

    let result = expr.simplify();
    println!("Step-by-step: x^2 + 3x + 2 = {}", result);

    assert!(!result.is_zero());
}

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

    let expr = Expression::add(vec![
        Expression::pow(Expression::symbol(x.clone()), Expression::integer(2)),
        Expression::mul(vec![Expression::integer(-1), Expression::integer(1)]),
    ]);

    let result = expr.simplify();
    println!("Advanced factoring: x^2 - 1 = {}", result);

    // This is (x - 1)(x + 1)
    assert!(!result.is_zero());
}