Artin's method for class field computation

lucas legrand <[email protected]>
Newsgroups gmane.comp.mathematics.pari.devel
Message-ID <VI1PR0302MB3454BD6DC065C2AADD440129C85E9@VI1PR0302MB3454.eurprd03.prod.outlook.com>
Hi,

Looking at 'kummer.c', I (think I) understand that your current bnrclassfield implementation break the looked for extension into intermediate prime degree extensions and then apply rnfkummer to each of them, following closely Hecke's method in Cohen Vol. 2.

Maybe I'm mistaken, but I can't find anything in sources related to Artin's method which uses Artin reciprocity map and can deal with prime power degree extensions at once. Is there reasons Artin's method is not implemented ?  Maybe it's unpublished, or you have plan for this ?

Well this question is just for curiosity, since I'm actually playing around with Artin's method for understanding purposes.

Lucas
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.