"divides" in ring of integers
It seems the method for "divides" is inherited to a ring_of_integers, but has undesirable behaviour:
f = CyclotomicField(3) r = f.ring_of_integers() gens = r.gens() x = 1 + gens r(x).divides(r(gens))
returns "True". Have I overlooked something here?