Bounded-norm ideal representatives
ID: bounded-norm-ideal-representatives
If every integral ideal contains nonzero with , then is an integral representative of with norm at most .
New to topics? Read the docs here!
New to topics? Read the docs here!