Skip to content

Commit

Permalink
More deprecation fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
lgoettgens committed Jul 23, 2024
1 parent a55154c commit c80bc60
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion experimental/IntersectionTheory/src/blowup.jl
Original file line number Diff line number Diff line change
Expand Up @@ -169,7 +169,7 @@ function present_finite_extension_ring(F::Oscar.AffAlgHom)
y -= q * gensB_lift[i]
end; ans)

FM = FreeModule(R, g)
FM = free_module(R, g)
gB = elem_type(FM)[FM(push!([j == i ? R(1) : R() for j in 1:g-1], -gensB_lift[i])) for i in 1:g-1]
gJ = elem_type(FM)[FM([j==i ? x : R() for j in 1:g]) for x in gens(J) for i in 1:g]
U = vcat(gB, gJ)
Expand Down
2 changes: 1 addition & 1 deletion src/Modules/UngradedModules/FreeMod.jl
Original file line number Diff line number Diff line change
Expand Up @@ -77,7 +77,7 @@ free_module(R::MPolyLocRing, p::Int, name::VarName = :e; cached::Bool = false) =
free_module(R::MPolyQuoLocRing, p::Int, name::VarName = :e; cached::Bool = false) = FreeMod(R, p, name, cached = cached)

#=XXX this cannot be as it is inherently ambiguous
- FreeModule(R, n)
- free_module(R, n)
- direct sum of rings, ie. a ring
- set of n-th powers of R
thus the "category" needs to be set explicitly
Expand Down

0 comments on commit c80bc60

Please sign in to comment.