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] Add tests on Expression::sign properties

Browse Source
This commit is contained in:
Émilie Feral
2018-02-16 15:11:15 +01:00
committed by EmilieNumworks
parent 05055c387f
commit e94a1b1b86
3 changed files with 39 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
poincare/include/poincare/opposite.h
View File

@@ -13,6 +13,7 @@ public:
Expression * clone() const override;
Type type() const override;
int polynomialDegree(char symbolName) const override;
Sign sign() const override;
template<typename T> static Complex<T> compute(const Complex<T> c, AngleUnit angleUnit);
private:
/* Layout */

10
poincare/src/opposite.cpp
View File

@@ -27,6 +27,16 @@ int Opposite::polynomialDegree(char symbolName) const {
return operand(0)->polynomialDegree(symbolName);
}
Expression::Sign Opposite::sign() const {
if (operand(0)->sign() == Sign::Positive) {
return Sign::Negative;
}
if (operand(0)->sign() == Sign::Negative) {
return Sign::Positive;
}
return Sign::Unknown;
}
/* Layout */
bool Opposite::needParenthesisWithParent(const Expression * e) const {

28
poincare/test/properties.cpp
View File

@@ -6,6 +6,34 @@
using namespace Poincare;
constexpr Poincare::Expression::Sign Positive = Poincare::Expression::Sign::Positive;
constexpr Poincare::Expression::Sign Negative = Poincare::Expression::Sign::Negative;
constexpr Poincare::Expression::Sign Unknown = Poincare::Expression::Sign::Unknown;
void assert_parsed_expression_sign(const char * expression, Poincare::Expression::Sign sign) {
GlobalContext globalContext;
Expression * e = parse_expression(expression);
Expression::Simplify(&e, globalContext);
assert(e->sign() == sign);
delete e;
}
QUIZ_CASE(poincare_sign) {
assert_parsed_expression_sign("abs(-cos(2))", Positive);
assert_parsed_expression_sign("2.345E-23", Positive);
assert_parsed_expression_sign("-2.345E-23", Negative);
assert_parsed_expression_sign("2*(-3)*abs(-32)", Negative);
assert_parsed_expression_sign("2*(-3)*abs(-32)*cos(3)", Unknown);
assert_parsed_expression_sign("2^(-abs(3))", Positive);
assert_parsed_expression_sign("(-2)^4", Positive);
assert_parsed_expression_sign("(-2)^3", Negative);
assert_parsed_expression_sign("random()", Positive);
assert_parsed_expression_sign("42/3", Positive);
assert_parsed_expression_sign("-23/32", Negative);
assert_parsed_expression_sign("P", Positive);
assert_parsed_expression_sign("X", Positive);
}
QUIZ_CASE(poincare_polynomial_degree) {
assert_parsed_expression_polynomial_degree("x+1", 1);
assert_parsed_expression_polynomial_degree("cos(2)+1", 0);