Modified example to test new functionality

sagemath · Feb 20, 2025 · e7d8a41 · e7d8a41
1 parent 0507796
commit e7d8a41
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/sage/rings/polynomial/multi_polynomial_libsingular.pyx b/src/sage/rings/polynomial/multi_polynomial_libsingular.pyx
@@ -6123,6 +6123,8 @@ cdef class MPolynomial_libsingular(MPolynomial_libsingular_base):
             True
             sage: (a^2).in_subalgebra(J, algorithm='groebner')
             True
+            sage: (a^2).in_subalgebra(J, algorithm='groebner', certificate='x')
+            x0^2*x1^2
             sage: (a + a^2).in_subalgebra(J)
             True
         """