produce critical equations and compute ED degrees