mirror of
https://github.com/UpsilonNumworks/Upsilon.git
synced 2026-01-19 00:37:25 +01:00
50 lines
2.0 KiB
C++
50 lines
2.0 KiB
C++
#include <quiz.h>
|
|
#include <ion.h>
|
|
#include <assert.h>
|
|
#include "helper.h"
|
|
#if POINCARE_TESTS_PRINT_EXPRESSIONS
|
|
#include "../src/expression_debug.h"
|
|
#include <iostream>
|
|
using namespace std;
|
|
#endif
|
|
|
|
using namespace Poincare;
|
|
|
|
QUIZ_CASE(poincare_infinity) {
|
|
|
|
// 0 and infinity
|
|
assert_parsed_expression_simplify_to("0/0", Undefined::Name());
|
|
assert_parsed_expression_simplify_to("0/inf", "0");
|
|
assert_parsed_expression_simplify_to("inf/0", Undefined::Name());
|
|
assert_parsed_expression_simplify_to("0*inf", Undefined::Name());
|
|
assert_parsed_expression_simplify_to("3*inf/inf", "undef");
|
|
assert_parsed_expression_simplify_to("1E1000", "inf");
|
|
assert_parsed_expression_simplify_to("-1E1000", "-inf");
|
|
assert_parsed_expression_simplify_to("-1E-1000", "0");
|
|
assert_parsed_expression_simplify_to("1E-1000", "0");
|
|
assert_parsed_expression_evaluates_to<double>("1*10^1000", "inf");
|
|
|
|
assert_parsed_expression_simplify_to("inf^(-1)", "0");
|
|
assert_parsed_expression_simplify_to("(-inf)^(-1)", "0");
|
|
assert_parsed_expression_simplify_to("inf^(-R(2))", "0");
|
|
assert_parsed_expression_simplify_to("(-inf)^(-R(2))", "0");
|
|
assert_parsed_expression_simplify_to("inf^2", "inf");
|
|
assert_parsed_expression_simplify_to("(-inf)^2", "inf");
|
|
assert_parsed_expression_simplify_to("inf^R(2)", "inf");
|
|
assert_parsed_expression_simplify_to("(-inf)^R(2)", "inf*(-1)^R(2)");
|
|
assert_parsed_expression_simplify_to("inf^x", "inf^x");
|
|
assert_parsed_expression_simplify_to("1/inf+24", "24");
|
|
assert_parsed_expression_simplify_to("X^(inf)/inf", "0*X^inf");
|
|
|
|
// Logarithm
|
|
assert_parsed_expression_simplify_to("log(inf,0)", "undef");
|
|
assert_parsed_expression_simplify_to("log(inf,1)", "undef");
|
|
assert_parsed_expression_simplify_to("log(0,inf)", "undef");
|
|
assert_parsed_expression_simplify_to("log(1,inf)", "0");
|
|
assert_parsed_expression_simplify_to("log(inf,inf)", "undef");
|
|
|
|
assert_parsed_expression_simplify_to("ln(inf)", "inf");
|
|
assert_parsed_expression_simplify_to("ln(inf)*0", "undef");
|
|
|
|
}
|