mathlex 0.4.1

Mathematical expression parser for LaTeX and plain text notation, producing a language-agnostic AST
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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120

// Floor and ceil delimiter tests for LaTeX parser
use super::*;

#[test]
fn test_floor_simple() {
    let expr = parse_latex(r"\lfloor x \rfloor").unwrap();
    match &expr.kind {
        ExprKind::Function { name, args } => {
            assert_eq!(name, "floor");
            assert_eq!(args.len(), 1);
            assert_eq!(args[0], Expression::variable("x".to_string()));
        }
        _ => panic!("Expected Function(floor, [x]), got {:?}", expr),
    }
}

#[test]
fn test_ceil_simple() {
    let expr = parse_latex(r"\lceil x \rceil").unwrap();
    match &expr.kind {
        ExprKind::Function { name, args } => {
            assert_eq!(name, "ceil");
            assert_eq!(args.len(), 1);
            assert_eq!(args[0], Expression::variable("x".to_string()));
        }
        _ => panic!("Expected Function(ceil, [x]), got {:?}", expr),
    }
}

#[test]
fn test_floor_expression() {
    let expr = parse_latex(r"\lfloor x + 1 \rfloor").unwrap();
    match &expr.kind {
        ExprKind::Function { name, args } => {
            assert_eq!(name, "floor");
            assert_eq!(args.len(), 1);
            assert!(
                matches!(
                    args[0].kind,
                    ExprKind::Binary {
                        op: BinaryOp::Add,
                        ..
                    }
                ),
                "Expected Add expression, got {:?}",
                args[0]
            );
        }
        _ => panic!("Expected Function(floor, [x+1]), got {:?}", expr),
    }
}

#[test]
fn test_ceil_expression() {
    let expr = parse_latex(r"\lceil \frac{n}{2} \rceil").unwrap();
    match &expr.kind {
        ExprKind::Function { name, args } => {
            assert_eq!(name, "ceil");
            assert_eq!(args.len(), 1);
            assert!(
                matches!(
                    args[0].kind,
                    ExprKind::Binary {
                        op: BinaryOp::Div,
                        ..
                    }
                ),
                "Expected Div expression, got {:?}",
                args[0]
            );
        }
        _ => panic!("Expected Function(ceil, [n/2]), got {:?}", expr),
    }
}

#[test]
fn test_floor_missing_close_errors() {
    let result = parse_latex(r"\lfloor x \rceil");
    assert!(
        result.is_err(),
        "Expected error for mismatched floor delimiters"
    );
}

#[test]
fn test_ceil_missing_close_errors() {
    let result = parse_latex(r"\lceil x \rfloor");
    assert!(
        result.is_err(),
        "Expected error for mismatched ceil delimiters"
    );
}

// Round-trip: parse -> to_latex -> parse

#[test]
fn test_floor_roundtrip() {
    use crate::latex::ToLatex;
    let expr = parse_latex(r"\lfloor x \rfloor").unwrap();
    let latex_out = expr.to_latex();
    let expr2 = parse_latex(&latex_out).unwrap();
    assert_eq!(
        expr, expr2,
        "Round-trip failed: {} -> {:?}",
        latex_out, expr2
    );
}

#[test]
fn test_ceil_roundtrip() {
    use crate::latex::ToLatex;
    let expr = parse_latex(r"\lceil x \rceil").unwrap();
    let latex_out = expr.to_latex();
    let expr2 = parse_latex(&latex_out).unwrap();
    assert_eq!(
        expr, expr2,
        "Round-trip failed: {} -> {:?}",
        latex_out, expr2
    );
}