From f73660c6c60038bfc36cec2ff83e93dc0bee0954 Mon Sep 17 00:00:00 2001 From: skimo Date: Sat, 4 Sep 2004 10:51:59 +0000 Subject: [PATCH] some vector partition examples --- tests/ehrhart/A3 | 16 ++++++++++++++++ tests/ehrhart/sturmfels | 12 ++++++++++++ 2 files changed, 28 insertions(+) create mode 100644 tests/ehrhart/A3 create mode 100644 tests/ehrhart/sturmfels diff --git a/tests/ehrhart/A3 b/tests/ehrhart/A3 new file mode 100644 index 0000000..dd6b5fb --- /dev/null +++ b/tests/ehrhart/A3 @@ -0,0 +1,16 @@ +# nr_constraints nr_columns +9 11 +# first column: 0: equality; 1: inequality +# "variables" first; then the "parameters"; finally the constant +0 1 0 0 1 1 0 -1 0 0 0 +0 0 1 0 1 1 1 0 -1 0 0 +0 0 0 1 0 1 1 0 0 -1 0 +1 1 0 0 0 0 0 0 0 0 0 +1 0 1 0 0 0 0 0 0 0 0 +1 0 0 1 0 0 0 0 0 0 0 +1 0 0 0 1 0 0 0 0 0 0 +1 0 0 0 0 1 0 0 0 0 0 +1 0 0 0 0 0 1 0 0 0 0 + +# 5 = 1 + 3 + 1 => 3 parameters +0 5 diff --git a/tests/ehrhart/sturmfels b/tests/ehrhart/sturmfels new file mode 100644 index 0000000..9d3b0d7 --- /dev/null +++ b/tests/ehrhart/sturmfels @@ -0,0 +1,12 @@ +9 11 +0 2 1 1 0 0 0 -1 0 0 0 +0 0 1 0 2 1 0 0 -1 0 0 +0 0 0 1 0 1 2 0 0 -1 0 +1 1 0 0 0 0 0 0 0 0 0 +1 0 1 0 0 0 0 0 0 0 0 +1 0 0 1 0 0 0 0 0 0 0 +1 0 0 0 1 0 0 0 0 0 0 +1 0 0 0 0 1 0 0 0 0 0 +1 0 0 0 0 0 1 0 0 0 0 + +0 5 -- 2.11.4.GIT