Update to 0.23.9

[hannes14]

quotient /saturation for smodule
@wdecker
@fingolfin
function quotient(I::smodule{spoly{T}}, J::sideal{spoly{T}}) where T <: Nemo.FieldElem
function saturation(I::smodule{spoly{T}}, J::sideal{spoly{T}}) where T <: Nemo.FieldElem
function saturation2(I::smodule{spoly{T}}, J::sideal{spoly{T}}) where T <: Nemo.FieldElem

[wdecker]

@hannes14 Are there also

function quotient(I::smodule{spoly{T}}, J::smodule{spoly{T}}) where T <: Nemo.FieldElem

function saturation(I::smodule{spoly{T}}, J::smodule{spoly{T}}) where T <: Nemo.FieldElem

function saturation2(I::smodule{spoly{T}}, J::smodule{spoly{T}}) where T <: Nemo.FieldElem

These are the ones I need most.

[hannes14]

it has also
function quotient(I::smodule{spoly{T}}, J::smodule{spoly{T}}) where T <: Nemo.FieldElem

[wdecker]

Good! So let is proceed here and do saturation seperately!Von meinem iPhone gesendetAm 11.10.2024 um 15:46 schrieb Hans Schoenemann ***@***.***>: it has also function quotient(I::smodule{spoly{T}}, J::smodule{spoly{T}}) where T <: Nemo.FieldElem —Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you were mentioned.Message ID: ***@***.***>

[fingolfin]

@hannes14 after merging, you also need to trigger the release by going to the merged commit and commenting on it -- I just did it for you this time, see e3353c5

[wdecker]

@fingolfin Is there anything more to do here so that I can make use of it?

[fingolfin]

You should be able to make use of it already. It worked for me 15 minutes after my comment

[wdecker]

After updates, I still get this: julia> methods(Singular.quotient) # 2 methods for generic function "quotient" from Singular: [1] quotient(I::Singular.sideal{S}, J::Singular.sideal{S}) where S<:Singular.spluralg @ ~/.julia/packages/Singular/a0LzT/src/ideal/ideal.jl:569 [2] quotient(I::Singular.sideal{S}, J::Singular.sideal{S}) where S<:Singular.spoly @ ~/.julia/packages/Singular/a0LzT/src/ideal/ideal.jl:557 So the methods for smodules are not there ...

…

Am 14.10.2024 um 18:05 schrieb Max Horn ***@***.***>: You should be able to make use of it already. It worked for me 15 minutes after my comment — Reply to this email directly, view it on GitHub <#836 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AASSXESAYFHAX3H5DCAB6O3Z3PTS3AVCNFSM6AAAAABPY3VM6SVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDIMJRGY3TQMZSHE>. You are receiving this because you were mentioned.