This factorization is unique up to the sign of the content.
Fröhlich and Shepherson have provided examples of such fields for which no factorization algorithm can exist.