Lines Matching +defs:nf +defs:gen
120 quad_char(GEN nf, GEN t, GEN pr) in quad_char()
149 psquarenf(GEN nf,GEN x,GEN pr,GEN modpr) in psquarenf()
180 to_principal_unit(GEN nf, GEN x, GEN pr, GEN sprk) in to_principal_unit()
191 psquare2nf(GEN nf, GEN x, GEN pr, GEN sprk) in psquare2nf()
213 nf_quadchar_modpr(GEN nf, GEN z, GEN modpr, GEN pstar) in nf_quadchar_modpr()
232 lemma6nf(GEN nf, GEN T, GEN pr, long nu, GEN x, GEN modpr) in lemma6nf()
250 lemma7nf(GEN nf, GEN T, GEN pr, long nu, GEN x, GEN sprk) in lemma7nf()
299 zpsolnf(GEN nf,GEN T,GEN pr,long nu,GEN pnu,GEN x0,GEN repr,GEN zinit) in zpsolnf()
327 repres(GEN nf, GEN pr) in repres()
347 locally_soluble(GEN nf,GEN T,GEN pr) in locally_soluble()
372 nf_hyperell_locally_soluble(GEN nf,GEN T,GEN pr) in nf_hyperell_locally_soluble()
380 den_remove(GEN nf, GEN a) in den_remove()
398 hilb2nf(GEN nf,GEN a,GEN b,GEN p) in hilb2nf()
412 nfhilbertp(GEN nf, GEN a, GEN b, GEN pr) in nfhilbertp()
447 nfhilbert(GEN nf, GEN a, GEN b) in nfhilbert()
487 nfhilbert0(GEN nf,GEN a,GEN b,GEN p) in nfhilbert0()
543 nfX_eltup(GEN nf, GEN rnfeq, GEN x) in nfX_eltup()
560 GEN S, gen, cyc, bnf, nf, nfabs, rnfeq, bnfabs, k, polabs; in rnfisnorminit() local
631 GEN nf, aux, H, U, Y, M, A, bnfS, sunitrel, futu, S, S1, S2, Sx; in rnfisnorm() local