UpsilonNumworks/Upsilon
1
0
Fork 0
mirror of https://github.com/UpsilonNumworks/Upsilon.git synced 2026-03-18 21:30:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

[poincare/test] Factor assertions

Browse Source
This commit is contained in:
Ruben Dashyan
2020-03-27 11:48:35 +01:00
committed by Émilie Feral
parent 651b705dbd
commit c71cce2957
2 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
poincare/test/expression_properties.cpp
View File

@@ -328,7 +328,6 @@ void assert_reduced_expression_has_polynomial_coefficient(const char * expressio
int d = e.getPolynomialReducedCoefficients(symbolName, coefficientBuffer, &globalContext, complexFormat, Radian, symbolicComputation);
for (int i = 0; i <= d; i++) {
Expression f = parse_expression(coefficients[i], &globalContext, false);
quiz_assert(!f.isUninitialized());
coefficientBuffer[i] = coefficientBuffer[i].reduce(ExpressionNode::ReductionContext(&globalContext, complexFormat, angleUnit, SystemForAnalysis, symbolicComputation));
f = f.reduce(ExpressionNode::ReductionContext(&globalContext, complexFormat, angleUnit, SystemForAnalysis, symbolicComputation));
quiz_assert_print_if_failure(coefficientBuffer[i].isIdenticalTo(f), expression);

3
poincare/test/helper.cpp
View File

@@ -72,14 +72,13 @@ void assert_parsed_expression_process_to(const char * expression, const char * r
Poincare::Expression parse_expression(const char * expression, Context * context, bool addParentheses) {
Expression result = Expression::Parse(expression, context, addParentheses);
quiz_assert(!result.isUninitialized());
quiz_assert_print_if_failure(!result.isUninitialized(), expression);
return result;
}
void assert_simplify(const char * expression, Preferences::AngleUnit angleUnit, Preferences::ComplexFormat complexFormat, ExpressionNode::ReductionTarget target) {
Shared::GlobalContext globalContext;
Expression e = parse_expression(expression, &globalContext, false);
quiz_assert_print_if_failure(!e.isUninitialized(), expression);
e = e.simplify(ExpressionNode::ReductionContext(&globalContext, complexFormat, angleUnit, target));
quiz_assert_print_if_failure(!(e.isUninitialized()), expression);
}