Ticket #7596 (new defect)

Opened 3 years ago

Last modified 2 years ago

QQ.number_field() does not behave like any other NumberField

Reported by: rlm Owned by: davidloeffler
Priority: major Milestone: sage-5.10
Component: number fields Keywords:
Cc: Work issues:
Report Upstream: N/A Reviewers:
Authors: Merged in:
Dependencies: Stopgaps:

Description (last modified by jdemeyer) (diff)

Several examples: 

sage: K.<a> = NumberField(x)
sage: K.ideal(5)
Fractional ideal (5)
sage: QQ.ideal(5)
Principal ideal (1) of Rational Field
sage: QQ.number_field().ideal(5)
Principal ideal (1) of Rational Field

K = QQ
I = K.ideal(7)

This creates ideal that does not have the functions I.denominator, I.numerator, I.prime_ideals() ... which a fractional ideal in a number field should have 

K.<a> = NumberField(x^2+2)
I = K.ideal(7)

Similarly, QQ.places() is not implemented; it should return the one infinite place for Q. Although there seems to be QQ.embeddings(). 

QQ.places()

Change History

comment:1 Changed 2 years ago by mderickx

  • Milestone changed from sage-4.6.2 to sage-duplicate/invalid/wontfix

comment:2 Changed 2 years ago by mderickx

  • Milestone changed from sage-duplicate/invalid/wontfix to sage-4.6.2

comment:3 Changed 2 years ago by mderickx

sorry modified the wrong ticket, i meant to edit #9414 which is a duplicate of this one

comment:4 Changed 2 years ago by jdemeyer

  • Description modified (diff)
Note: See TracTickets for help on using tickets.