assert -> req

Co-authored-by: Tommy Hofmann <[email protected]>
oscar-system · Oct 16, 2024 · a293359 · a293359
1 parent 05cb7e4
commit a293359
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/Modules/UngradedModules/FreeMod.jl b/src/Modules/UngradedModules/FreeMod.jl
@@ -318,7 +318,7 @@ function syzygy_generators(
   R = base_ring(F)
   m = length(g)
   G = (parent === nothing ?  FreeMod(R, m) : parent)::typeof(F)
-  @assert ngens(G) == m "given parent does not have the correct number of generators"
+  @req ngens(G) != m "given parent does not have the correct number of generators"
   phi = hom(G, F, g)
   K, _ = kernel(phi)
   return ambient_representatives_generators(K)
@@ -367,7 +367,7 @@ function syzygy_generators(
   I = ideal(R, a)
   s = Singular.syz(singular_generators(I))
   F = (parent === nothing ? FreeMod(R, length(a)) : parent)::FreeMod{T}
-  @assert ngens(F) == length(a) "parent does not have the correct number of generators"
+  @req ngens(F) != length(a) "parent does not have the correct number of generators"
   @assert rank(s) == length(a)
   return elem_type(F)[F(s[i]) for i=1:Singular.ngens(s)]
 end

diff --git a/test/Modules/UngradedModules.jl b/test/Modules/UngradedModules.jl
@@ -1310,6 +1310,6 @@ end
   @test s1 == s2
   s3 = syzygy_generators(ambient_representatives_generators(M))
   @test s3 != s2
-  @test_throws AssertionError syzygy_generators(ambient_representatives_generators(M); parent=F)
+  @test_throws ArgumentError syzygy_generators(ambient_representatives_generators(M); parent=F)
 end