Ticket #3680 (new defect)

Opened 5 years ago

Last modified 4 years ago

NumberFieldFractionalIdeal should not be a subclass of Ideal_generic

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

Description

Why is NumberFieldFractionalIdeal a subclass of Ideal_generic?

A fractional ideal is not an ideal.

This makes about as much as sense as having Rational be a subclass of Integer.

This has been discussed before:

 http://groups.google.com/group/sage-devel/browse_thread/thread/0b01d58d8c3565c2/c081ba96b5fed6eb?#c081ba96b5fed6eb

And it came up again recently in #1367.

There seem to be serious design issues with the whole algebraic number theory setup in Sage which make it very frustrating to do any serious work on things like #1367.

Change History

comment:1 Changed 5 years ago by mabshoff

  • Milestone set to sage-3.1.1

comment:2 Changed 5 years ago by AlexGhitza

  • Cc AlexGhitza added

comment:3 Changed 4 years ago by AlexGhitza

  • Owner changed from tbd to was
  • Component changed from algebra to number theory

comment:4 Changed 4 years 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.