1 files changed, 0 insertions, 22 deletions
diff --git a/omegalib/examples/old_test/pufs5 b/omegalib/examples/old_test/pufs5
deleted file mode 100644
index 19249af..0000000
--- a/omegalib/examples/old_test/pufs5
+++ /dev/null
@@ -1,22 +0,0 @@
-symbolic n(1);
-S :=  { [i] -> [j] : 1 <= i < j <= 100 && n(j) >= 0};
-R := domain S;
-S;
-R;
-upper_bound R;
-lower_bound R;
-
-R - {[1:50]};
-{[1:50]} - R;
-{[1:50]} - upper_bound R;
-{[1:50]} - lower_bound R;
-
-R union {[10:30]}  union {[25:100]} union {[1:10]};
-upper_bound (R union {[10:30]}  union {[25:100]} union {[1:10]});
-lower_bound (R union {[10:30]}  union {[25:100]} union {[1:10]});
-
-{[101:200]} - R;
-{[1:200]} - R;
-{[1:200]} - R - {[10:30]}  - {[25:100]};
-{[1:200]} - (R union {[10:30]}  union {[25:100]} union {[1:10]});
-{[1:200]} - R - {[10:30]}  - {[25:100]} - {[1:10]};