Merge pull request #249 from jerebertho/randomlinearform

No more random linear form over Q

Author: ederc

Makefile.am

@@ -63,7 +63,9 @@ checkdiff               = test/diff/diff_cp_d_3_n_4_p_2.sh \
 			  test/diff/diff_f4sat-field-char.sh \
 			  test/diff/diff_f4sat-zero-input.sh \
 			  test/diff/diff_f4sat-is-saturated-check.sh \
-			  test/diff/diff_maxbitsize-bug.sh
+			  test/diff/diff_maxbitsize-bug.sh \
+			  test/diff/diff_issue_230.sh \
+			  test/diff/diff_issue_230_squared.sh
 
 # dist_check_DATA         = test/input_files
 neogb_io_SOURCES 	= test/neogb/io/validate_input_data.c

configure.ac

@@ -274,5 +274,11 @@ AC_CONFIG_LINKS([
  input_files/maxbitsize-bug.ms:input_files/maxbitsize-bug.ms
  output_files/maxbitsize-bug.res:output_files/maxbitsize-bug.res
  test/diff/diff_maxbitsize-bug.sh:test/diff/diff_maxbitsize-bug.sh
+ input_files/issue_230.ms:input_files/issue_230.ms
+ output_files/issue_230.res:output_files/issue_230.res
+ test/diff/diff_issue_230.sh:test/diff/diff_issue_230.sh
+ input_files/issue_230_squared.ms:input_files/issue_230_squared.ms
+ output_files/issue_230_squared.res:output_files/issue_230_squared.res
+ test/diff/diff_issue_230_squared.sh:test/diff/diff_issue_230_squared.sh
 ])
 AC_OUTPUT

input_files/issue_230.ms

@@ -0,0 +1,5 @@
+z,y,x
+0
+-24+6*z+8*y-2*y*z+12*x-3*x*z-4*x*y+x*y*z,
+-210+42*z+30*y-6*y*z+35*x-7*x*z-5*x*y+x*y*z,
+-132+44*z+12*y-4*y*z+33*x-11*x*z-3*x*y+x*y*z

input_files/issue_230_squared.ms

@@ -0,0 +1,5 @@
+z,y,x
+0
+x^2*y^2*z^2-8*x^2*y^2*z-6*x^2*y*z^2-4*x*y^2*z^2+16*x^2*y^2+48*x^2*y*z+9*x^2*z^2+32*x*y^2*z+24*x*y*z^2+4*y^2*z^2-96*x^2*y-72*x^2*z-64*x*y^2-192*x*y*z-36*x*z^2-32*y^2*z-24*y*z^2+144*x^2+384*x*y+288*x*z+64*y^2+192*y*z+36*z^2-576*x-384*y-288*z+576,
+x^2*y^2*z^2-10*x^2*y^2*z-14*x^2*y*z^2-12*x*y^2*z^2+25*x^2*y^2+140*x^2*y*z+49*x^2*z^2+120*x*y^2*z+168*x*y*z^2+36*y^2*z^2-350*x^2*y-490*x^2*z-300*x*y^2-1680*x*y*z-588*x*z^2-360*y^2*z-504*y*z^2+1225*x^2+4200*x*y+5880*x*z+900*y^2+5040*y*z+1764*z^2-14700*x-12600*y-17640*z+44100,
+x^2*y^2*z^2-6*x^2*y^2*z-22*x^2*y*z^2-8*x*y^2*z^2+9*x^2*y^2+132*x^2*y*z+121*x^2*z^2+48*x*y^2*z+176*x*y*z^2+16*y^2*z^2-198*x^2*y-726*x^2*z-72*x*y^2-1056*x*y*z-968*x*z^2-96*y^2*z-352*y*z^2+1089*x^2+1584*x*y+5808*x*z+144*y^2+2112*y*z+1936*z^2-8712*x-3168*y-11616*z+17424

output_files/issue_230.res

@@ -0,0 +1,18 @@
+[0, [0, 
+4, 
+6, 
+['z', 'y', 'x', 'A'],
+[1,4,9,1],
+[1,
+[[6, [83273137416, 7761391038, 298505503, 6061146, 68488, 408, 1]],
+[5, [7761391038, 597011006, 18183438, 273952, 2040, 6]],
+[
+[[5, [-30953329224, -2383425124, -72648782, -1095128, -8158, -24]],
+1],
+[[5, [-51454687746, -3993436310, -122821118, -1870252, -14092, -42]],
+1],
+[[5, [-29207416032, -2272198314, -70009862, -1067478, -8050, -24]],
+1]
+]]]],[1,
+[[[4, 4], [11, 11], [6, 6]], [[3, 3], [3, 3], [6, 6]], [[4, 4], [7, 7], [4, 4]], [[5, 5], [11, 11], [2, 2]], [[5, 5], [3, 3], [4, 4]], [[3, 3], [7, 7], [2, 2]]]
+]]:

output_files/issue_230_squared.res

@@ -0,0 +1,18 @@
+[0, [0, 
+4, 
+48, 
+['z', 'y', 'x', 'A'],
+[1,4,9,1],
+[1,
+[[6, [83273137416, 7761391038, 298505503, 6061146, 68488, 408, 1]],
+[5, [7761391038, 597011006, 18183438, 273952, 2040, 6]],
+[
+[[5, [-30953329224, -2383425124, -72648782, -1095128, -8158, -24]],
+1],
+[[5, [-51454687746, -3993436310, -122821118, -1870252, -14092, -42]],
+1],
+[[5, [-29207416032, -2272198314, -70009862, -1067478, -8050, -24]],
+1]
+]]]],[1,
+[[[4, 4], [11, 11], [6, 6]], [[3, 3], [3, 3], [6, 6]], [[4, 4], [7, 7], [4, 4]], [[5, 5], [11, 11], [2, 2]], [[5, 5], [3, 3], [4, 4]], [[3, 3], [7, 7], [2, 2]]]
+]]: