box% sage
┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 10.0, Release Date: 2023-05-20                    │
│ Using Python 3.11.3. Type "help()" for help.                       │
└────────────────────────────────────────────────────────────────────┘
sage: R.<x,r50,r> = PolynomialRing(QQ, order='lex')
sage: ideal(r50^2 - 50, (x+r)^3 - 7 - r50, x^3 + 7 - r50).groebner_basis()[-1]
r^9 - 42*r^6 + 615*r^3 - 2744
sage: