Robert Harron on Thu, 22 Aug 2019 23:33:26 +0200
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
nfinit misleading documentation
|
- To: pari-users@pari.math.u-bordeaux.fr
- Subject: nfinit misleading documentation
- From: Robert Harron <robert.harron@gmail.com>
- Date: Thu, 22 Aug 2019 11:33:21 -1000
- Delivery-date: Thu, 22 Aug 2019 23:33:26 +0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-language:content-transfer-encoding; bh=XbXsIWdVYRuUDUkTkHkm6xdljw5WGwzY6wT2plwy7Q0=; b=pNtE2css1VU4Ak1xMnQgJFPe+o5ldlmFKk1dDJMhprx9/Gtevfbjkvbh8LwO6U9Fd+ 5oZJwi1M3b63se/Rz0jPIL8lqcj6C8+vNT/VkZIPIhUTcAauWRSe7Rra89rS3sfTMkJP QuUUcMSdoK3CD72pHh9AoT65lNcHRhlvUcqBN7L5yXb8Yma8HFWGvDNDALrUQSOZ3vUL HM1gtF6rU0RfQqoCVILHm2BtrmnejvhbuZCLYn0ybDgJdihHQpr2izWhdYLiZoSS7WSF /BwjpDCWVOYh45VZx17AeFpQd0iTs6h2C4nAhFCr/JV3MY7IJieb/mS2SfOCaptL2O0E gYEw==
- In-reply-to: <E1i0fwL-000wM8-14@pari.math.u-bordeaux.fr>
- References: <f334277b-0736-bb31-d443-772efb0882a7@gmail.com> <E1i0fow-000ulI-2b@pari.math.u-bordeaux.fr> <fbbeb069-f525-bccd-8032-7e2f4d816803@gmail.com> <E1i0fwL-000wM8-14@pari.math.u-bordeaux.fr>
- User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:60.0) Gecko/20100101 Thunderbird/60.8.0
Hi,
The online documentation for nfinit says that the 7th component is an
integral basis for Z_K and that the first element is guaranteed to be 1.
However, if you run
? nfinit(x^4 - 66*x^2 - 172*x + 54)[7]
%1 = [5, 5*x, x^3 - 2*x^2 - 57*x - 63, -x^3 + 7*x^2 + 37*x - 102]
the first element is a 5. Now, if you divide every entry by 5, you get
an integral basis. The documentation implies that nf.zk is an alias for
getting the 7th component, however:
nfinit(x^4 - 66*x^2 - 172*x + 54).zk
%2 = [1, x, 1/5*x^3 - 2/5*x^2 - 57/5*x - 63/5, -1/5*x^3 + 7/5*x^2 +
37/5*x - 102/5]
So, nf.zk is an integral basis where 1 is (or at least seems to be) the
first element. I.e. nf.zk does what the documentation says it should,
but that's not what the 7th component of a call to nfinit is. Could this
be clarified in the documentation?
Thanks,
Rob