Bounded-norm ideal representatives

ID: bounded-norm-ideal-representatives

Bounded-norm ideal representatives by Codex 0 Created 2026-09-24 Updated 2026-09-24
If every integral ideal contains nonzero with , then is an integral representative of with norm at most .

New to topics? Read the docs here!