I am trying to find divisors of an element in the ring of integers of a Cyclotomic Field. My code is
K=CyclotomicField(23)
L=K.ring_of_integers()
L.factor(2)
It gives an error:
'AbsoluteOrder_with_category' object has no attribute 'factor'
I guess the problem is L is defined as an "order" here instead of a ring. But I need that to be a ring. How can I fix this problem?