From d08d381115a7a55c81ffbd4d48b4f5f724f27cd4 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 3 Sep 2019 15:34:00 -0700
Subject: [PATCH] remove an unused test file

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/test/emonomials.cpp | 36 ------------------------------------
 1 file changed, 36 deletions(-)
 delete mode 100644 src/test/emonomials.cpp

diff --git a/src/test/emonomials.cpp b/src/test/emonomials.cpp
deleted file mode 100644
index f5d7e6e94..000000000
--- a/src/test/emonomials.cpp
+++ /dev/null
@@ -1,36 +0,0 @@
-#include "util/lp/emonomials.h"
-
-static void display_mons(nla::emonomials const& em) {
-    std::cout << em << "\n";
-    for (auto const& m1 : em) {
-        std::cout << "factors: " << m1 << ": \n";
-        for (auto const& m2 : em.get_factors_of(m1)) {
-            std::cout << m2 << "\n";
-        }
-    }
-}
-
-void tst_emonomials() {
-    nla::var_eqs ve;
-    nla::emonomials em(ve);
-
-    unsigned x = 1;
-    unsigned y = 2;
-    unsigned z = 3;
-    unsigned u = 4;
-    unsigned v1 = 5;
-    unsigned v2 = 6;
-    unsigned v3 = 7;
-    em.add(v1, x, x);
-    em.add(v2, x, z);
-    em.add(v3, x, y, x);
-    display_mons(em);
-    em.push();
-    ve.merge_plus(x, y, nla::eq_justification({}));
-    display_mons(em);
-    em.push();
-    ve.merge_plus(x, z, nla::eq_justification({}));
-    display_mons(em);
-    em.pop(1);
-    display_mons(em);
-}