Post #1368993
2026-04-18 15:55 UTC
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…
Replies (1)
-
@soaproot@sfba.social 2026-04-19 03:33
@jdw Ah, nice. The following is a bit of a tangent, but this makes me think of my recent (constructivist) problem with rings, a much more elementary one. I am starting with some nonconstructive proofs which make extensive use of sums of finitely supported sets of elements of the ring. My choices as far as I can see are to restrict myself to discrete rings (don't think I'd need strongly discrete for this) or to finite sums. I've been choosing the latter although I guess either one would work for my current purposes.