Re: isfundamental() suggestion

[Karim Belabas <Karim.Belabas@math.u-psud.fr>]

* Igor Schein [2004-12-22 18:53]:
> (12:44:26) gp> N=-3^2000-2;
> (12:44:28) gp> isfundamental(N)
>   *** isfundamental: user interrupt after 4,610 ms.
> (12:44:39) gp> nfdisc(quadpoly(N),1)==N
> %141 = 1

This may or may not be correct [ I didn't try to factor N... ]

> For consistency, I think it makes sense to add flag=1 option to
> isfundamental(). 

What would be the point ?

> BTW, are there any known cases where nfdisc(pol,1)!=nfdisc(pol) ?

Plenty.

(18:57) gp > pol = x^2 - nextprime(10^7)*nextprime(10^6)^2
(18:57) gp > nfdisc(pol)
%1 = 40000076
(18:57) gp > nfdisc(pol,1)
%2 = 40000316000816000684

Cheers,

    Karim.
-- 
Karim Belabas                     Tel: (+33) (0)1 69 15 57 48
Dep. de Mathematiques, Bat. 425   Fax: (+33) (0)1 69 15 60 19
Universite Paris-Sud              http://www.math.u-psud.fr/~belabas/
F-91405 Orsay (France)            http://pari.math.u-bordeaux.fr/  [PARI/GP]