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