[poincare/test] Add tests on horizontal vectors

Change-Id: If2d6293ede044ffe71e632212eff155b80ad683f
This commit is contained in:
Hugo Saint-Vignes
2020-11-16 11:28:20 +01:00
committed by EmilieNumworks
parent bee8d8531b
commit cb54e22272
2 changed files with 15 additions and 5 deletions

View File

@@ -440,12 +440,22 @@ QUIZ_CASE(poincare_approximation_function) {
assert_expression_approximates_to<float>("cross([[1][2][3]],[[4][7][8]])", "[[-5][4][-1]]");
assert_expression_approximates_to<double>("cross([[1][2][3]],[[4][7][8]])", "[[-5][4][-1]]");
assert_expression_approximates_to<float>("cross([[1,2,3]],[[4][7][8]])", "[[-5][4][-1]]");
assert_expression_approximates_to<double>("cross([[1,2,3]],[[4][7][8]])", "[[-5][4][-1]]");
assert_expression_approximates_to<float>("cross([[1,2,3]],[[4,7,8]])", "[[-5][4][-1]]");
assert_expression_approximates_to<double>("cross([[1,2,3]],[[4,7,8]])", "[[-5][4][-1]]");
assert_expression_approximates_to<float>("dot([[1][2][3]],[[4][7][8]])", "42");
assert_expression_approximates_to<double>("dot([[1][2][3]],[[4][7][8]])", "42");
assert_expression_approximates_to<float>("dot([[1,2,3]],[[4][7][8]])", "42");
assert_expression_approximates_to<double>("dot([[1,2,3]],[[4][7][8]])", "42");
assert_expression_approximates_to<float>("dot([[1,2,3]],[[4,7,8]])", "42");
assert_expression_approximates_to<double>("dot([[1,2,3]],[[4,7,8]])", "42");
assert_expression_approximates_to<float>("norm([[-5][4][-1]])", "6.480741");
assert_expression_approximates_to<double>("norm([[-5][4][-1]])", "6.4807406984079");
assert_expression_approximates_to<float>("norm([[-5,4,-1]])", "6.480741");
assert_expression_approximates_to<double>("norm([[-5,4,-1]])", "6.4807406984079");
assert_expression_approximates_to<float>("round(2.3246,3)", "2.325");
assert_expression_approximates_to<double>("round(2.3245,3)", "2.325");

View File

@@ -1091,18 +1091,18 @@ QUIZ_CASE(poincare_simplification_matrix) {
// Cross product
assert_parsed_expression_simplify_to("cross([[0][1/√(2)][0]],[[0][0][1]])", "[[√(2)/2][0][0]]");
assert_parsed_expression_simplify_to("cross([[1][2][3]],[[4][7][8]])", "[[-5][4][-1]]");
assert_parsed_expression_simplify_to("cross([[1][π][𝐢]],[[𝐢π][𝐢π^2][-π]])", "[[0][0][0]]");
assert_parsed_expression_simplify_to("cross([[1,2,3]],[[4][7][8]])", "[[-5][4][-1]]");
assert_parsed_expression_simplify_to("cross([[1,π,𝐢]],[[𝐢π,𝐢π^2,-π]])", "[[0][0][0]]");
// Dot product
assert_parsed_expression_simplify_to("dot([[1/√(2)][0][0]],[[1][0][0]])", "√(2)/2");
assert_parsed_expression_simplify_to("dot([[1][1][0]],[[0][0][1]])", "0");
assert_parsed_expression_simplify_to("dot([[1][1][1]],[[0][π][𝐢]])", "π+𝐢");
assert_parsed_expression_simplify_to("dot([[1,1,0]],[[0][0][1]])", "0");
assert_parsed_expression_simplify_to("dot([[1,1,1]],[[0,π,𝐢]])", "π+𝐢");
// Vector norm
assert_parsed_expression_simplify_to("norm([[1/√(2)][0][0]])", "√(2)/2");
assert_parsed_expression_simplify_to("norm([[1][2][3]])", "√(14)");
assert_parsed_expression_simplify_to("norm([[1][𝐢+1][π][-5]])", "√(π^2+28)");
assert_parsed_expression_simplify_to("norm([[1,𝐢+1,π,-5]])", "√(π^2+28)");
// Expressions with unreduced matrix
assert_reduce("confidence(cos(2)/25,3)→a");