[mathicgb] 137/393: Updated test list from pict.
Doug Torrance
dtorrance-guest at moszumanska.debian.org
Fri Apr 3 15:58:49 UTC 2015
This is an automated email from the git hooks/post-receive script.
dtorrance-guest pushed a commit to branch upstream
in repository mathicgb.
commit 96e91c9409bf6c5506f15a11a358708e6ec27be4
Author: Bjarke Hammersholt Roune <bjarkehr.code at gmail.com>
Date: Thu Jan 24 17:51:33 2013 +0100
Updated test list from pict.
---
src/test/gb-test.cpp | 215 ++++++++++++++++++++++++++-------------------------
1 file changed, 109 insertions(+), 106 deletions(-)
diff --git a/src/test/gb-test.cpp b/src/test/gb-test.cpp
index 3579d14..85127ce 100755
--- a/src/test/gb-test.cpp
+++ b/src/test/gb-test.cpp
@@ -74,112 +74,114 @@ spairQueue reducerType divLookup monTable buchberger postponeKoszul useBaseDivis
0 0 1 0 1 0 0 1 1 0 0 0 8
1 5 2 1 1 0 0 1 1 0 0 0 8
3 7 2 2 1 0 0 1 1 0 0 0 2
-0 25 1 0 0 1 1 0 0 0 0 1 8
-2 3 1 0 0 1 1 0 0 0 1 10 1
-1 2 2 2 1 0 0 1 0 1 0 100 8
-2 21 1 1 0 0 0 0 0 1 1 100 2
-1 22 2 1 1 0 0 0 1 1 0 10 1
-3 17 2 0 0 1 1 0 0 0 1 2 8
-3 1 1 0 1 0 0 0 1 0 0 1 1
-0 19 1 1 0 1 0 0 0 1 1 10 1
-1 20 1 2 0 1 0 0 0 0 1 0 2
-2 24 2 1 1 0 0 1 1 0 0 0 8
-2 7 1 1 0 1 1 0 0 1 1 2 1
-2 25 2 1 0 0 0 0 0 1 1 10 1
-3 19 2 0 1 0 0 1 1 0 0 1 2
-1 7 1 0 0 1 1 0 0 1 1 10 8
-0 1 2 2 0 1 1 0 0 1 1 100 2
-2 10 1 0 0 1 1 0 0 1 1 10 8
-0 7 1 0 1 0 0 0 1 0 0 1 8
-0 17 1 1 0 1 0 0 0 0 1 10 2
-3 9 2 0 0 1 1 0 0 0 1 10 8
-1 9 2 2 1 0 0 1 0 0 0 1 1
-0 16 1 2 0 0 1 0 0 1 1 2 8
-3 12 2 1 0 1 1 0 0 1 1 10 2
-3 22 1 0 0 1 1 0 0 0 1 0 8
-0 18 2 0 1 0 0 0 1 1 0 2 8
-1 19 2 2 0 0 1 0 0 0 1 2 8
-1 25 1 2 0 0 1 0 0 0 1 0 2
-0 13 2 2 0 1 1 0 0 0 1 2 2
-1 18 1 2 0 1 1 0 0 0 1 1 2
-2 22 2 2 1 0 0 1 0 0 0 1 2
-3 25 2 2 0 0 0 0 0 1 1 100 2
-0 22 1 1 0 0 1 0 0 0 1 100 2
-3 22 1 0 0 1 1 0 0 0 0 2 2
-1 17 2 2 1 0 0 1 0 0 0 0 2
-0 10 1 2 1 0 0 1 0 0 0 1 2
-0 7 2 2 1 0 0 1 1 0 0 100 2
-3 3 1 1 0 0 1 0 0 0 1 2 2
-2 15 2 1 1 0 0 1 0 1 0 0 1
-0 4 1 0 1 0 0 1 1 0 0 10 1
-1 21 2 0 1 0 0 1 1 0 0 10 8
-3 20 2 1 1 0 0 1 1 1 0 100 8
-2 14 1 2 0 1 1 0 0 0 1 2 1
-2 23 1 2 0 1 1 0 0 1 1 2 1
-3 18 1 1 1 0 0 1 1 0 0 10 1
-3 8 1 2 1 0 0 1 1 0 0 10 8
-2 19 2 1 1 0 0 1 1 1 0 100 8
-2 5 2 0 0 0 1 0 0 1 1 100 8
-1 14 2 0 1 0 0 1 1 1 0 1 2
-0 14 2 1 0 1 0 0 0 1 1 0 8
-3 14 1 0 0 1 1 0 0 0 1 10 2
-1 13 2 0 1 0 0 0 1 1 0 100 1
-3 24 2 0 0 0 1 0 0 0 0 1 1
-3 21 1 2 0 1 1 0 0 0 0 0 1
-2 16 2 0 1 0 0 1 1 0 0 100 2
-1 0 2 2 1 0 0 0 1 1 0 100 1
-0 9 2 0 0 0 1 0 0 0 0 0 8
-3 13 1 0 0 0 0 0 0 1 1 0 1
-2 1 2 1 1 0 0 1 1 0 0 10 8
-0 24 2 2 1 0 0 1 0 1 0 10 2
-3 16 1 1 1 0 0 1 1 1 0 0 1
-0 23 2 1 0 1 1 0 0 1 1 10 8
-3 23 1 0 0 0 1 0 0 0 0 1 2
-3 6 1 1 1 0 0 0 1 1 0 1 8
-3 13 1 1 1 0 0 1 0 0 0 10 2
-2 20 2 0 0 1 1 0 0 0 1 1 1
-2 11 1 0 0 1 1 0 0 1 1 1 1
-3 2 1 1 0 1 1 0 0 0 1 1 2
-0 2 2 0 0 1 0 0 0 1 1 10 1
-1 16 2 2 0 1 1 0 0 0 1 10 1
-1 8 1 1 1 0 0 1 0 1 0 0 2
-3 6 2 0 0 1 0 0 0 1 1 2 2
-0 25 2 0 1 0 0 1 1 0 0 2 2
-1 19 2 0 0 0 0 0 0 1 1 0 8
-0 12 2 2 0 1 0 0 0 1 1 0 8
-1 3 1 1 0 0 1 0 0 1 1 0 8
-0 21 1 1 0 0 1 0 0 0 1 2 8
-2 8 1 0 0 1 0 0 0 1 1 1 1
-1 11 2 1 1 0 0 1 1 1 0 10 8
-3 24 1 1 0 1 0 0 0 0 1 100 8
-2 18 1 0 1 0 0 1 0 0 0 100 1
-2 2 1 1 1 0 0 1 1 1 0 0 8
-3 10 2 2 0 1 1 0 0 0 1 0 1
-1 4 2 2 0 0 1 0 0 1 1 2 2
-0 3 1 2 1 0 0 1 0 1 0 100 2
-3 11 1 2 0 0 1 0 0 0 1 0 1
-2 4 2 0 1 0 0 0 1 1 0 1 8
-0 4 1 0 0 1 1 0 0 1 0 0 2
-1 12 2 2 1 0 0 1 1 0 0 2 1
-1 10 2 0 0 0 0 0 0 0 1 100 2
-1 1 2 2 0 1 0 0 0 0 1 2 2
-2 8 1 1 0 1 1 0 0 0 1 2 2
-2 23 2 0 0 1 0 0 0 1 1 0 2
-2 17 2 2 0 0 1 0 0 0 0 1 8
-3 12 1 0 0 1 1 0 0 1 1 100 2
-0 11 1 0 0 0 0 0 0 0 1 2 2
-0 16 1 2 1 0 0 1 1 1 0 1 8
-1 21 2 2 0 1 0 0 0 1 1 1 1
-0 20 1 0 1 0 0 0 1 1 0 10 8
-3 20 2 1 0 0 1 0 0 0 1 2 2
-3 0 2 2 1 0 0 1 0 1 0 2 8
-0 9 1 2 0 0 1 0 0 0 1 2 2
-3 5 2 0 1 0 0 1 1 1 0 2 2
-3 14 1 0 0 0 0 0 0 0 0 100 2
-0 2 2 0 1 0 0 0 1 0 0 2 8
-0 15 1 1 0 0 0 0 0 1 1 2 2
-0 18 1 0 1 0 0 1 0 0 0 0 8
-1 1 2 1 0 0 1 0 0 1 1 0 8
+3 25 1 0 1 0 0 0 0 0 0 1 8
+2 5 1 0 1 0 0 1 1 0 0 100 2
+0 19 2 1 0 1 1 0 0 0 0 0 2
+0 25 2 1 1 0 0 1 1 1 0 10 1
+3 6 1 0 0 1 0 0 0 0 1 1 2
+2 3 1 0 0 1 1 0 0 0 1 2 8
+0 9 2 0 0 1 1 0 0 0 1 2 8
+3 5 2 2 0 0 0 0 0 0 1 2 2
+3 0 2 2 0 0 1 0 0 1 0 100 1
+2 18 2 1 0 0 1 0 0 0 0 1 1
+0 21 1 1 1 0 0 1 1 1 0 100 8
+1 4 1 2 1 0 0 1 1 0 0 10 1
+0 22 1 1 1 0 0 1 0 0 0 1 8
+2 11 1 1 0 1 1 0 0 1 1 2 8
+3 11 2 0 0 0 0 0 0 1 1 1 1
+1 19 1 2 0 0 0 0 0 1 1 1 1
+1 9 1 2 1 0 0 1 0 1 0 10 1
+0 13 2 0 0 1 1 0 0 0 1 0 1
+2 20 1 1 1 0 0 1 1 1 0 100 8
+2 1 1 0 0 1 1 0 0 1 0 10 2
+1 18 1 2 0 1 0 0 0 1 1 2 8
+3 19 1 0 1 0 0 1 1 0 0 100 8
+1 13 2 2 0 1 1 0 0 1 1 100 2
+2 8 1 1 1 0 0 1 1 0 0 10 2
+3 23 1 1 0 1 1 0 0 1 1 0 1
+2 7 1 1 0 1 1 0 0 1 1 2 8
+3 17 2 1 0 1 1 0 0 0 1 2 2
+0 23 2 2 1 0 0 0 1 1 0 2 8
+3 20 2 2 0 1 1 0 0 0 1 1 1
+1 3 2 1 0 0 1 0 0 0 1 100 2
+3 22 2 2 0 1 1 0 0 1 1 0 2
+0 4 1 0 1 0 0 1 1 0 0 2 2
+3 12 2 1 0 1 1 0 0 1 1 100 8
+2 15 2 1 1 0 0 0 1 1 0 0 1
+2 14 1 0 0 1 0 0 0 0 1 10 2
+2 4 1 2 0 1 1 0 0 1 0 1 2
+0 14 2 2 1 0 0 1 1 1 0 0 1
+3 13 1 0 1 0 0 1 0 1 0 10 1
+1 12 2 2 1 0 0 1 1 1 0 2 2
+2 19 2 2 0 0 0 0 0 1 1 2 1
+1 0 2 1 0 1 0 0 0 1 0 2 8
+3 8 2 2 1 0 0 0 1 1 0 0 8
+1 15 1 2 1 0 0 1 1 0 0 2 2
+2 23 1 0 0 1 0 0 0 0 1 10 8
+3 18 2 0 1 0 0 1 1 1 0 10 2
+3 10 1 2 0 1 1 0 0 1 1 100 8
+1 22 2 0 1 0 0 1 1 1 0 2 1
+1 16 2 1 0 0 0 0 0 0 1 0 8
+3 21 2 0 0 1 1 0 0 0 1 2 2
+1 11 2 2 0 1 1 0 0 0 1 0 1
+3 9 2 1 1 0 0 0 1 1 0 0 1
+2 16 1 2 1 0 0 1 1 1 0 100 1
+0 18 2 2 0 0 0 0 0 1 0 100 2
+1 1 2 1 0 0 0 0 0 0 1 2 1
+0 17 2 2 0 0 0 0 0 0 1 1 8
+3 16 2 0 1 0 0 1 0 0 0 1 2
+1 11 2 2 1 0 0 1 0 1 0 10 2
+0 1 2 2 0 1 0 0 0 0 1 0 8
+1 21 1 2 1 0 0 1 1 1 0 10 1
+2 22 2 2 1 0 0 1 0 1 0 10 1
+1 25 2 2 1 0 0 0 1 1 0 100 2
+1 14 1 1 0 0 1 0 0 1 1 100 8
+1 22 2 0 1 0 0 1 1 1 0 100 8
+3 23 2 2 1 0 0 0 1 1 0 1 2
+0 10 1 0 0 0 0 0 0 0 1 10 2
+3 24 2 0 1 0 0 1 1 0 0 100 1
+3 3 2 2 0 0 1 0 0 0 1 10 1
+2 2 2 1 0 1 1 0 0 0 1 1 1
+2 25 1 1 1 0 0 1 0 1 0 0 1
+2 24 2 1 0 0 1 0 0 0 0 0 8
+1 7 2 0 0 1 0 0 0 0 1 10 1
+0 12 2 1 1 0 0 1 0 0 0 0 8
+0 25 1 1 1 0 0 0 1 1 0 2 2
+1 20 1 0 1 0 0 0 1 0 0 2 2
+0 19 2 0 1 0 0 1 0 0 0 10 8
+0 6 1 0 0 1 1 0 0 1 0 2 1
+1 2 1 2 1 0 0 1 1 1 0 10 2
+2 21 2 1 1 0 0 1 1 1 0 0 8
+0 24 2 0 1 0 0 1 1 1 0 1 1
+1 17 2 2 1 0 0 1 1 1 0 10 2
+0 7 2 0 1 0 0 1 0 0 0 1 8
+1 8 2 0 0 1 1 0 0 1 1 2 2
+0 20 2 0 0 0 0 0 0 1 1 10 1
+3 1 1 0 0 0 1 0 0 0 1 100 1
+3 18 2 2 1 0 0 1 1 0 0 0 1
+3 14 2 0 0 0 0 0 0 1 1 1 8
+2 10 2 2 1 0 0 1 0 1 0 1 8
+2 17 2 0 1 0 0 1 1 0 0 0 8
+0 12 1 0 0 1 0 0 0 0 1 10 1
+2 9 2 2 0 1 0 0 0 0 1 1 2
+3 10 1 0 0 0 1 0 0 1 0 0 1
+0 2 2 0 0 1 0 0 0 1 1 2 8
+3 2 2 0 0 0 0 0 0 1 1 0 2
+2 4 2 0 0 0 0 0 0 0 0 0 2
+0 16 1 1 1 0 0 1 1 0 0 10 2
+3 13 2 2 0 1 0 0 0 1 1 2 8
+3 7 2 0 1 0 0 1 1 1 0 100 1
+3 8 2 1 0 1 0 0 0 1 1 1 8
+2 1 2 0 0 1 0 0 0 0 1 1 8
+3 20 1 1 0 1 0 0 0 0 0 0 2
+2 14 1 1 0 1 0 0 0 1 1 2 8
+2 2 1 2 1 0 0 1 0 0 0 100 1
+2 21 2 1 1 0 0 1 0 1 0 1 2
+3 24 2 2 0 1 1 0 0 1 1 10 1
+3 3 2 2 0 0 0 0 0 0 1 0 1
+2 1 1 0 1 0 0 1 1 0 0 1 8
+1 16 1 1 0 1 1 0 0 0 0 2 2
+0 3 2 0 1 0 0 1 1 0 0 0 1
);
std::istringstream tests(allPairsTests);
// skip the initial line with the parameter names.
@@ -268,6 +270,7 @@ spairQueue reducerType divLookup monTable buchberger postponeKoszul useBaseDivis
// combinations.
MATHICGB_ASSERT(buchberger || !autoTopReduce);
MATHICGB_ASSERT(buchberger || !autoTailReduce);
+ MATHICGB_ASSERT(buchberger || reducerType != 25);
MATHICGB_ASSERT(!buchberger || !postponeKoszul);
MATHICGB_ASSERT(!buchberger || !useBaseDivisors);
MATHICGB_ASSERT(!buchberger || !useSingularCriterionEarly);
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/mathicgb.git
More information about the debian-science-commits
mailing list