I'm aware that sage has monoid features, but not necc. monoid ring.
Is there a CAS specializing in: rings, groups, modules, monoid rings, group rings?
Reason, is that these structures are hard to work with and if I could give examples as CAS presentations, that would be ideal.
Alternatively, a proof assistant that supports these is okay too.