John Cremona on Fri, 02 Sep 2022 12:01:55 +0200
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: all divisors of a cyclotomic integer
- To: Pari Users <firstname.lastname@example.org>
- Subject: Re: all divisors of a cyclotomic integer
- From: John Cremona <email@example.com>
- Date: Fri, 2 Sep 2022 11:01:38 +0100
- Delivery-date: Fri, 02 Sep 2022 12:01:55 +0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :from:to:cc:subject:date; bh=JIiRW4ajQUqXNaWMs3aFUTciIdL4XOvg0qmGOHmUpdk=; b=SzxPXKs71VzqWW8MQLOwZ3VyFaZLafrobb6zALHuRl748kMOVQ19evAtzF/7FX8H20 xsMp6G5jq0d4+ryaK76h/SxdEv/mTNhxNrxcQjEoLxybLnAFl+3miLw+AJTXSFkamJg2 LxnF4ahzOVh4drTGsN4mIHZVzAPFqyHLWkypifniR9mbDvs1KKm88VrYm62sIHzfB3xL UXupjjh+IVGVRzGqDUtlWFz8RZAz0hto49txTEL9CVxYrLup6C5Vb9aUGdaNYVFz5Klm DAU6JSvrrGlJ5tZDLHae1C6DeP6zaWJ9xUKAuCgelULMW2EuGQFPQqEyyyd4rZ/LtQ/8 FGSA==
- In-reply-to: <YxEHRg9UG878uxFt@seventeen>
- References: <CAJkPp5NTu1Fe01Dbkqg8L2eTaorAF3PZ_gLbLn2Rf_romNDb6A@mail.gmail.com> <YsC0fqV7pR42R3Pn@seventeen> <YsC4BbI1GfxfrrbZ@seventeen> <CAJkPp5PKe8wP-VGFNGb_04oMmz_D-LUFXWn=ORjyGGPUXA4Xcg@mail.gmail.com> <YwzymE02+O96x3ZA@seventeen> <CAJkPp5MnngpJ1KxjgNEhYH9VGsQnmW05+t7BdpOAJVaRuuvung@mail.gmail.com> <YxEHRg9UG878uxFt@seventeen>
I think that if a user thinks that some utility function would be useful, and it is easy to provide, then the software authors should consider adding it even if they themselves cannot think of an application.
In my code for computing bianchi modular forms (which does not use libpari as I am not clever enough to use it) I have a lot of ideal utilities, and listing all ideal divisors of an ideal is one of them.
So I vote to add such a function.
On Thu, Sep 01, 2022 at 07:35:58AM -0400, Max Alekseyev wrote:
> Dear Bill,
> Thank you for checking this. I somehow messed up conversion into
> polynomials, which worked for small examples but not large ones.
> On a related note, would it make sense to provide fordiv / divisors
> functions for number fields?
We could add a function idealdivisors that returns the list of divisors of
an ideal, but there seems little use for that.
What is your applications ? Number field elements have usually an infinite
number of divisors due to units.