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

// Determinant function tests for LaTeX parser
use super::*;

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

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

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

// Round-trip: \det is a KNOWN_FUNCTION so to_latex emits \det\left(A\right)

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