Given a NumberField, is there a way to check if it is a PID? This could be with a built in method, analogous to is_noetherian(), but if there's a more complicated way to do it that's good too.
Revision history [back]
 | 1 | initial version |
How to check if a number field is a PID
| | 2 | Asked if the number field was a PID instead of its ring of integers |
How to check if a number field is a PID
Given a NumberField, is there a way to check if it its ring of integers is a PID? This could be with a built in method, analogous to is_noetherian(), but if there's a more complicated way to do it that's good too.
