SumSurdReduce_test

ohhmm · Jan 24, 2025 · 1ebc9c6 · 1ebc9c6
1 parent 111cd1e
commit 1ebc9c6
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/omnn/math/test/Sum_test.cpp b/omnn/math/test/Sum_test.cpp
@@ -39,6 +39,16 @@ BOOST_AUTO_TEST_CASE(SumBalancingTest) {
     BOOST_TEST(_.size() == 2);
 }
 
+BOOST_AUTO_TEST_CASE(SumSurdReduce_test) {
+    auto equation = "-4 + sqrt(-1*(x^2) + 8)"_v;
+    auto reduced = equation.Optimized(Valuable::View::SupersetOfRoots);
+    auto& variable = *equation.FindVa();
+    auto roots = reduced.solve(variable);
+    BOOST_TEST(roots.size() == 2);
+    roots = equation.solve(variable);
+    BOOST_TEST(roots.size() == 2);
+}
+
 BOOST_AUTO_TEST_CASE(SumMultivalTestRootTest
     , *disabled()
 ) {