The last couple of days I've been wrapping my head around Gröbner bases over arbitrary (strongly discrete for the constructivists) ground rings and damn, that theory is elegant. Somehow being forced to take care of ideals in the ground ring rather than just zero/non-zero elements forces a more elegant treatment 😅 I'm writing it up in my own words right now…