| 1 | initial version |
With your input,
( r(gens[1]) / r(x) ).is_integral()
returns True. So, no, I see no problem here. However
sage: f = CyclotomicField(3)
sage: r.<z> = f.ring_of_integers()
sage: r(2).divides(z)
True
sage: (z/2).is_integral()
False
which is fishy.
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.