Modulo_Ordering_test

ohhmm · Feb 14, 2025 · 0db4618 · 0db4618
1 parent d45ef0e
commit 0db4618
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/omnn/math/test/Modulo_test.cpp b/omnn/math/test/Modulo_test.cpp
@@ -107,3 +107,9 @@ BOOST_AUTO_TEST_CASE(IsModSimplifiable_test)
     BOOST_TEST(!result.first);
     BOOST_TEST(result.second == Valuable());
 }
+
+BOOST_AUTO_TEST_CASE(Modulo_Ordering_test) {
+    auto _1 = "(1 % ((Y ^ 4)))"_v;
+    auto _2 = "((-4 * (Y ^ 3)) % ((Y ^ 4)))"_v;
+    InequalOrderCheck(_1, _2);
+}
diff --git a/omnn/math/test/generic.hpp b/omnn/math/test/generic.hpp
@@ -166,5 +166,15 @@ void InequalOrderCheck(const Valuable& _1, const Valuable& _2)
     Sum{_1, _2};
 }
 
+void InequalOrderCheck(const Valuable& _1, const Valuable& _2)
+{
+    BOOST_TEST(_1 != _2);
+    auto before = _1.IsComesBefore(_2);
+    auto after = _2.IsComesBefore(_1);
+    BOOST_TEST(before != after);
+    Product{_1, _2};
+    Sum{_1, _2};
+}
+
 } // namespace