Anfonwch hwn fel neges destun: Gröbner bases in symbolic analysis