Prime-power ideal (source code)

= Prime-power ideal

A prime-power ideal has the form $\mathfrak p^m$ for a <prime ideal> $\mathfrak p$ and positive integer $m$.