{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T12:58:45Z","timestamp":1772283525522,"version":"3.50.1"},"reference-count":16,"publisher":"Wiley","issue":"A","license":[{"start":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T00:00:00Z","timestamp":1472169600000},"content-version":"unspecified","delay-in-days":238,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["LMS J. Comput. Math."],"published-print":{"date-parts":[[2016]]},"abstract":"<jats:p>In this paper we describe how to compute smallest monic polynomials that define a given number field\u00a0<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S1461157016000255_inline1\"\/><jats:tex-math>$\\mathbb{K}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>. We make use of the one-to-one correspondence between monic defining polynomials of\u00a0<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S1461157016000255_inline2\"\/><jats:tex-math>$\\mathbb{K}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula> and algebraic integers that generate\u00a0<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S1461157016000255_inline3\"\/><jats:tex-math>$\\mathbb{K}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>. Thus, a smallest polynomial corresponds to a vector in the lattice of integers of\u00a0<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S1461157016000255_inline4\"\/><jats:tex-math>$\\mathbb{K}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula> and this vector is short in some sense. The main idea is to consider weighted coordinates for the vectors of the lattice of integers of\u00a0<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S1461157016000255_inline5\"\/><jats:tex-math>$\\mathbb{K}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>. This allows us to find the desired polynomial by enumerating short vectors in these weighted lattices. In the context of the subexponential algorithm of Biasse and Fieker for computing class groups, this algorithm can be used as a precomputation step that speeds up the rest of the computation. It also widens the applicability of their faster conditional method, which requires a defining polynomial of small height, to a much larger set of number field descriptions.<\/jats:p>","DOI":"10.1112\/s1461157016000255","type":"journal-article","created":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T11:29:30Z","timestamp":1472210970000},"page":"315-331","source":"Crossref","is-referenced-by-count":5,"title":["Reducing number field defining polynomials: an application to class group computations"],"prefix":"10.1112","volume":"19","author":[{"given":"Alexandre","family":"G\u00e9lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoine","family":"Joux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2016,8,26]]},"reference":[{"key":"S1461157016000255_r11","first-page":"98","article-title":"An application of Jensen\u2019s formula to polynomials","volume":"7","author":"Mahler","year":"1960","journal-title":"J. Lond. Math. Soc. (2)"},{"key":"S1461157016000255_r1","doi-asserted-by":"publisher","DOI":"10.5802\/jtnb.433"},{"key":"S1461157016000255_r12","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1307\/mmj\/1028999140","article-title":"An inequality for the discriminant of a polynomial","volume":"11","author":"Mahler","year":"1964","journal-title":"Michigan Math. J."},{"key":"S1461157016000255_r10","doi-asserted-by":"publisher","DOI":"10.2307\/1968172"},{"key":"S1461157016000255_r15","first-page":"415","volume-title":"1969 Number Theory Institute","author":"Shanks","year":"1969"},{"key":"S1461157016000255_r9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74143-5_10"},{"key":"S1461157016000255_r2","doi-asserted-by":"publisher","DOI":"10.1112\/S1461157014000345"},{"key":"S1461157016000255_r6","doi-asserted-by":"publisher","DOI":"10.5802\/jtnb.55"},{"key":"S1461157016000255_r7","doi-asserted-by":"crossref","first-page":"2701","DOI":"10.1109\/TSP.2009.2016267","article-title":"Complex lattice reduction algorithm for low-complexity full-diversity MIMO detection","volume":"57","author":"Gan","year":"2009","journal-title":"IEEE Trans. Signal Process."},{"key":"S1461157016000255_r16","first-page":"217","volume-title":"Proceedings of the 1972 Number Theory Conference","author":"Shanks","year":"1972"},{"key":"S1461157016000255_r5","volume-title":"A course in computational algebraic number theory","author":"Cohen","year":"1991"},{"key":"S1461157016000255_r4","unstructured":"4. \u2018Class Group Database\u2019, http:\/\/www.mathematik.uni-kl.de\/\u223cnumberfieldtables\/, maintained byG.\u00a0Malle."},{"key":"S1461157016000255_r14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8589-8"},{"key":"S1461157016000255_r8","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-1989-1002631-0"},{"key":"S1461157016000255_r13","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1994.1054"},{"key":"S1461157016000255_r3","first-page":"27","volume-title":"S\u00e9minaire de Th\u00e9orie des Nombres, Paris 1988\u20131989","author":"Buchmann","year":"1990"}],"container-title":["LMS Journal of Computation and Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1461157016000255","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T20:50:43Z","timestamp":1555707043000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1461157016000255\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":16,"journal-issue":{"issue":"A","published-print":{"date-parts":[[2016]]}},"alternative-id":["S1461157016000255"],"URL":"https:\/\/doi.org\/10.1112\/s1461157016000255","relation":{},"ISSN":["1461-1570"],"issn-type":[{"value":"1461-1570","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}