Fractional ideals for $\mathbb{Z}$

asked 2015-05-21 23:54:38 -0600

Oderyn gravatar image

Why isn't it possible to construct fractional ideals for the integers $\mathbb{Z}$?

sage: ZZ.fractional_ideal(3/5)
AttributeError: 'sage.rings.integer_ring.IntegerRing_class' object has no attribute 'fractional_ideal'

sage: II = ZZ.ideal(5)
sage: II^(-1)
TypeError: bad operand type for unary ~: 'Ideal_pid'

But absurdly this works:

sage: JJ = NumberField(x-7,"a").ring_of_integers().fractional_ideal(3/5)
sage: JJ^(-1)
Fractional ideal (5/3)

What should I do? Use this crude workaround?

edit retag flag offensive close merge delete


kcrisman gravatar imagekcrisman ( 2015-05-23 13:48:38 -0600 )edit
kcrisman gravatar imagekcrisman ( 2015-05-26 11:07:05 -0600 )edit