Ticket #3680 (new defect)

Opened 3 months ago

Last modified 1 month ago

NumberFieldFractionalIdeal should not be a subclass of Ideal_generic

Reported by: dmharvey Assigned to: tbd
Priority: major Milestone: sage-3.2
Component: algebra Keywords:
Cc: AlexGhitza

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

07/19/2008 04:12:28 PM changed by mabshoff

  • milestone set to sage-3.1.1.

08/26/2008 04:02:17 AM changed by AlexGhitza

  • cc set to AlexGhitza.