assert -> req

Co-authored-by: Tommy Hofmann <thofma@gmail.com>
oscar-system · Oct 16, 2024 · da98c6e · da98c6e
1 parent 05cb7e4
commit da98c6e
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