search

oscar-system / Singular.jl

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

extend rQuotientRing to non-commutative quotient rings #809

Closed hannes14 closed 4 weeks ago