[jjtheblunt]

Can Symbolica compute Gröbner bases over user specified coefficient rings? I don't see, in the docs, how one would specify such.