twjudson
Theorem 17.17 refers to Gauss's lemma that hasn't been proved yet for the cases needed
In theorem 17.17, the polynomial is not assumed to be monic. It then refers to Gauss's lemma (theorem 17.14), but that one assumes the polynomial is monic. Only in the next chapter is a more general version of Gauss's lemma proved.
You certainly have a point, and I am not sure of the best way to fix this. For the time being I put a reference to the more general version of Gauss’s Lemma.
@Rob: Any ideas are welcome.
Tom
On Nov 24, 2022, at 7:36 AM, Sander Kersten @.***> wrote:
In theorem 17.17, the polynomial is not assumed to be monic. It then refers to Gauss's lemma (theorem 17.14), but that one assumes the polynomial is monic. Only in the next chapter is a more general version of Gauss's lemma proved.
— Reply to this email directly, view it on GitHubhttps://urldefense.com/v3/__https://github.com/twjudson/aata/issues/64__;!!Cwx1DRob!AHqpZ6qoaUXtbAqjr2-Iyy2kefivU--lsijNUFdjUaClDUBJhKe0jn-cduD70dyYkrf2ePuERy5oHqxsoc0SEDinSA$, or unsubscribehttps://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/ABN3O23MTSJKFWS622DS42TWJ4LHXANCNFSM6AAAAAASJ47FH4__;!!Cwx1DRob!AHqpZ6qoaUXtbAqjr2-Iyy2kefivU--lsijNUFdjUaClDUBJhKe0jn-cduD70dyYkrf2ePuERy5oHqxsoc1zWpU9og$. You are receiving this because you are subscribed to this thread.Message ID: @.***>
