NormResidue

Navigation page for Blueprint/D5/S3/Arith/PrimeIdeals/NormResidue/ at upstream snapshot 60f7e19089cb27925e2abbab3fcda07d09343705.

Contents

• Fourier decay from realized residues
• Lipschitz frontier cover of an orthant-cut region
• Effective residue count in an orthant cell
• Effective count of cone points of idealSet K J with a norm residue
• The J- and 𝔟J-cone residue counts share a leading constant up to N(𝔟)
• Sublattice cell correspondence
• The dvd-density is the full density divided by N(𝔟) (Lang VI §3 Thm 3; GRS Thm 1)
• Effective product-ideal residue fibre count
• Sublattice cell count