Ticket #252 (new defect)

Opened 3 years ago

Last modified 8 months ago

Make number fields work when polynomial not integral or not monic.

Reported by: was Owned by: davidloeffler
Priority: minor Milestone: sage-5.0
Component: number fields Keywords:
Cc: Author(s):
Report Upstream: Reviewer(s):
Merged in: Work issues:

Description

Make number fields work when polynomial not integral or not monic. 

sage: R.<x> = QQ[]
sage: L.<b> = NumberField(x^2-1/2)
sage: L.discriminant()
Traceback (most recent call last):
...
gen.PariError:  (8)

Change History

Changed 3 years ago by mabshoff

  • milestone set to Sage-2.10

Changed 2 years ago by cwitty

You may find sage.rings.algebraic_real.clear_denominators() useful here. (If so, the function should probably be moved to a more sensible place, and perhaps renamed.)

Changed 2 years ago by was

  • milestone changed from Sage-2.10 to sage-2.9.1

The example above works. But other things don't: 

sage: R.<x> = QQ[]
sage: sage: L.<b> = NumberField(x^2-1/2)
sage: sage: L.discriminant()
8
sage: L.ring_of_integers()
boom

Changed 19 months ago by mabshoff

Notice that #4041 is a duplicate of this ticket.

Cheers,

Michael

Changed 8 months ago by davidloeffler

  • owner changed from was to davidloeffler
  • component changed from number theory to number fields
Note: See TracTickets for help on using tickets.