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] Store: add tests with 1 circular function and 2 defined

Browse Source 
functions
This commit is contained in:
Émilie Feral
2018-11-15 14:20:02 +01:00
parent b4098fb5e2
commit b78f25f9bd
1 changed files with 20 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
poincare/test/store.cpp
View File

@@ -125,6 +125,26 @@ QUIZ_CASE(poincare_store_3_circular_variables) {
Ion::Storage::sharedStorage()->recordNamed("c.exp").destroy();
}
QUIZ_CASE(poincare_store_1_circular_function) {
// g: x -> f(x)+1
assert_simplify("f(x)+1>g(x)");
assert_parsed_expression_evaluates_to<double>("g(1)", "undef");
// f: x -> x+1
assert_simplify("x+1>f(x)");
assert_parsed_expression_evaluates_to<double>("g(1)", "3");
assert_parsed_expression_evaluates_to<double>("f(1)", "2");
// h: x -> h(x)
assert_simplify("h(x)>h(x)");
assert_parsed_expression_evaluates_to<double>("f(1)", "2");
assert_parsed_expression_evaluates_to<double>("g(1)", "3");
assert_parsed_expression_evaluates_to<double>("h(1)", "undef");
// Clean the storage for other tests
Ion::Storage::sharedStorage()->recordNamed("f.func").destroy();
Ion::Storage::sharedStorage()->recordNamed("g.func").destroy();
Ion::Storage::sharedStorage()->recordNamed("h.func").destroy();
}
QUIZ_CASE(poincare_store_2_circular_functions) {
assert_simplify("f(x)>g(x)");
assert_simplify("g(x)>f(x)");