From 75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5 Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Sat, 17 Sep 2016 03:22:53 +0000
Subject: cmake build

---
 omega/examples/hull.out | 40 ----------------------------------------
 1 file changed, 40 deletions(-)
 delete mode 100644 omega/examples/hull.out

(limited to 'omega/examples/hull.out')

diff --git a/omega/examples/hull.out b/omega/examples/hull.out
deleted file mode 100644
index 8d53f57..0000000
--- a/omega/examples/hull.out
+++ /dev/null
@@ -1,40 +0,0 @@
->>> # test new hull calculation method RectHull
->>> 
->>> symbolic m,n;
->>> 
->>> r1 := {[i,j]: i>=0 && j>=0 && i+j<=1};
->>> r2 := {[i,j]: j>=0 && i<=1 && j<=i};
->>> 
->>> ConvexHull (r1 union r2);
-{[i,j]: 0 <= i <= 1 && 0 <= j <= 1}
->>> RectHull (r1 union r2);
-{[i,j]: 0 <= i <= 1 && 0 <= j <= 1}
->>> QuickHull (r1 union r2);
-{[i,j]: 0 <= j}
->>> Hull (r1 union r2);
-{[i,j]: 0 <= i <= 1 && 0 <= j <= 1}
->>> 
->>> r1 := {[i]:i<=n && n>=7};
->>> r2 := {[i]:i<=n-2 && n>=6};
->>> 
->>> ConvexHull (r1 union r2);
-{[i]: i <= 3n-14, n && 6 <= n}
->>> RectHull (r1 union r2);
-{[i]: i <= n && 6 <= n}
->>> QuickHull (r1 union r2);
-{[i]: i <= n && 6 <= n}
->>> Hull (r1 union r2);
-{[i]: i <= n, 3n-14 && 6 <= n}
->>> 
->>> r1 := {[i,j]:0<=i,j<=2};
->>> r2 := {[i,j]:0<=i && 1<=j && i+j<=4};
->>> 
->>> ConvexHull (r1 union r2);
-{[i,j]: 0 <= i <= j+2, -j+4 && 0 <= j}
->>> RectHull (r1 union r2);
-{[i,j]: 0 <= i <= -j+4, 3 && 0 <= j}
->>> QuickHull (r1 union r2);
-{[i,j]: 0 <= i && 0 <= j}
->>> Hull (r1 union r2);
-{[i,j]: 0 <= i <= -j+4, j+2 && 0 <= j}
-
-- 
cgit v1.2.3-70-g09d2