Dates: 07.08. - 11.08.
Place: 48/582
Start: 07.08., 10:00
End: 11.08. 12:00
Topics:
Division with remainder, orderings:normal form of polynomials and vectors w.r.t. local orderings, https://github.com/oscar-system/Oscar.jl/issues/2477 (DONE in Singular.jl, TODO in Oscar.jl)
complete_reduction option for reduce, https://github.com/oscar-system/Oscar.jl/issues/2233 (DONE in Singular.jl, TODO in Oscar.jl)
Definition of is_global(ordering) does not match how it is used internally, https://github.com/oscar-system/Oscar.jl/issues/1697