Outline

Overview

Ext

Primdec

Normalize

MuPAD

Deform

Classify

Puiseux

Future

Baserings

• polynomial rings

• series rings, i.e., a localization of a polynomial ring at a prime ideal

• factor ring by an ideal of one of the above

• tensor products of one of the above