@@ -1183,13 +1183,12 @@ cdef class fmpz_mpoly_vec:
11831183
11841184 >>> from flint import Ordering
11851185 >>> ctx = fmpz_mpoly_ctx.get_context(2 , Ordering.lex, nametup = (' x' , ' y' ))
1186- >>> f = ctx.from_dict({(2 , 0 ): 1 , (0 , 1 ): - 1 })
1187- >>> g = ctx.from_dict({(3 , 0 ): 1 , (1 , 0 ): - 1 })
1188- >>> k = ctx.from_dict({(1 , 1 ): 1 , (1 , 0 ): - 1 })
1189- >>> h = ctx.from_dict({(0 , 2 ): 1 , (0 , 1 ): - 1 })
1186+ >>> x , y = ctx.gens()
1187+ >>> f = x** 2 - y
1188+ >>> g = x** 3 - x
1189+ >>> k = x* y - x
1190+ >>> h = y** 2 - y
11901191 >>> vec = fmpz_mpoly_vec([f, k, h], ctx)
1191- >>> vec
1192- fmpz_mpoly_vec([x^2 - y , x*y - x , y^2 - y], ctx = fmpz_mpoly_ctx(2 , ' <Ordering.lex: 0>' , (' x' , ' y' )))
11931192 >>> vec.is_groebner()
11941193 True
11951194 >>> vec.is_groebner(fmpz_mpoly_vec([f , g], ctx ))
@@ -1212,18 +1211,15 @@ cdef class fmpz_mpoly_vec:
12121211
12131212 >>> from flint import Ordering
12141213 >>> ctx = fmpz_mpoly_ctx.get_context(2 , Ordering.lex, nametup = (' x' , ' y' ))
1215- >>> f = ctx.from_dict({(2 , 0 ): 3 , (0 , 1 ): - 1 })
1216- >>> k1 = ctx.from_dict({(1 , 1 ): 1 , (1 , 0 ): - 1 })
1217- >>> k2 = ctx.from_dict({(1 , 1 ): 3 , (1 , 0 ): - 3 })
1218- >>> h = ctx.from_dict({(0 , 2 ): 1 , (0 , 1 ): - 1 })
1214+ >>> x, y = ctx.gens()
1215+ >>> f = 3 * x** 2 - y
1216+ >>> k1 = x* y - x
1217+ >>> k2 = 3 * x* y - 3 * x
1218+ >>> h = y** 2 - y
12191219 >>> vec = fmpz_mpoly_vec([f, k1, h], ctx)
1220- >>> vec
1221- fmpz_mpoly_vec([3 * x^ 2 - y, x* y - x, y^ 2 - y], ctx = fmpz_mpoly_ctx(2 , ' <Ordering.lex: 0>' , (' x' , ' y' )))
12221220 >>> vec.is_autoreduced()
12231221 True
12241222 >>> vec = fmpz_mpoly_vec([f, k2, h], ctx)
1225- >>> vec
1226- fmpz_mpoly_vec([3 * x^ 2 - y, 3 * x* y - 3 * x, y^ 2 - y], ctx = fmpz_mpoly_ctx(2 , ' <Ordering.lex: 0>' , (' x' , ' y' )))
12271223 >>> vec.is_autoreduced()
12281224 False
12291225
@@ -1237,12 +1233,11 @@ cdef class fmpz_mpoly_vec:
12371233
12381234 >>> from flint import Ordering
12391235 >>> ctx = fmpz_mpoly_ctx.get_context(2 , Ordering.lex, nametup = (' x' , ' y' ))
1240- >>> f = ctx.from_dict({(2 , 0 ): 3 , (0 , 1 ): - 1 })
1241- >>> k2 = ctx.from_dict({(1 , 1 ): 3 , (1 , 0 ): - 3 })
1242- >>> h = ctx.from_dict({(0 , 2 ): 1 , (0 , 1 ): - 1 })
1236+ >>> x, y = ctx.gens()
1237+ >>> f = 3 * x** 2 - y
1238+ >>> k2 = 3 * x* y - 3 * x
1239+ >>> h = y** 2 - y
12431240 >>> vec = fmpz_mpoly_vec([f, k2, h], ctx)
1244- >>> vec
1245- fmpz_mpoly_vec([3 * x^ 2 - y, 3 * x* y - 3 * x, y^ 2 - y], ctx = fmpz_mpoly_ctx(2 , ' <Ordering.lex: 0>' , (' x' , ' y' )))
12461241 >>> vec.is_autoreduced()
12471242 False
12481243 >>> vec2 = vec.autoreduction()
@@ -1277,11 +1272,10 @@ cdef class fmpz_mpoly_vec:
12771272
12781273 >>> from flint import Ordering
12791274 >>> ctx = fmpz_mpoly_ctx.get_context(2 , Ordering.lex, nametup = (' x' , ' y' ))
1280- >>> f = ctx.from_dict({(2 , 0 ): 1 , (0 , 1 ): - 1 })
1281- >>> g = ctx.from_dict({(3 , 1 ): 1 , (1 , 0 ): - 1 })
1275+ >>> x, y = ctx.gens()
1276+ >>> f = x** 2 - y
1277+ >>> g = x** 3 * y - x
12821278 >>> vec = fmpz_mpoly_vec([f, g], ctx)
1283- >>> vec
1284- fmpz_mpoly_vec([x^ 2 - y, x^ 3 * y - x], ctx = fmpz_mpoly_ctx(2 , ' <Ordering.lex: 0>' , (' x' , ' y' )))
12851279 >>> vec.is_groebner()
12861280 False
12871281 >>> vec.buchberger_naive()
0 commit comments