Ticket #3680 (new defect)
NumberFieldFractionalIdeal should not be a subclass of Ideal_generic
|Reported by:||dmharvey||Owned by:||davidloeffler|
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:
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.
- Owner changed from tbd to was
- Component changed from algebra to number theory