make check for a nonradical ideal in shape position

Author: jerebertho

Makefile.am

@@ -53,6 +53,7 @@ checkdiff               = test/diff/diff_bug-2nd-prime-bad.sh \
 			  test/diff/diff_nonradical-radicalshape-no-square-31.sh \
 			  test/diff/diff_nonradical-radicalshape-no-square-qq.sh \
 			  test/diff/diff_nonradical-radicalshape-qq.sh \
+			  test/diff/diff_nonradical-shape-31.sh \
 			  test/diff/diff_nonradical-shape-qq.sh \
 			  test/diff/diff_one-16.sh \
 			  test/diff/diff_one-31.sh \

configure.ac

@@ -246,7 +246,8 @@ AC_CONFIG_LINKS([
  output_files/nonradical-radicalshape-qq.P1.d0.p1024.res:output_files/nonradical-radicalshape-qq.P1.d0.p1024.res
  test/diff/diff_nonradical-radicalshape-qq.sh:test/diff/diff_nonradical-radicalshape-qq.sh
  input_files/nonradical-shape-31.ms:input_files/nonradical-shape-31.ms
- output_files/nonradical-shape-31.res:output_files/nonradical-shape-31.res
+ output_files/nonradical-shape-31.P2.d0.res:output_files/nonradical-shape-31.P2.d0.res
+ test/diff/diff_nonradical-shape-31.sh:test/diff/diff_nonradical-shape-31.sh
  input_files/nonradical-shape-qq.ms:input_files/nonradical-shape-qq.ms
  output_files/nonradical-shape-qq.P1.d0.p128.res:output_files/nonradical-shape-qq.P1.d0.p128.res
  output_files/nonradical-shape-qq.P1.d0.p1024.res:output_files/nonradical-shape-qq.P1.d0.p1024.res

output_files/nonradical-shape-31.P2.d0.res

@@ -1,20 +1,18 @@
 [0, [1073741831, 
-5, 
+4, 
 11, 
-['x1', 'x2', 'x3', 'x4', 'A'],
-[-33,97,92,98,-35],
+['x1', 'x2', 'x3', 'x4'],
+[0, 0, 0, 1],
 [1,
 [[8,
-[806088589, 773290875, 392047488, 448660708, 158395478, 796667501, 603542507, 839056289, 1]],
+[51238460, 937779246, 129340733, 464819646, 278485549, 320457435, 34841890, 655651556, 1]],
 [0,
 [1]],
 [
 [[7,
-[469066563, 872087359, 789792069, 653598341, 610549694, 461793855, 822207508, 424465292]]],
+[889162894, 951876873, 864236218, 955859524, 969102339, 401381748, 870503968, 991566980]]],
 [[7,
-[1012630728, 518320180, 397734047, 582252170, 175855446, 823918569, 370262236, 364408665]]],
+[699435431, 883674317, 421406145, 416439488, 252953512, 713260948, 63471456, 627129243]]],
 [[7,
-[490926065, 926842152, 356918246, 830759452, 836862130, 786699753, 119267664, 1014874695]]],
-[[7,
-[1028528857, 28102185, 545211281, 584060027, 779823490, 573635187, 521548435, 1853246]]]
+[980813817, 367501823, 781266581, 197217171, 59856538, 224726467, 738695696, 265145803]]]
 ]]]]]:

test/diff/diff_nonradical-shape-31.sh

@@ -4,4 +4,6 @@ file=nonradical-shape-31
 
 source test/diff/diff_source.sh
 
+source test/diff/diff_source-param-nonf.sh
+
 normal_exit