Lines Matching defs:nf
132 quad_char(GEN nf, GEN t, GEN pr) in quad_char()
152 psquarenf(GEN nf,GEN a,GEN pr) in psquarenf()
165 check2(GEN nf, GEN a, GEN zinit) in check2()
180 psquare2nf(GEN nf,GEN a,GEN pr,GEN zinit) in psquare2nf()
193 lemma6nf(GEN nf,GEN pol,GEN pr,long nu,GEN x) in lemma6nf()
211 lemma7nf(GEN nf,GEN pol,GEN pr,long nu,GEN x,GEN zinit) in lemma7nf()
244 zpsolnf(GEN nf,GEN pol,GEN pr,long nu,GEN pnu,GEN x0,GEN repr,GEN zinit) in zpsolnf()
265 repres(GEN nf,GEN pr) in repres()
292 qpsolublenf(GEN nf,GEN pol,GEN pr) in qpsolublenf()
327 zpsolublenf(GEN nf,GEN pol,GEN pr) in zpsolublenf()
353 hilb2nf(GEN nf,GEN a,GEN b,GEN p) in hilb2nf()
371 nfhilbertp(GEN nf,GEN a,GEN b,GEN pr) in nfhilbertp()
402 nfhilbert(GEN nf,GEN a,GEN b) in nfhilbert()
443 nfhilbert0(GEN nf,GEN a,GEN b,GEN p) in nfhilbert0()
461 GEN p1,nf,classgp,gen,M,U,H; in bnfsunit() local
556 make_unit(GEN nf, GEN bnfS, GEN *px) in make_unit()
616 GEN v, w, nf; in bnfissunit() local
635 pr_append(GEN nf, GEN rel, GEN p, GEN *prod, GEN *S1, GEN *S2) in pr_append()
644 fa_pr_append(GEN nf,GEN rel,GEN N,GEN *prod,GEN *S1,GEN *S2) in fa_pr_append()
673 GEN prod, S1, S2, gen, cyc, bnf, nf, nfabs, rnfeq, bnfabs, res, k, polabs; in rnfisnorminit() local
755 GEN nf, aux, H, U, Y, M, A, bnfS, sunitrel, futu, tu, w, prod, S1, S2; in rnfisnorm() local