Skip to content

Commit

Permalink
correction
Browse files Browse the repository at this point in the history
  • Loading branch information
@wdecker
wdecker committed Oct 21, 2024
1 parent 081c29b commit dd63527
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Modules/UngradedModules/SubquoModule.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1818,7 +1818,7 @@ Ideal generated by
y*z
z^2
L = quotient(M, J)
julia> L = quotient(M, J)
Subquotient of Submodule with 5 generators
1 -> x*e[1]
2 -> y^3*e[1]
Expand Down

0 comments on commit dd63527

Please sign in to comment.