principal-ideal-domain
1,053
reputation
2
12
15