diff --git a/Makefile.am b/Makefile.am
index 6a77d5d0..2efb334c 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -14,7 +14,8 @@ check_PROGRAMS		= neogb_io \
 
 checkdiff               = test/diff/diff_cp_d_3_n_4_p_2.sh \
 			  test/diff/diff_eco11-31.sh \
-			  test/diff/diff_elim-31.sh \
+        test/diff/diff_truncate_gb.sh \
+        test/diff/diff_elim-31.sh \
 			  test/diff/diff_elim-qq.sh \
 			  test/diff/diff_F4SAT-31.sh \
 			  test/diff/diff_F4SAT-byone-31.sh \
diff --git a/configure.ac b/configure.ac
index 24d227d7..715dcabf 100644
--- a/configure.ac
+++ b/configure.ac
@@ -138,9 +138,12 @@ AC_CONFIG_LINKS([
  output_files/nonradical_radicalshape-no-square-qq.res:output_files/nonradical_radicalshape-no-square-qq.res
  output_files/nonradical_radicalshape-no-square-qq.p3.res:output_files/nonradical_radicalshape-no-square-qq.p3.res
  test/diff/diff_nonradical_radicalshape-no-square-qq.sh:test/diff/diff_nonradical_radicalshape-no-square-qq.sh
-input_files/one-16.ms:input_files/one-16.ms
+ input_files/one-16.ms:input_files/one-16.ms
  output_files/one-16.res:output_files/one-16.res
  test/diff/diff_one-16.sh:test/diff/diff_one-16.sh
+ input_files/kat8-qq-truncate.ms:input_files/kat8-qq-truncate.ms
+ output_files/kat8-qq-truncate.res:output_files/kat8-qq-truncate.res
+ test/diff/diff_truncate_gb.sh:test/diff/diff_truncate_gb.sh
  input_files/one-31.ms:input_files/one-31.ms
  output_files/one-31.res:output_files/one-31.res
  test/diff/diff_one-31.sh:test/diff/diff_one-31.sh
diff --git a/input_files/kat8-qq-truncate.ms b/input_files/kat8-qq-truncate.ms
new file mode 100644
index 00000000..0c841b08
--- /dev/null
+++ b/input_files/kat8-qq-truncate.ms
@@ -0,0 +1,10 @@
+x1,x2,x3,x4,x5,x6,x7,x8
+0
+x1+2*x2+2*x3+2*x4+2*x5+2*x6+2*x7+2*x8-1,
+x1^2+2*x2^2+2*x3^2+2*x4^2+2*x5^2+2*x6^2+2*x7^2+2*x8^2-x1,
+2*x1*x2+2*x2*x3+2*x3*x4+2*x4*x5+2*x5*x6+2*x6*x7+2*x7*x8-x2,
+x2^2+2*x1*x3+2*x2*x4+2*x3*x5+2*x4*x6+2*x5*x7+2*x6*x8-x3,
+2*x2*x3+2*x1*x4+2*x2*x5+2*x3*x6+2*x4*x7+2*x5*x8-x4,
+x3^2+2*x2*x4+2*x1*x5+2*x2*x6+2*x3*x7+2*x4*x8-x5,
+2*x3*x4+2*x2*x5+2*x1*x6+2*x2*x7+2*x3*x8-x6,
+x4^2+2*x3*x5+2*x2*x6+2*x1*x7+2*x2*x8-x7
diff --git a/output_files/kat8-qq-truncate.res b/output_files/kat8-qq-truncate.res
new file mode 100644
index 00000000..e83b571a
--- /dev/null
+++ b/output_files/kat8-qq-truncate.res
@@ -0,0 +1,13 @@
+#Truncated reduced Groebner basis data
+#---
+#field characteristic: 0
+#variable order:       x1, x2, x3, x4, x5, x6, x7, x8
+#monomial order:       graded reverse lexicographical
+#length of basis:      5 elements sorted by increasing leading monomials
+#---
+[x1+2*x2+2*x3+2*x4+2*x5+2*x6+2*x7+2*x8-1, 
+15*x5^2+30*x4*x6+64*x5*x6+51*x6^2+30*x3*x7+64*x4*x7+102*x5*x7+144*x6*x7+95*x7^2+30*x2*x8+64*x3*x8+102*x4*x8+144*x5*x8+190*x6*x8+240*x7*x8+147*x8^2-1*x2-4*x3-9*x4-16*x5-25*x6-36*x7-49*x8, 
+30*x4*x5+30*x3*x6-34*x5*x6-36*x6^2+30*x2*x7-34*x4*x7-72*x5*x7-114*x6*x7-80*x7^2-60*x2*x8-94*x3*x8-132*x4*x8-174*x5*x8-220*x6*x8-270*x7*x8-192*x8^2+x2+4*x3+9*x4+16*x5+25*x6+36*x7+64*x8, 
+x4^2+2*x3*x5+2*x2*x6-4*x2*x7-4*x3*x7-4*x4*x7-4*x5*x7-4*x6*x7-4*x7^2+2*x2*x8-4*x7*x8+x7, 
+2*x3*x4+2*x2*x5-4*x2*x6-4*x3*x6-4*x4*x6-4*x5*x6-4*x6^2+2*x2*x7-4*x6*x7+2*x3*x8-4*x6*x8+x6
+]:
diff --git a/test/diff/diff_truncate_gb.sh b/test/diff/diff_truncate_gb.sh
new file mode 100755
index 00000000..e3a0077b
--- /dev/null
+++ b/test/diff/diff_truncate_gb.sh
@@ -0,0 +1,49 @@
+#!/bin/bash
+
+file=kat8-qq-truncate
+
+$(pwd)/msolve -f input_files/$file.ms -o test/diff/$file.res \
+      -N 5 -g 2 -l 2 -t 1
+if [ $? -gt 0 ]; then
+    exit 1
+fi
+
+diff test/diff/$file.res output_files/$file.res
+if [ $? -gt 0 ]; then
+    exit 2
+fi
+
+$(pwd)/msolve -f input_files/$file.ms -o test/diff/$file.res \
+      -N 5 -g 2 -l 2 -t 2
+if [ $? -gt 0 ]; then
+    exit 21
+fi
+
+diff test/diff/$file.res output_files/$file.res
+if [ $? -gt 0 ]; then
+    exit 22
+fi
+
+$(pwd)/msolve -f input_files/$file.ms -o test/diff/$file.res \
+      -N 5 -g 2 -l 44 -t 1
+if [ $? -gt 0 ]; then
+    exit 41
+fi
+
+diff test/diff/$file.res output_files/$file.res
+if [ $? -gt 0 ]; then
+    exit 42
+fi
+
+$(pwd)/msolve -f input_files/$file.ms -o test/diff/$file.res \
+      -N 5 -g 2 -l 44 -t 2
+if [ $? -gt 0 ]; then
+    exit 61
+fi
+
+diff test/diff/$file.res output_files/$file.res
+if [ $? -gt 0 ]; then
+    exit 62
+fi
+
+rm test/diff/$file.res