[russdill]

You'd love finite fields.

[joatmon-snoo]

And groups!

[gizmo686]

Don't forget about rings.

[jmartinpetersen]

I always found those ideal.

[vog]

But the base of all is still Gröbner.