Blame view

emulateur/epsilon-nofrendo/poincare/test/addition.cpp 2.56 KB
6663b6c9   adorian   projet complet av...
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
  #include <quiz.h>
  #include <poincare.h>
  #include <ion.h>
  #include <assert.h>
  #include "helper.h"
  
  using namespace Poincare;
  
  QUIZ_CASE(poincare_addition_evaluate) {
    assert_parsed_expression_evaluates_to<float>("1+2", "3");
    assert_parsed_expression_evaluates_to<double>("2+I+4+I", "6+2*I");
  
  #if MATRICES_ARE_DEFINED
    assert_parsed_expression_evaluates_to<float>("[[1,2][3,4][5,6]]+3", "[[4,5][6,7][8,9]]");
    assert_parsed_expression_evaluates_to<double>("[[1,2+I][3,4][5,6]]+3+I", "[[4+I,5+2*I][6+I,7+I][8+I,9+I]]");
    assert_parsed_expression_evaluates_to<float>("3+[[1,2][3,4][5,6]]", "[[4,5][6,7][8,9]]");
    assert_parsed_expression_evaluates_to<double>("3+I+[[1,2+I][3,4][5,6]]", "[[4+I,5+2*I][6+I,7+I][8+I,9+I]]");
    assert_parsed_expression_evaluates_to<float>("[[1,2][3,4][5,6]]+[[1,2][3,4][5,6]]", "[[2,4][6,8][10,12]]");
    assert_parsed_expression_evaluates_to<double>("[[1,2+I][3,4][5,6]]+[[1,2+I][3,4][5,6]]", "[[2,4+2*I][6,8][10,12]]");
  #endif
  }
  
  QUIZ_CASE(poincare_addition_simplify) {
    assert_parsed_expression_simplify_to("2+1", "3");
    assert_parsed_expression_simplify_to("-2+6", "4");
    assert_parsed_expression_simplify_to("-2-6", "-8");
    assert_parsed_expression_simplify_to("2+A", "2+A");
    assert_parsed_expression_simplify_to("1+2+3+4+5+6+7", "28");
    assert_parsed_expression_simplify_to("1+2+3+4+5+A+6+7", "28+A");
    assert_parsed_expression_simplify_to("(0+0)", "0");
    assert_parsed_expression_simplify_to("2+13cos(2)-23cos(2)", "2-10*cos(2)");
    assert_parsed_expression_simplify_to("1+1+ln(2)+(5+3*2)/9-4/7+1/98", "(2347+882*ln(2))/882");
    assert_parsed_expression_simplify_to("1+2+0+cos(2)", "3+cos(2)");
    assert_parsed_expression_simplify_to("-5P+3P", "-2*P");
    assert_parsed_expression_simplify_to("1-3+A-5+2A-4A", "(-7)-A");
    assert_parsed_expression_simplify_to("1+2", "3");
    assert_parsed_expression_simplify_to("A-A", "0");
    assert_parsed_expression_simplify_to("A-A+2cos(2)+B-B-cos(2)", "cos(2)");
    assert_parsed_expression_simplify_to("1+A+2+B+3", "6+A+B");
    assert_parsed_expression_simplify_to("-A", "-A");
    assert_parsed_expression_simplify_to("1/(x+1)+1/(P+2)", "(3+x+P)/(2+2*x+P+x*P)");
    assert_parsed_expression_simplify_to("1/x^2+1/(x^2*P)", "(1+P)/(x^2*P)");
    assert_parsed_expression_simplify_to("1/x^2+1/(x^3*P)", "(1+x*P)/(x^3*P)");
    assert_parsed_expression_simplify_to("4x/x^2+3P/(x^3*P)", "(3+4*x^2)/x^3");
    assert_parsed_expression_simplify_to("A+B-A-B", "0");
    assert_parsed_expression_simplify_to("A+B+(-1)*A+(-1)*B", "0");
    assert_parsed_expression_simplify_to("3^(1/2)+2^(-2*3^(1/2)*X^P)/2", "(1+2*2^(2*R(3)*X^P)*R(3))/(2*2^(2*R(3)*X^P))");
  }