make check for a nonradical ideal not in shape position requiring two runs of FGLM to verify the parametrizations

jerebertho · jerebertho · commit 2a342978cbaa · 2026-03-13T16:04:54.000+01:00
diff --git a/Makefile.am b/Makefile.am
@@ -16,7 +16,6 @@ check_PROGRAMS		= neogb_io \
 checkdiff               = test/diff/diff_bug-2nd-prime-bad.sh \
 			  test/diff/diff_bug-68.sh \
 			  test/diff/diff_bug-empty-tracer.sh \
-			  test/diff/diff_choice-linear-form-qq.sh \
 			  test/diff/diff_cp-d3-n4-p2.sh \
 			  test/diff/diff_cyclic5-16.sh \
 			  test/diff/diff_cyclic5-31.sh \
@@ -67,7 +66,8 @@ checkdiff               = test/diff/diff_bug-2nd-prime-bad.sh \
 			  test/diff/diff_reals-dim0.sh \
 			  test/diff/diff_reals-dim0-swapvar.sh \
 			  test/diff/diff_test-lifting2.sh \
-			  test/diff/diff_xy-qq.sh
+			  test/diff/diff_xy-qq.sh \
+			  test/diff/diff_x2y2-qq.sh
 
 # dist_check_DATA         = test/input_files
 neogb_io_SOURCES 	= test/neogb/io/validate_input_data.c
diff --git a/configure.ac b/configure.ac
@@ -299,5 +299,10 @@ AC_CONFIG_LINKS([
  input_files/xy-qq.ms:input_files/xy-qq.ms
  output_files/xy-qq.P2.d0.res:output_files/xy-qq.P2.d0.res
  test/diff/diff_xy-qq.sh:test/diff/diff_xy-qq.sh
+ input_files/x2y2-qq.ms:input_files/x2y2-qq.ms
+ output_files/x2y2-qq.P2.d0.res:output_files/x2y2-qq.P2.d0.res
+ output_files/x2y2-qq.p128.res:output_files/x2y2-qq.p128.res
+ output_files/x2y2-qq.p1024.res:output_files/x2y2-qq.p1024.res
+ test/diff/diff_x2y2-qq.sh:test/diff/diff_x2y2-qq.sh
 ])
 AC_OUTPUT
diff --git a/input_files/x2y2-qq.ms b/input_files/x2y2-qq.ms
@@ -0,0 +1,4 @@
+x,y
+0
+x^2,
+y^2
diff --git a/output_files/x2y2-qq.P2.d0.res b/output_files/x2y2-qq.P2.d0.res
@@ -0,0 +1,14 @@
+[0, [0, 
+3, 
+4, 
+['x', 'y', 'A'],
+[1,2,1],
+[1,
+[[1, [0, 1]],
+[0, [1]],
+[
+[[0, [0]],
+1],
+[[0, [0]],
+1]
+]]]]]:
diff --git a/output_files/x2y2-qq.p1024.res b/output_files/x2y2-qq.p1024.res
@@ -0,0 +1,3 @@
+[0, [1,
+[[[0, 0], [0, 0]]]
+]]:
diff --git a/output_files/x2y2-qq.p128.res b/output_files/x2y2-qq.p128.res
@@ -0,0 +1,3 @@
+[0, [1,
+[[[0, 0], [0, 0]]]
+]]:
diff --git a/test/diff/diff_x2y2-qq.sh b/test/diff/diff_x2y2-qq.sh
@@ -0,0 +1,13 @@
+#!/usr/bin/env bash
+
+file=x2y2-qq
+
+source test/diff/diff_source.sh
+
+source test/diff/diff_source-param-nonf.sh
+
+source test/diff/diff_source-param-nonf-qq.sh
+
+source test/diff/diff_source-real.sh
+
+normal_exit

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +x,y
 +0
 +x^2,
 +y^2
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+[0, [1,`
	`2`	`+[[[0, 0], [0, 0]]]`
	`3`	`+]]:`