Splitting a Polynomial into Linear Factors after an Injective Ring Extension

Contributed by Darij Grinberg

Source files

Download source .zip

Back to the main record