Max Alekseyev on Thu, 01 Sep 2022 22:20:06 +0200

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: all divisors of a cyclotomic integer

Dear Bill,

Thanks to your help, I was able to settled down this question:

I also have another application in mind, which however additionally requires finding all cyclotomic integers of bounded height that are associated with a given one. 
I asked how to solve this efficiently at with no success yet.


On Thu, Sep 1, 2022 at 3:26 PM Bill Allombert <> wrote:
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.