A máxima distância produto mínima normalizada de uma versão rotacionada do reticulado D2

Este trabalho propõe encontrar a máxima distância produto mínima normalizada de uma versão rotacionada do reticulado D2. Demonstraremos que tal distância é a mesma para uma versão rotacionada do reticulado Z2, que é a maior conhecida para um reticulado bidimensional.