moved noetherian ring from computational-algebra