nfgaloisapply

[Paul van Wamelen <wamelen@marais.math.lsu.edu>]

Dear Pari users,

According to the documentation nfgaloisapply is supposed to be able to
take an ideal in idealprimedec form as an argument, but it does not
seem to:


                   GP/PARI CALCULATOR Version 2.0.13 (alpha)
                 UltraSparc (MicroSparc kernel) 32-bit version
                  (readline enabled, extended help available)

                           Copyright (C) 1989-1998 by
          C. Batut, K. Belabas, D. Bernardi, H. Cohen and M. Olivier.

Type ? for help, \q to quit.
Type ?12 for how to get moral (and possibly technical) support.

   realprecision = 28 significant digits
   seriesprecision = 16 significant terms
   format = g0.28

parisize = 10000000, primelimit = 500000
? pol = polcyclo(7)
%1 = x^6 + x^5 + x^4 + x^3 + x^2 + x + 1
? bnf = nfinit(pol);
? P11s = idealprimedec(bnf,11)
%3 = [[11, [-1, -5, -4, 1, 0, 0]~, 1, 3, [-1, 4, 5, 1, 0, 0]~], [11, [-1, 4, 5,\
 1, 0, 0]~, 1, 3, [-1, -5, -4, 1, 0, 0]~]]
? gal = nfgaloisconj(bnf)
%4 = [x, x^5, x^2, x^4, x^3, -x^5 - x^4 - x^3 - x^2 - x - 1]
? nfgaloisapply(bnf,gal[2],idealmul(bnf,1,P11s[1]))
%5 =
[11 0 0 10 5 1]

[0 11 0 4 1 1]

[0 0 11 5 1 7]

[0 0 0 1 0 0]

[0 0 0 0 1 0]

[0 0 0 0 0 1]

? nfgaloisapply(bnf,gal[2],P11s[1])
  ***   incorrect type in subresall.
?

Sincerely,
Paul van Wamelen