Skip to content

Commit 05cb7e4

Browse files
Fix booktests.
1 parent e56526b commit 05cb7e4

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

src/Modules/UngradedModules/FreeMod.jl

+2-3
Original file line numberDiff line numberDiff line change
@@ -353,14 +353,13 @@ function syzygy_generators(
353353
R = Oscar.parent(first(a))
354354
@assert all(Oscar.parent(x) === R for x in a) "parent mismatch"
355355
F = FreeMod(R, 1)
356-
I, _ = sub(F, [x*F[1] for x in a])
357-
return syzygy_generators(ambient_representatives_generators(I); parent)
356+
return syzygy_generators(elem_type(F)[x*F[1] for x in a]; parent)
358357
end
359358

360359
function syzygy_generators(
361360
a::Vector{T};
362361
parent::Union{FreeMod{T}, Nothing} = nothing
363-
) where {CT <: Union{<:FieldElem, ZZRingElem}, # Can be adjusted to whatever is digested by Singular
362+
) where {CT <: Union{<:FieldElem, ZZRingElem, QQPolyRingElem}, # Can be adjusted to whatever is digested by Singular
364363
T<:MPolyRingElem{CT}}
365364
isempty(a) && return Vector{FreeModElem{T}}()
366365
R = Oscar.parent(first(a))

0 commit comments

Comments
 (0)