search

oscar-system / Singular.jl

Julia package for the Singular library
Other
31 stars 33 forks source link

Adapt to Nemo renaming #767

Closed lgoettgens closed 8 months ago

lgoettgens commented 8 months ago

See https://github.com/Nemocas/Nemo.jl/pull/1638

cc @joschmitt